Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Álgebra Moderna I: Teorema fundamental de los grupos abelianos finitos.

Por Cecilia del Carmen Villatoro Ramos

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

El temario de este curso consiste principalmente en el estudio de la Teoría de grupos, comenzamos su construcción desde las operaciones binarias, estudiamos distintos tipos de grupos y funciones entre ellos (homomorfismos) y seguimos intentando describir a los grupos. El primer gran escalón de nuestro curso fueron los Teoremas de isomorfía, luego los Teoremas de Sylow y ahora llegamos al tercero: el Teorema fundamental de los grupos abelianos finitos.

Otros dos teoremas fundamentales que seguramente conoces son el Teorema fundamental del álgebra y el Teorema fundamental de la aritmética, conviene recordar el segundo. Básicamente nos dice que a todo número entero lo podemos ver como un producto de primos, además nos dice que estos primos son únicos excepto por el orden en que aparecen. Este teorema es importante porque intuitivamente nos dice que los números primos son los ladrillos básicos para construir a cualquier número.

¿Cuáles son estos mismos ladrillos para los grupos abelianos finitos? En la entrada de Producto directo interno vimos un teorema en el que para ciertos casos podemos descomponer a un grupo finito $G$ en sus $p$ -subgrupos de Sylow, donde cada $p$ corresponde a un factor primo del orden del grupo. ¿Qué podría ser más fundamental que eso?

Usaremos el teorema que vimos en Producto directo interno y veremos que un grupo abeliano finito $G$ es isomorfo a un producto directo de grupos ajenos a $G$ en lugar de los $p$ -subgrupos de Sylow que dependen del grupo que los contiene. ¿Qué grupos finitos relacionados con primos conocemos aparte de los $p$ -subgrupos? Los candidatos ideales son $Z_{n}$ , con $n$ una potencia de un primo, que de acuerdo a lo que hemos estudiado son abelianos y finitos.

Así, el Teorema fundamental de los grupos abelianos finitos nos presenta a los $Z_{n}$ , con $n$ una potencia de un primo, como nuestros ladrillos elementales para describir cualquier grupo abeliano finito $G$ .

Último lema numerado

Como prometimos en la entrada anterior, siguiendo con el desarrollo hecho por Judson, T.W. en el libro Abstract Algebra: Theory and Applications, Department of Mathematics and Statistics Stephen F. Austin State University que aparece en la bibliografía y que puede revisarse en http://abstract.ups.edu/aata/struct-section-finite-abelian-groups.html, aquí está el tercer lema numerado que usaremos para demostrar el Teorema fundamental de los grupos abelianos finitos.

Lema 3. Sean $p \in Z^{+}$ un primo y $G$ un $p$ -grupo abeliano. Tenemos que $G$ es un producto directo interno de grupos cíclicos.

Demostración.
Por el segundo principio de inducción.

Sea $p \in Z^{+}$ un primo, $G$ un $p$ -grupo abeliano.

Sea $g \in G$ un elemento de orden máximo (podemos suponer que $g \neq e$ ya que si $g = e$ , entonces $G = {e}$ ).

H.I. Supongamos que todo $p$ -grupo abeliano de orden menor que el orden de $G$ es un producto directo interno de grupos cíclicos.

Por el lema 2, $G$ es el producto directo de $⟨ g ⟩$ y un subgrupo $H$ de $G$ . Entonces $| G | = | ⟨ g ⟩ | | H |$ lo que implica que $| H | = \frac{| G |}{| ⟨ g ⟩ |}$ y, esto implica que $| H | < | G |$ .

Además, $H$ también es un $p$ -grupo abeliano. Así que por la hipótesis de inducción $H$ es el producto directo de grupos cíclicos.

Por lo tanto $G$ es producto directo de grupos cíclicos, a saber $⟨ g ⟩$ y los grupos cíclicos cuyo producto directo es $H$ .

Teorema fundamental de los grupos abelianos finitos

Recordemos que los isomorfismos preservan la estructura algebraica de los grupos. Recordemos que los grupos $Z_{n}$ , con $n$ una potencia de un primo, son abelianos y finitos, por lo que sólo pueden ser isomorfos a otros grupos abelianos y finitos. Más aún, todo grupo abeliano finito es isomorfo a un producto directo de este tipo de grupos.

Teorema. (Fundamental de los Grupos Abelianos Finitos) Todo grupo abeliano finito $G$ es isomorfo a un producto directo de grupos cíclicos de la forma $Z_{p_{1}^{α_{1}}} \times \dots \times Z_{p_{r}^{α_{r}}}$ con $p_{1}, \dots, p_{r}, α_{1}, \dots, α_{r} \in Z^{+}$ y $p_{1}, \dots, p_{r}$ primos no necesariamente distintos.

Demostración.

Sea $G$ un grupo abeliano finito. Por ser $G$ abeliano todos sus subgrupos son normales, en particular sus subgrupos de Sylow.

Por el teorema de la entrada Producto directo interno, $G$ es isomorfismo al producto directo de sus subgrupos de Sylow, y por el lema 3 cada uno de ellos es un producto directo de subgrupos cíclicos. Además, como los subgrupos de Sylow son de orden una potencia de un primo, sus subgrupos también, por lo que son isomorfos a $Z_{p^{α}}$ con $p, α \in Z^{+}$ y $p$ un primo.

Así, $G$ es isomorfo a un producto directo de la forma
$\begin{array}{r} Z_{p_{1}^{α_{1}}} \times \dots \times Z_{p_{r}^{α_{r}}} \end{array}$
con $p_{1}, \dots, p_{r}, α_{1}, \dots, α_{r} \in Z^{+}$ , $p_{1}, \dots, p_{r}$ primos no necesariamente distintos.

Apreciemos cómo la demostración de los lemas anteriores, nos facilitó la demostración de este teorema fundamental.

Ejemplo.

Sea $G$ un grupo abeliano de orden $180 = 4 \cdot 45 = 2^{2} \cdot 3^{2} \cdot 5$ .

Entonces, de acuerdo con el Teorema fundamental de los grupos abelianos finitos, $G$ es isomorfo a alguno de

$Z_{2} \times Z_{2} \times Z_{3} \times Z_{3} \times Z_{5}$ ,
$Z_{4} \times Z_{3} \times Z_{3} \times Z_{5}$ ,
$Z_{2} \times Z_{2} \times Z_{9} \times Z_{5}$ ó
$Z_{4} \times Z_{9} \times Z_{5}$ .

Podría ser isomorfo a cualquiera de ellos, pero para saber a cuál requeriríamos más información. De cualquier modo este primer análisis nos ayuda mucho a entender cómo debe ser el grupo.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Si $G$ es un grupo abeliano finito, definimos $v_{k} (G)$ como el número de elementos de $G$ de orden $k$ .
Prueba que si dos grupos finitos abelianos, $G$ y $G^{*}$ son isomorfos si y sólo si $v_{k} (G) = v_{k} (G^{*})$ para todo entero $k$ . (Este resultado no es cierto para grupos no abelianos).
Prueba el Teorema Fundamental de la Aritmética aplicando el Teorema Fundamental de Grupos Abelianos Finitos a $G = Z_{n}$ , con $n \in N$ .
Usa el Teorema Fundamental de Grupos abelianos finitos para describir a…
- Un grupo de orden $144.$
- Un grupo de orden $360.$
- Un grupo de orden $2783.$
Encuentra para cuáles $n \in Z^{+}$ los grupos de orden $n$ son cíclicos.
Prueba que $A$ es un grupo abeliano finito de orden $n$ si y sólo si para cada $d$ divisor de $n$ , hay a lo más $d$ elementos $a \in A$ tales que $a^{d} = 1_{A} .$

Más adelante…

Esta entrada fue un tema muy anticipado. Ahora comenzaremos otro tema que, aunque sea corto, es igual de importante que el Teorema fundamental de grupos finitos abelianos. De hecho, comparte que también es semejante con el Teorema fundamental de la aritmética. Comenzaremos a estudiar el Teorema de Jordan-Hölder

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Lemas previos al Teorema fundamental de los grupos abelianos.
Siguiente entrada del curso: Grupos simples y series de grupos.
Resto de cursos: Cursos.

Álgebra Moderna I: Lemas previos al teorema fundamental de los grupos abelianos finitos.

Por Cecilia del Carmen Villatoro Ramos

2 respuestas

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Como dijimos en la primera entrada de esta unidad, uno de los temas a los que queremos llegar es el Teorema fundamental de los grupos abelianos finitos. Para ello seguiremos el desarrollo hecho por Judson, T.W. en el libro Abstract Algebra: Theory and Applications, Department of Mathematics and Statistics Stephen F. Austin State University que aparece en la bibliografía y que puede revisarse en http://abstract.ups.edu/aata/struct-section-finite-abelian-groups.html. Así, en esta entrada presentaremos tres lemas para que sea más sencillo identificarlos y que serán útiles en la demostración del Teorema fundamental de los grupos abelianos finitos en la siguiente entrada. En los tres lemas se considerará $G$ un $p$ -grupo abeliano y se hablará de elementos de orden máximo (o mínimo) en algún grupo refiriéndose a elementos cuyo orden es mayor (o menor) o igual que el orden de los demás elementos del grupo en cuestión.

El primer lema nos dice que si tomamos un elemento de orden máximo $g$ en $G$ y un $p$ -subgrupo, tal que $⟨ g ⟩$ no es todo $G$ y luego tomamos un elemento de orden mínimo $h$ en $G ∖ ⟨ g ⟩$ , entonces el orden de $h$ es $p$ .

El segundo lema nos dice que si tenemos un elemento de orden máximo $g$ en $G$ , podemos ver a $G$ como el producto directo interno del generado de $g$ y un $H$ subgrupo de $G$ .

El tercer lema nos dice que cualquier $p$ -subgrupo abeliano es producto directo interno de grupos cíclicos.

En esta entrada enunciamos y probamos los primeros dos lemas, el tercero está en la siguiente entrada.

El orden de un elemento mínimo

Lema 1. Sean $p \in Z^{+}$ un primo y $G$ un $p$ -grupo abeliano. Sea $g \in G$ un elemento de orden máximo. Si $⟨ g ⟩ ⪇ G$ ( $⟨ g ⟩$ es subgrupo propio de $G$ ) y $h$ es un elemento de orden mínimo en $G ∖ ⟨ g ⟩$ , entonces $o (h) = p$ y $⟨ g ⟩ \cap ⟨ h ⟩ = {e}$ .

Demostración.
Sean $p \in Z^{+}$ un primo y $G$ un $p$ -grupo abeliano.

Por la definición de $p$ -grupo $| G | = p^{n}$ para algún $n \in N$ .

Sea $g \in G$ de orden máximo. Como $| G | = p^{n}$ , sabemos que $o (g)$ divide a $| G | = p^{n}$ y así $o (g) = p^{m}$ con $m \leq n$ .

Observemos que
$\begin{array}{r} (1) & a^{p^{m}} = e para toda a \in G, \end{array}$
ya que para toda $a \in G$ , $o (a) = p^{l}$ con $l \leq m$ (debido a que $o (g) = p^{m}$ es máximo).

Supongamos que $⟨ g ⟩ ⪇ G$ . Consideremos un elemento $h$ de orden mínimo en $G ∖ ⟨ g ⟩$ .

Veamos primero que $o (h) = p$ .

Sabemos que $o (h) = p^{t}$ para alguna $t \leq n$ .

Sabemos que $o (h^{p}) = p^{t - 1} < p^{t} = o (h)$ . Así, por la elección de $h$ , $h^{p} \in ⟨ g ⟩$ y en consecuencia tenemos que
$\begin{array}{r} (2) & h^{p} = g^{s} para algún s \in N . \end{array}$

Entonces $(g^{s})^{p^{m - 1}} = (h^{p})^{p^{m - 1}} = h^{p^{m}} = e$ por ( $1$ ). Así,
$\begin{array}{r} (3) & o (g^{s}) < p^{m} y g^{s} no genera a ⟨ g ⟩ . \end{array}$

Sabemos que $o (g^{s}) = \frac{o (g)}{(s, o (g))}$ . Si $p$ no divide a $s$ , como $o (g)$ es una potencia de $p$ tendríamos que $(s, o (g)) = 1$ y así $o (g^{s}) = o (g) = p^{m}$ contradiciendo ( $3$ ). Concluimos entonces que $p | s$ es decir $s = p q$ para algún $q \in Z$ .

Consideremos $a = g^{- q} h$ . Tenemos que
$\begin{aligned} a^{p} = g^{- p q} h^{p} = g^{- s} h^{p} & = g^{- s} g^{s} & por (2) \\ = e . \end{aligned}$

Además, si $a \in ⟨ g ⟩$ tendríamos que $h = a g^{q} \in ⟨ g ⟩$ lo cual contradice la elección de $h$ .

Hemos encontrado entonces un elemento $a \notin ⟨ g ⟩$ con $a^{p} = e$ . Notamos que $a \neq e$ ya que $a \notin ⟨ g ⟩$ , entonces $a$ debe ser un elemento de orden $p$ . Pero $h$ es un elemento de orden mínimo en $G ∖ ⟨ g ⟩$ y $a \in G ∖ ⟨ g ⟩$ con $o (a) = p$ . Así, $h$ debe ser también de orden $p$ .

Veamos ahora que $⟨ g ⟩ \cap ⟨ h ⟩ = {e}$ .

Sabemos que $⟨ g ⟩ \cap ⟨ h ⟩$ es un subgrupo de $⟨ h ⟩$ y $⟨ h ⟩$ es de orden $p$ , entonces $⟨ g ⟩ \cap ⟨ h ⟩$ es de orden $1$ o $p$ . Si $| ⟨ g ⟩ \cap ⟨ h ⟩ | = p$ tendríamos que $⟨ g ⟩ \cap ⟨ h ⟩ \leq ⟨ h ⟩$ con $| ⟨ g ⟩ \cap ⟨ h ⟩ | = p = | ⟨ h ⟩ |$ , entonces $⟨ g ⟩ \cap ⟨ h ⟩ = ⟨ h ⟩$ lo que implica que $⟨ h ⟩ \subseteq ⟨ g ⟩$ . En consecuencia tendríamos que $h \in ⟨ g ⟩$ , lo que contradice la elección de $h$ .

Concluimos que $⟨ g ⟩ \cap ⟨ h ⟩ = {e}$ .

$G$ como producto de $⟨ g ⟩$ y un subgrupo cualquiera

Lema 2. Sean $p \in Z^{+}$ un primo y $G$ un $p$ -grupo abeliano. Supongamos que $g \in G$ es un elemento de orden máximo. Entonces $G$ es el producto directo interno de $⟨ g ⟩$ y un subgrupo $H$ de $G$ .

Demostración.
Sean $p \in Z^{+}$ primo.

Realizaremos la demostración por el segundo principio de inducción.

H.I. Supongamos que para todo grupo abeliano $\tilde{G}$ con $| \tilde{G} | = p^{k}$ y $0 \leq k < n$ se tiene que si $\tilde{g} \in \tilde{G}$ es de orden máximo, entonces $\tilde{G}$ es el producto directo interno de $⟨ \tilde{g} ⟩$ y un subgrupo $\tilde{H}$ de $\tilde{G}$ .

Sea $G$ un $p$ -grupo abeliano con $| G | = p^{n}$ para algún $n \in N$ .

Sea $g \in G$ de orden máximo. Como $| G | = p^{n}$ , sabemos que $o (g)$ divide a $| G | = p^{n}$ y así $o (g) = p^{m}$ con $m \leq n$ .

Si $G = ⟨ g ⟩$ el resultado se cumple considerando $H = {e}$ .

Si $⟨ g ⟩ ⪇ G$ consideremos un elemento $h$ de orden mínimo en $G ∖ ⟨ g ⟩ .$

Por el lema 1, sabemos que $o (h) = p$ y que $⟨ g ⟩ \cap ⟨ h ⟩ = {e}$ . Sea $H = ⟨ h ⟩ .$

Observemos que $g H$ es un elemento de orden máximo en $G / H$ ya que por ( $1$ ), $(a H)^{p^{m}} = a^{p^{m}} H = H$ para todo $a \in G$ . Además $(g H)^{o (g)} = g^{o (g)} H = H$ por lo que $o (g H) \leq o (g) = p^{m}$ , y si $o (g H) < p^{m}$ tendríamos que
$\begin{array}{r} H = (g H)^{p^{m - 1}} = g^{p^{m - 1}} H \end{array}$
y así $g^{p^{m - 1}} \in ⟨ g ⟩ \cap H = {e}$ , es decir $g^{p^{m - 1}} = e$ contradiciendo que $o (g) = p^{m}$ .

Concluimos así que $g H$ es un elemento de orden máximo en $G / H$ , con $G / H$ un $p$ -grupo abeliano de orden $| G / H | = | G | / | H | = \frac{p^{n}}{p} = p^{n - 1}$ que es menor que el orden de $G$ .

Por H.I. sabemos que $G / H$ es el producto directo interno de $⟨ g H ⟩$ y un subgrupo $\tilde{H}$ de $G / H$ .

Por el teorema de la correspondencia $\tilde{H} = K / H$ para algún $H \leq K \leq G$ .

Veamos que $G$ es el producto directo interno de $⟨ g ⟩$ y $K$ .

Veamos primero que $⟨ g ⟩ \cap K = {e}$ .

Si $x \in ⟨ g ⟩ \cap K$ , entonces $x H \in ⟨ g H ⟩ \cap K / H = ⟨ g H ⟩ \cap \tilde{H}$ y como $G / H$ es el producto directo de $⟨ g H ⟩$ y $\tilde{H}$ , entonces $⟨ g H ⟩ \cap \tilde{H} = {H}$ . Así, $x H \in {H}$ , entonces $x H = H$ lo que implica que $x \in H$ .

Tenemos que $x \in ⟨ g ⟩ \cap H = {e}$ probando que $x = e$ . Así, $⟨ g ⟩ \cap K = {e}$ .

Veamos ahora que $G = ⟨ g ⟩ K$ .

Sea $y \in G$ , sabemos que $y H \in G / H = ⟨ g H ⟩ \tilde{H} = ⟨ g H ⟩ K / H$ . Esto implica que
$\begin{aligned} y H & = (g H)^{t} k H para algunos t \in Z, k \in K \\ = g^{t} k H . \end{aligned}$

Entonces $(g^{t} k)^{- 1} y = \hat{h}$ con $\hat{h} \in H$ . Así $y = g^{t} k \hat{h}$ . Como $H \leq K$ tenemos que $k \hat{h} \in K$ , entonces $y \in ⟨ g ⟩ K$ .

Concluimos que $⟨ g ⟩ \cap K = {e}$ y $⟨ g ⟩ K = G$ .

Así, $G$ es el producto directo interno de $⟨ g ⟩$ y $K$ .

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Considera los siguientes grupos y realiza para cada uno los ejercicios descritos a continuación:

$S_{4} .$
$Z_{11} .$
$A_{5} .$
$Q_{8} = {\pm 1, \pm i, \pm j, \pm k} .$

Determina si los grupos anteriores son $p$ -grupos abelianos. De no serlo, considera un $p$ -subgrupo abeliano de ellos.
Busca (en el grupo o en el $p$ -subgrupo abeliano) un elemento $g$ de orden máximo tal que $⟨ g ⟩$ sea un subgrupo propio y encuentra $h$ elemento de orden mínimo en el complemento de $⟨ g ⟩$ tal que su orden sea $p$ .
Describe al grupo o al $p$ -subgrupo abeliano como el producto directo interno $⟨ g ⟩$ y un subgrupo $H$ .

Más adelante…

Aunque estos lemas pueden parecer muy técnicos, su función es clara y se verá en la siguiente entrada. Como estos lemas ya están demostrados, la prueba del Teorema fundamental de los grupos abelianos finitos es bastante directa. En la siguiente entrada enunciaremos y demostraremos el tercer lema que se requiere y por fin podremos enfrentarnos al Teorema fundamental de los grupos abelianos finitos.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Producto directo interno.
Siguiente entrada del curso: Teorema fundamental de los grupos abelianos finitos.

Resto de cursos: Cursos.

Álgebra Moderna I: Producto directo interno

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Continuamos con el estudio del producto de grupos siguiendo el desarrollo de la sección 4.3 del libro de Grupos I de Avella, Mendoza, Sáenz y Souto que se encuentra en la bibliografía del curso. En la entrada anterior definimos el producto directo externo de grupos, luego vimos unas funciones naturales y definimos los subgrupos $G_{i}^{*}$ . Demostramos que para un grupo $G = G_{1} \times \dots \times G_{n}$ se cumple que:

$G_{i}^{*} ⊴ G \forall i \in {1, \dots, n}$ .
$G_{i}^{*} \cap (\prod_{j \neq i} G_{j}^{*}) = {e_{G}} para toda i \in {1, \dots, n}$ .
$G = \prod_{i = 1}^{n} G_{i}^{*}$ .

En resumen, esta proposición nos dice que si $G$ es el producto directo externo de varios grupos, también lo podemos ver como producto de subgrupos normales que cumplen el inciso 2.

En esta entrada queremos generalizar esta idea: ahora $G$ será un grupo cualquiera, tomaremos subgrupos normales $H_{i}$ , con $i \in {1, \dots, n}$ de $G$ que cumplan estas propiedades y probaremos que $G$ se puede ver como el producto directo externo de estos subgrupos.

En el producto directo externo, construíamos $G$ a partir de otros grupos que pudieran incluso no estar relacionados entre sí. Ahora intentaremos describir a un grupo $G$ como producto de algunos de sus subgrupos normales, por eso llamaremos a este concepto el producto directo interno.

Producto directo interno de subgrupos

Comencemos definiendo nuestro nuevo producto entre subgrupos normales de $G$ .

Definición. Sean $G$ un grupo, $H_{1}, \dots, H_{n}$ subgrupos de $G$ . Decimos que $G$ es el producto directo interno de $H_{1}, \dots, H_{n}$ si

$H_{i} ⊴ G$ para toda $i \in {1, \dots, n}$ .
$H_{i} \cap (\prod_{j \neq i} H_{j}) = {e}$ para toda $i \in {1, \dots, n}$ .
$G = \prod_{i = 1}^{n} H_{i}$ .

Observación 5. $G_{1} \times \dots \times G_{n}$ es el producto directo interno de los $G_{i}^{*}$ .

Observación 6. Si $G$ es el producto directo interno de $H_{1}, \dots, H_{n}$ , entonces $x y = y x$ para toda $x \in H_{i}, y \in H_{j}$ con $i \neq j$ .

Demostración.
Sea $G$ producto directo de $H_{1}, \dots, H_{n}$ , sean $x \in H_{i}, y \in H_{j}$ , con $j \neq i$ , entonces
$\begin{array}{r} x y x^{- 1} y^{- 1} = x (y x^{- 1} y^{- 1}) \in H_{i}, \end{array}$
porque $x \in H_{i}$ y $y x^{- 1} y^{- 1} \in H_{i}$ pues $H_{i} ⊴ G$ .

Por otro lado,
$\begin{array}{r} x y x^{- 1} y^{- 1} = (x y x^{- 1}) y^{- 1} \in H_{j}, \end{array}$
ya que, análogamente, $x y x^{- 1} \in H_{j}$ debido a que $H_{j} ⊴ G$ y $y^{- 1} \in H_{j} .$

Así, $x y x^{- 1} y^{- 1} \in H_{i} \cap H_{j} \subseteq H_{i} \cap \prod_{k \neq i} H_{k} = {e}$ . Entonces $x y x^{- 1} y^{- 1} = e$ .

Por lo tanto $x y = y x$ .

Ejemplo. Sea $G = ⟨ a ⟩$ con $o (a) = 12$ . Busquemos subgrupos $H_{1}, \dots, H_{n}$ para alguna $n \in N$ tales que $G$ sea el producto directo interno de estos subgrupos.

Sean $H_{1} = ⟨ a^{3} ⟩, H_{2} = ⟨ a^{4} ⟩$ . Como $G$ es abeliano, $H_{1} ⊴ G, H_{2} ⊴ G$ . Además
$\begin{array}{r} H_{1} \cap H_{2} = {e, a^{3}, a^{6}, a^{9}} \cap {e, a^{4}, a^{8}} = {e} . \end{array}$

Como
$\begin{array}{r} a = a e = a a^{12} = a^{13} = a^{9} a^{4} \in H_{1} H_{2} \end{array}$
tenemos que $G = ⟨ a ⟩ \subseteq H_{1} H_{2}$ . Por la cerradura del producto en $G$ se tiene además que $H_{1} H_{2} \subseteq G$ , entonces $G = H_{1} H_{2}$ .

Por lo tanto $G$ es el producto directo interno de $H_{1}$ y $H_{2}$ .

Observación 7. Sean $G$ un grupo, $H_{1}, \dots, H_{n}$ subgrupos de $G$ . Si $G$ es el producto directo interno de $H_{1}, \dots, H_{n}$ , entonces
$\begin{array}{r} φ : H_{1} \times \dots \times H_{n} \to G \end{array}$
con $φ (h_{1}, \dots, h_{n}) = h_{1} \dots h_{n}$ para toda $(h_{1}, \dots, h_{n}) \in H_{1} \times \dots \times H_{n}$ es un isomorfismo.

Es consecuencia, si $G$ es finito tenemos que $| G | = | H_{1} | \dots | H_{n} |$ .

Descomposición de $G$ en $p$ -subgrupos

Algunos subgrupos importantes que vimos son los $p$ -subgrupos de Sylow, para $p$ primo. Ahora los usaremos junto con el producto directo interno para describir a $G$ como el producto de sus $p$ -subgrupos de Sylow, esto nos recuerda mucho al Teorema Fundamental de la Aritmética. Siguiendo el desarrollo de la página 193 del libro de Dummit, D. S. y Foote R. M. que aparece en la bibliografía tenemos:

Teorema. Sea $G$ un grupo finito con $p_{1}, \dots, p_{t}$ los distintos factores primos del orden de $G$ y $P_{1}, \dots, P_{t}$ subgrupos de Sylow de $G$ asociados a $p_{1}, \dots, p_{t}$ respectivamente. Si $P_{i} ⊴ G$ para toda $i \in {1, \dots, t}$ , entonces $G$ es el producto directo interno de $P_{1}, \dots, P_{t}$ .

Demostración.
Sea $G$ un grupo finito de orden $n$ . Sean $p_{1}, \dots, p_{t}$ los distintos factores primos de $n$ con $n = p_{1}^{α_{1}} p_{2}^{α_{2}} \dots p_{t}^{α_{t}}$ . Sean $P_{1}, \dots, P_{t}$ subgrupos de $G$ con $P_{i}$ un $p_{i}$ -subgrupo de Sylow de $G$ y $P_{i} ⊴ G$ para toda $i \in {1, \dots, t}$ .

Veamos que para todo $S \subseteq {1, \dots, t}$ , $\prod_{j \in S} P_{j}$ es un producto directo interno por inducción sobre $# S$ .

Caso Base. Supongamos que $# S = 1$ ,
$S = {i} \subseteq {1, \dots, t}$ y $P_{i}$ es el producto directo interno de $P_{i}$ .

H.I. Supongamos que si $T \subseteq {1, \dots, t}$ con $# T < # S$ , entonces $\prod_{j \in T} P_{j}$ es un producto directo interno.

Sea $H = \prod_{j \in S} P_{j}$ . Veamos que $H$ es el producto directo interno de los $P_{j}$ con $j \in S$ .

Por hipótesis se cumplen las condiciones $1$ y $3$ de la definición de producto directo interno. Veamos que se cumple $2$ .

Sean $i \in S$ , $x \in P_{i} \cap \prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} P_{j}$ .

Como $x \in P_{i}$ , entonces $o (x)$ divide a $| P_{i} |$ .

Como $x \in \prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} P_{j}$ , entonces el orden de $x$ divide al orden del producto: $o (x) | | \prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} P_{j} | = \prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} | P_{j} |$ donde la última igualdad se debe a que $\prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} P_{j}$ es un producto directo interno por H.I. y por la observación 7.

Pero $| P_{i} | = p_{i}^{α_{i}}$ y $\prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} | P_{j} | = \prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} p_{j}^{α_{j}}$ con $α_{j} \in N^{+}$ para toda $j \in S$ , entonces $| P_{i} |$ y $\prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} | P_{j} |$ son primos relativos. Así, $o (x) = 1$ . Por lo que $P_{i} \cap \prod_{\begin{matrix} j \in S \\ j \neq i \end{matrix}} P_{j} = {e}$ .

Hemos probado entonces que $\prod_{\begin{matrix} j \in S \end{matrix}} P_{j}$ es un producto directo interno para toda $S \subseteq {1, \dots, t}$ . En particular para $S = {1, \dots, t}$ tenemos que $\prod_{j = 1}^{t} P_{j}$ es un producto directo interno. Por la observación 7,
$\begin{array}{r} | \prod_{j = 1}^{t} P_{j} | = \prod_{j = 1}^{t} | P_{j} | = n = | G | \end{array}$
ya que $P_{1}, \dots, P_{t}$ son subgrupos de Sylow asociados a los distintos factores primos de $G$ .

Como $\prod_{j = 1}^{t} P_{j}$ es un subgrupo de $G$ de orden $| G |$ tenemos que $G = \prod_{j = 1}^{t} P_{j}$ .

Por lo tanto $G$ es el producto directo interno de $P_{1}, \dots, P_{t}$ .

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Demuestra las observaciones 5 y 7.
- $G_{1} \times \dots \times G_{n}$ es el producto directo interno de los $G_{i}^{*}$ .
- Sean $G$ un grupo, $H_{1}, \dots, H_{n}$ subgrupos de $G$ . Si $G$ es el producto directo interno de $H_{1}, \dots, H_{n}$ , entonces
  $\begin{array}{r} φ : H_{1} \times \dots \times H_{n} \to G \end{array}$
  con $φ (h_{1}, \dots, h_{n}) = h_{1} \dots h_{n}$ para toda $(h_{1}, \dots, h_{n}) \in H_{1} \times \dots \times H_{n}$ es un isomorfismo.
Regresa a la entrada de Ejemplo de Sylow y considera $S_{4}$ .
- De existir, busca $H_{1}, \dots, H_{n}$ tal que $S_{4}$ sea producto directo de $H_{1}, \dots, H_{n} .$
- Usando los $p$ -subgrupos de Sylow que encontramos, describe a $S_{4}$ como producto directo interno de ellos. Aplica el último teorema visto.
Aplica el último teorema visto a los grupos $Z_{6}$ y $T = S_{3} \times Z_{4}$ . Para cada uno encuentra los primos $p_{1}, \dots, p_{n}$ que conforman al orden del grupo y los $P_{1}, \dots, P_{n}$ subgrupos de Sylow que corresponden a estos primos. Al final, representa a cada grupo como producto directo interno de estos $p$ -subgrupos de Sylow.

Más adelante…

La descomposición de un grupo en $p$ -subgrupos que vimos es una probada de lo que veremos en el Teorema fundamental de grupos abelianos finitos, la relación de los primos que componen al orden del grupo con los $p$ -subgrupos del mismo grupo. Pero antes de poder enunciarlo, necesitamos enunciar algunos teoremas que nos ayudarán y que se sirven de los productos directos interno y externo que hemos estado viendo.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Producto directo externo.
Siguiente entrada del curso: Lemas previos al teorema fundamental de los grupos abelianos finitos.
Resto de cursos: Cursos.

Geometría Moderna II: Puntos autocorrespondientes y regla geométrica de la falsa posición

Por Armando Arzola Pérez

Deja un comentario

Introducción

Se seguirá viendo resultados y problemas relacionados con la razón cruzada, en esta entrada se abordará los Puntos autocorrespondientes y la regla geométrica de la falsa posición.

Puntos Autocorrespondientes

Sean $A, B, C$ y $A^{'}, B^{'}, C^{'}$ dos conjuntos de puntos en una misma línea recta, por ende para un punto cualquiera $D$ en la recta le corresponde un punto $D^{'}$ que nos dará como resultado ${A B C D} = {A^{'} B^{'} C^{'} D^{'}}$ .

Problema. El problema cae en la siguiente incógnita ¿Existirá un punto $D$ que se corresponda al mismo?, de tal forma que ${A B C D} = {A^{'} B^{'} C^{'} D}$ .

Demostraremos que puede haber uno, dos o ningún punto, a este punto existente se le llamará punto autocorrespondiente con respecto a las dos razones cruzadas.

Solución. Trácese cualquier circunferencia en el plano y tómese un punto $X$ en esta, y únanse los puntos $A, B, C, A^{'}, B^{'}, C^{'}$ a $X$ , y las intersecciones con la circunferencia y estas rectas se denotarán como $A_{1}, B_{1}, C_{1}, A_{1}', B_{1}', C_{1}^{'}$ .

Notese que tenemos un hexagono inscrito con lados $A_{1} C_{1}^{'}$ , $A_{1} B_{1}^{'}$ , $C_{1} A_{1}^{'}$ , $B_{1} C_{1}^{'}$ , $B_{1} A_{1}^{'}$ , $B_{1}^{'} C_{1}$ , y la existencia del punto $D$ depende de que este hexágono cumpla el Teorema de Pascal.
El Teorema de Pascal dice que «Los puntos de intersección de los lados opuestos de un hexágono inscrito en una circunferencia son colineales». Es de esta forma que la intersección de $A_{1} B_{1}^{'}$ y $A_{1}^{'} B_{1}$ se cortan en $P$ , $B_{1}^{'} C_{1}$ y $B_{1} C_{1}^{'}$ en $Q$ , $A_{1} C_{1}^{'}$ y $A_{1}^{'} C_{1}$ en $R$ , de esta forma se tiene la recta $P Q$ la cual corta a la circunferencia en $D_{1}$ y $E_{1}$ .

Ahora las rectas $X D_{1}$ y $X E_{1}$ cortarán la recta de los haces en los puntos $D$ y $E$ correspondientemente, estos son los dos puntos buscados. Sea $S$ la intersección de $P Q$ con $A_{1} A_{1}^{'}$ .

Entonces se tienen las siguientes igualdades:

${A B C D} = X {A_{1} B_{1} C_{1} D_{1}}$

por propiedad 1 de razón cruzada de la circunferencia se tiene:

$X {A_{1} B_{1} C_{1} D_{1}} = A_{1}^{'} {A_{1} B_{1} C_{1} D_{1}}$

Por razón cruzada se tiene:

$A_{1}^{'} {A_{1} B_{1} C_{1} D_{1}} = {S P R D_{1}} = A_{1} {A_{1}^{'} B_{1}^{'} C_{1}^{'} D_{1}}$

Por razón cruzada por la circunferencia:

$A_{1} {A_{1}^{'} B_{1}^{'} C_{1}^{'} D_{1}} = X {A_{1}^{'} B_{1}^{'} C_{1}^{'} D_{1}} = {A^{'} B^{'} C^{'} D}$

Por lo tanto, ${A B C D} = {A^{'} B^{'} C^{'} D}$ y es equivalente para $E$ .

Ahora, si $P Q$ es tangente a la circunferencia, solo existirá un punto autocorrespondiente, y si la recta $P Q$ no corta a la circunferencia, entonces no existe ningún punto autocorrespondiente.

Regla geométrica de la falsa posición

Esta regla viene del siguiente problema:

Problema. Construir un triángulo el cual sus lados pasan por los vértices de un triángulo dado y cuyos vértices se encuentran en los lados de otro triángulo dado.

Solución. El triángulo a encontrar debe tener sus lados, los cuales deben pasar por los vértices del triángulo $P Q R$ , y sus vértices en los lados del triángulo $A B C$ .

Sea un punto $D$ en $Q R$ , trácese $D A$ que corte a $P R$ en $E$ , $E B$ que corte $P Q$ en $F$ , y $F C$ que corte a $Q R$ en $D^{'}$ , si $D$ y $D^{'}$ son el mismo ya tendríamos el triángulo buscado. Por lo cual se vuelve a hacer lo mismo para $D_{1}$ obteniendo $D_{1}^{'}$ y $D_{2}$ obteniendo $D_{2}^{'}$ , si estos son puntos iguales ya lo tendríamos resuelto, pero no es así, por ende se construirán los puntos autocorrespondientes a partir de $D, D_{1}, D_{2}, D^{'}, D_{1}', D_{2}^{'}$ .
Si estos puntos $M$ y $N$ existen, y pasamos por uno de ellos, en este caso $M$ para construir el triángulo buscado, nos daríamos cuenta de que regresamos a $M$ y estaría solucionado, pero como menciones estos triángulos existen si existen los puntos autocorrespondientes.

Más adelante…

Se verán tres teoremas importantes respecto al tema de Razón Cruzada, los cuales son Teoremas de Pascal, Brianchon y Pappus.

Entradas relacionadas

Ir a Geometría Moderna II
Entrada anterior del curso: Razón cruzada en la circunferencia
Siguiente entrada del curso: Teoremas de Pascal, Brianchon y Pappus

Geometría Moderna II: Razón Cruzada por la Circunferencia

Por Armando Arzola Pérez

Deja un comentario

Introducción

Como ya se vio, la razón cruzada tiene varias propiedades, desde seis tipos de razón cruzada hasta la construcción del cuarto elemento, pero falta analizar su relación con la circunferencia.

Propiedades de razón cruzada por la circunferencia

Se abordarán 3 propiedades en relación con una circunferencia dada.

Propiedad. Sean cuatro puntos en una circunferencia (con cíclicos) cualesquiera $A, B, C, D$ , si unimos estos puntos a dos puntos $O$ y $O^{'}$ que están en la misma circunferencia, entonces los haces $O {A B C D}$ y $O^{'} {A B C D}$ tienen iguales razones cruzadas.

Razón cruzada por la circunferencia propiedad 1

Demostración. Las razones cruzadas son:

$O {A B C D} = \frac{s e n (A O C) / s e n (C O B)}{s e n (A O D) / s e n (D O B)} = k$ y

$O^{'} {A B C D} = \frac{s e n (A O^{'} C) / s e n (C O^{'} B)}{s e n (A O^{'} D) / s e n (D O^{'} B)} = k^{'}$ .

Notemos la igualdad de ángulos correspondientes de los dos haces $∠ A O C = ∠ A O^{'} C$ , $∠ C O B = ∠ C O^{'} B$ , $∠ D O B = 180 - ∠ D O^{'} B$ y $∠ A O D = 180 - ∠ A O^{'} D$ .

Por lo cual los ángulos formados serán iguales o suplementarios, por ello los senos de los ángulos serán iguales.

$\frac{s e n (A O C) / s e n (C O B)}{s e n (A O D) / s e n (D O B)} = \frac{s e n (A O^{'} C) / s e n (C O^{'} B)}{s e n (A O^{'} D) / s e n (D O^{'} B)}$

$\Rightarrow O {A B C D} = k = k^{'} = O^{'} {A B C D} .$

Propiedad. Sea $C (O, r)$ una circunferencia en la cual se tienen cuatro puntos fijos $A, B, C, D$ por los cuales pasan tangentes por cada uno de estos y cortan la tangente en un punto variable $X$ , entonces la razón cruzada de los cuatro puntos de intersección es una constante.

Es decir, ${A^{'} B^{'} C^{'} D^{'}}$ es constante independientemente de $X$ .

Razón cruzada por la circunferencia propiedad 2

Demostración. Se tiene por teorema visto de razón que ${A^{'} B^{'} C^{'} D^{'}} = O {A^{'} B^{'} C^{'} D^{'}}$ , entonces:

$O {A^{'} B^{'} C^{'} D^{'}} = \frac{s e n (A^{'} O C^{'})}{s e n (C^{'} O B^{'})} / \frac{s e n (A^{'} O D^{'})}{s e n (D^{'} O B^{'})}$

Ahora, como los lados correspondientes de los ángulos $C^{'} O B^{'}$ y $C X B$ son perpendiculares, entonces los senos de estos ángulos son iguales, esto ocurre de igual manera para los otros ángulos de los haces $O {A^{'} B^{'} C^{'} D^{'}}$ y $X {A B C D}$ .

$\Rightarrow \frac{s e n (A^{'} O C^{'})}{s e n (C^{'} O B^{'})} / \frac{s e n (A^{'} O D^{'})}{s e n (D^{'} O B^{'})} = \frac{s e n (A X C)}{s e n (C X B)} / \frac{s e n (A X D)}{s e n (D X B)}$
$\Rightarrow O {A^{'} B^{'} C^{'} D^{'}} = X {A B C D}$

Observemos que esto ocurre para cualquier $X^{'}$ entonces $X {A B C D} = X^{'} {A B C D}$ , y por ende se tiene ${A^{'} B^{'} C^{'} D^{'}} = O {A^{'} B^{'} C^{'} D^{'}} = X^{'} {A B C D}$ .
Por lo tanto, ${A^{'} B^{'} C^{'} D^{'}} = c t e$ independientemente de $X$ .

Propiedad. Sea un haz el cual tiene su vértice fuera de una circunferencia $C (O, r)$ y la cual sus cuatro líneas cortan a la circunferencia en los pares de puntos $A, A^{'}$ , $B, B^{'}$ , $C, C^{'}$ y $D, D^{'}$ . Si se tienen dos puntos distintos $E$ y $E^{'}$ sobre la circunferencia, entonces las razones cruzadas de los haces $E {A B C D}$ y $E^{'} {A^{'} B^{'} C^{'} D^{'}}$ son iguales.

Razón cruzada por la circunferencia propiedad 3

Demostración. Unamos los puntos $A, B, C, D$ a $A^{'}$ y $A^{'}, B^{'}, C^{'}, D^{'}$ a $A$ , esto nos dará las intersecciones de $A B^{'}$ y $A^{'} B$ en un punto $X$ , $A C^{'}$ y $A^{'} C$ en un punto $y$ , $A D^{'}$ y $A^{'} D$ en un punto $Z$ , los cuales están en la polar del vértice $O$ del haz dado, por lo cual se tiene por propiedad 1 de razón cruzada en la circunferencia:

$E^{'} {A B C D} = E^{'} {A^{'} B^{'} C^{'} D^{'}} = A {A^{'} B^{'} C^{'} D^{'}}$

Por propiedad de razón cruzada:

$A {A^{'} B^{'} C^{'} D^{'}} = {w x y z} = A^{'} {w x y z} = A^{'} {A B C D}$

Y por propiedad 1 de razón cruzada en la circunferencia:

$A^{'} {A B C D} = E {A B C D}$

Por lo tanto, $E^{'} {A^{'} B^{'} C^{'} D^{'}} = E {A B C D}$ .

Más adelante…

Ahora se abordará el tema de la regla de la falsa proposición y los puntos autocorrespondientes, esto relacionado con la razón cruzada.

Entradas relacionadas

Ir a Geometría Moderna II
Entrada anterior del curso: Construcción del cuarto elemento dada la razón
Siguiente entrada del curso: Puntos autocorrespondientes y regla geométrica de la falsa posición

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la categoría: Matemáticas

Álgebra Moderna I: Teorema fundamental de los grupos abelianos finitos.

Introducción

Último lema numerado

Teorema fundamental de los grupos abelianos finitos

Tarea moral

Más adelante…

Entradas relacionadas

Álgebra Moderna I: Lemas previos al teorema fundamental de los grupos abelianos finitos.

Introducción

El orden de un elemento mínimo

$G$ como producto de $⟨ g ⟩$ y un subgrupo cualquiera

Tarea moral

Más adelante…

Entradas relacionadas

Álgebra Moderna I: Producto directo interno

Introducción

Producto directo interno de subgrupos

Descomposición de $G$ en $p$ -subgrupos

Tarea moral

Más adelante…

Entradas relacionadas

Geometría Moderna II: Puntos autocorrespondientes y regla geométrica de la falsa posición

Introducción

Puntos Autocorrespondientes

Regla geométrica de la falsa posición

Más adelante…

Entradas relacionadas

Geometría Moderna II: Razón Cruzada por la Circunferencia

Introducción

Propiedades de razón cruzada por la circunferencia

Más adelante…

Entradas relacionadas

Introducción

Último lema numerado

Teorema fundamental de los grupos abelianos finitos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

El orden de un elemento mínimo

G como producto de ⟨g⟩ y un subgrupo cualquiera

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Producto directo interno de subgrupos

Descomposición de G en p-subgrupos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Puntos Autocorrespondientes

Regla geométrica de la falsa posición

Más adelante…

Entradas relacionadas

Introducción

Propiedades de razón cruzada por la circunferencia

Más adelante…

Entradas relacionadas

$G$ como producto de $⟨ g ⟩$ y un subgrupo cualquiera

Descomposición de $G$ en $p$ -subgrupos