Archivo de la etiqueta: Algebra moderna

Álgebra Moderna I: $p$ -Subgrupo de Sylow y el Normalizador de $H$ en $G$

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

Cuando nació la Teoría de grupos uno de los problemas principales fue clasificar a los grupos finitos. Una manera de estudiar este problema es empezar por entender un tipo especial de grupos finitos: grupos con orden primo $p$ , llamemos $G$ a este grupo. El estudio de $G$ se hace más sencillo pues sabemos que es un grupo cíclico y es isomorfo a $Z_{p} .$

Podemos aumentar la dificultad y considerar el caso cuando $| G | = p^{t}$ , con $p$ primo y $t \in N .$ Pero, ¿qué sucede si $G$ no es un $p$ -grupo? Supongamos que $| G | = n = p^{t} m$ donde $t \in N$ y $p$ no divide a $m .$

Dibujo de la representación de un $p$ -grupo de Sylow

En esta entrada lo que haremos será intentar estudiar a un grupo cualquiera $G$ a partir de los $p$ -grupos que lo conforman, que serán llamados $p$ -subgrupos de $G$ . Estos subgrupos pueden estar contenidos a su vez en otros $p$ -subgrupos o bien ser máximos con respecto a la contención y no estar contenidos en ningún otro $p$ -subgrupo. A estos $p$ -subgrupos máximos se les llama $p$ -subgrupos de Sylow de $G$ .

Estudiar todos los $p$ -subgrupos de Sylow de $G$ para los primos que dividen al orden de $G$ nos ayuda a entender cómo es el mismo $G .$

Comencemos con subgrupos de Sylow

Definición. Sea $p \in Z^{+}$ un primo, $G$ un grupo finito. Decimos que $P$ es un $p$ -subgrupo de $G$ si el orden de $P$ es una potencia de $p$ . Además, decimos que $P$ es un $p$ -subgrupo de Sylow de $G$ si

$P$ es un $p$ -grupo;
si $Q$ es un $p$ -grupo con $P \subseteq Q \subseteq G$ , entonces $P = Q$ .

Es decir $P$ es un $p$ -subgrupo de $G$ máximo con respecto a la contención.

Observación. Siempre existe los subgrupos de Sylow.

Demostración.
Sea $p \in Z^{+}$ un primo, $G$ un grupo finito con $| G | = n$ .

Si $p ⧸ | n$ , entonces ${e}$ es un $p$ -subgrupo de Sylow.

Si $p | n$ , por el teorema de Cauchy existe $g \in G$ de orden $p$ . Si $⟨ g ⟩$ no es $p$ -subgrupo de Sylow, entonces existe $Q_{1} \leq G$ $p$ -subgrupo con $⟨ g ⟩ ⊈ Q_{1} .$ Si $Q_{1}$ no es un $p$ -subgrupo de Sylow debe existir $Q_{2} \leq G$ $p$ -subgrupo con $Q_{1} ⊈ Q_{2} .$ Continuando de este modo, dado que $G$ es de orden finito y $1 < | ⟨ g ⟩ | < | Q_{1} | < | Q_{2} | < \dots < | G |$ obtenemos un $p$ -subgrupo de Sylow después de un número finito de pasos.

Ejemplos

Ejemplo 1. Sea $G = S_{4}$ , $| S_{4} | = 4! = 24 = 2^{3} \cdot 3$ .
Entonces hay dos primos involucrados en $| S_{4} |$ , estos son 2 y 3.

$⟨ (1 2 3) ⟩$ es un $3$ -subgrupo de $S_{4}$ . Como no hay otra potencia de 3 que divida a $| S_{4} |$ , no hay grupos de orden 9,27, etc. por lo que $⟨ (1 2 3) ⟩$ es un $3$ -subgrupo de Sylow de $S_{4}$

Por otro lado, para los $2$ -subgrupos de Sylow podríamos tener subgrupos de orden $2$ , $4$ y hasta $8$ . De una manera intuitiva sabemos que podemos ver a $S_{4}$ como todas las simetrías de un cuadrado.

Notemos que no todas las permutaciones de los vértices de un cuadrado son simetrías, pero todas las simetrías de un cuadrado se pueden ver como permutaciones de sus vértices. Las permutaciones que también son simetrías son: las rotaciones por 90 grados, las reflexiones por los ejes y las reflexiones por las diagonales.

La rotación de $90$ grados, que corresponde a la permutación $(1 2 3 4),$ y la reflexión por el eje $x,$ que corresponde a la transposición $(2 4)$ , generan al grupo diédrico. Por lo que $⟨ (1 2 3 4), (2 4) ⟩$ es isomorfo al grupo diédrico $D_{2 (4)}$ que es de orden $8$ . Así, $⟨ (1 2 3 4), (2 4) ⟩$ es un $2$ -subgrupo de Sylow de $S_{4}$ de orden 8.

Ejemplo 2. Sea $G = A_{4}$ , $| A_{5} | = 60 = 2^{2} \cdot 3 \cdot 5$ .

Consideremos el grupo de Klein ${(1), (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)}$ que es un subgrupo de $A_{5}$ de orden $4$ y por lo tanto un $2$ -subgrupo de Sylow de $A_{5}$ .

El subgrupo anterior se hizo considerando todas las permutaciones que son productos de dos transposiciones disjuntas de los números $1$ , $2$ , $3$ y $4$ , si ahora hacemos lo mismo pero considerando todas las permutaciones que son productos de dos transposiciones disjuntas de los números $2$ , $3$ , $4$ y $5$ obtenemos ${(1), (2 3) (4 5), (2 4) (3 5), (2 5) (3 4)}$ que es otro $2$ -subgrupo de Sylow de $A_{5}$ . Siguiendo de esta manera podríamos construir distintos $2$ -subgrupos de Sylow.

Si nos tomamos un $3$ -ciclo y su generado obtenemos un $3$ -subgrupo de Sylow de $A_{5}$ , por ejemplo $⟨ (1 2 3) ⟩$ es un $3$ -subgrupo de Sylow de $A_{5}$ . Notamos que podemos elegir $3$ -ciclos distintos de $(1 2 3)$ y de su inverso y con ello crear diferentes $3$ -subgrupos de Sylow de $A_{5}$ .

Si tomamos un $5$ -ciclo y su generado obtenemos un $5$ -subgrupo de Sylow de $A_{5}$ , por ejemplo $⟨ (1 2 3 4 5) ⟩$ es un $5$ -subgrupo de Sylow de $A_{5}$ . Pero también podemos tomar un $5$ -ciclo que no esté en el generado $⟨ (1 2 3 4 5) ⟩$ y obtener otro $5$ - subgrupo de Sylow de $A_{5}$ .

Últimos preparativos

Definición. Sea $G$ un grupo, $H$ subgrupo de $G$ . El normalizador de $H$ en $G$ es
$\begin{array}{r} N_{G} (H) = {g \in G | g H g^{- 1} = H} . \end{array}$

Representación del normalizador de $H$ en $G$ .
Observemos que un elemento $g$ del normalizado de $H$ no necesariamente está en $H$ .

Observación. Por construcción $H ⊴ N_{G} (H)$ .

Lema. Sea $p \in Z^{+}$ un primo, $G$ un grupo finito, $H$ un $p$ -subgrupo de $G$ . Entonces
$\begin{array}{r} [N_{G} (H) : H] \equiv [G : H] (mód p) . \end{array}$

Demostración.
Sean $p \in Z^{+}$ un primo, $G$ un grupo finito y $H$ un $p$ -subgrupo de $G$ . Consideremos $X = {g H | g \in G}$ y la acción de $H$ en $X$ dada por
$\begin{array}{r} h \cdot (g H) = h g H \forall h \in H, \forall g \in G . \end{array}$

Como $H$ es un $p$ -grupo, de acuerdo al último teorema de la entrada Clase de Conjugación, Centro de $G$ , Ecuación de Clase y $p$ -Grupo sabemos que
$\begin{array}{r} [G : H] = # X \equiv # X_{H} (mód p) . \end{array}$

Pero
$\begin{aligned} X_{H} & = {g H \in X | h \cdot (g H) = g H \forall h \in H} \\ = {g H \in X | h g H = g H \forall h \in H} \\ = {g H \in X | g^{- 1} h g \in H \forall h \in H} \\ = {g H \in X | g^{- 1} H g \subseteq H} \\ = {g H \in X | g^{- 1} H g = H} & pues G es finito y en consecuencia H también. \\ = {g H | g \in N_{G} (H)} \\ = N_{G} (H) / H . \end{aligned}$

Así, $# X_{H} = [N_{G} (H) : H]$ y entonces $[G : H] \equiv [N_{G} (H) : H] (mód p) .$

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.

Encuentra los $2$ -subgrupos de los cuaternios $Q_{8} .$
Encuentra todos los $3$ -subgrupos del grupo simétrico $S_{4} .$ Etiquetando los vértices del cuadrado de maneras distintas a la que viene en el ejemplo 2 de esta entrada, encuentra la mayor cantidad que puedas de $2$ -subgrupos de Sylow de $S_{4}$ .
Sea $P$ un $p$ -subgrupo de Sylow de un grupo finito $G$ . Prueba que:
- Cada conjugado de $P$ también es un $p$ -subgrupo de Sylow.
- $p$ no divide a $| N_{g} (P) / P |$ .
- Si $g \in G$ es tal que $o (g) = p^{m}$ para alguna $m \in Z^{+}$ y si $g P g^{- 1} = P$ , entonces $g \in P .$

Más adelante…

¡Ahora sí! Todo está listo para que en la siguiente entrada estudiemos los tres Teoremas de Sylow. Te adelanto que todos los Teoremas de Sylow se sirven de los $p$ -subgrupos que vimos en esta entrada. De hecho, los relaciona con los temas que hemos visto como subgrupo normal y conjugados.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teorema de Cauchy.
Siguiente entrada del curso: Teoremas de Sylow.
Resto de cursos: Cursos.

Álgebra Moderna I: Acciones

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Antes de comenzar con el tema que nos compete, repasemos lo que hemos visto del Teorema de Cayley y su modificación de la entrada anterior. Primero, en el Teorema de Cayley, comenzamos tomando un grupo $G$ , un $a$ en el grupo y actuamos con ese $a$ sobre el grupo, es decir multiplicamos los elementos. En resumen, nos permite mover los elementos del mismo grupo.

Con la modificación avanzamos en la abstracción. En el teorema nos tomamos el conjunto de clases laterales y ahora, $G$ actúa sobre las clases laterales. Detente un minuto para pensar, si cada vez somos más generales ¿cuál es el siguiente paso? ¿sobre quién queremos que actúe $G$ ahora?

La respuesta es: sobre un conjunto cualquiera $X$ . Ahora queremos pensar que usamos los elementos de $G$ para mover elementos de $X$ . Para eso necesitamos una especie de producto, además de algunos matices. Por ejemplo, para un $x \in X$ cuando $a = e$ , el elemento $a \cdot x = x$ se quede fijo y que si se multiplica por $a$ y luego por $b$ , que sea lo mismo que multiplicar por $a b$ , es decir $a \cdot (b \cdot x) = a b \cdot x$ . Si se cumplen estas dos condiciones diremos que $a$ es una acción de $G$ en el conjunto $X$ .

Luces, cámara, ¡acción!

Como verás, hemos estado usando el verbo actuar para referirnos a esta transformación que sucede al operar un $a \in G$ y otro elemento, sea del mismo $G$ o de las clases laterales. Aunque no hayamos definido formalmente qué es una acción, la realidad es que ya usar actuar da una idea de lo que estamos queriendo decir. Estamos usando un elemento de un grupo para transformar un elemento de otro. A continuación definiremos formalmente a una acción.

Definición. Sea $G$ un grupo, $X$ un conjunto. Si existe una función:
$\begin{aligned} G \times X & \to X \\ (a, x) & \mapsto a \cdot x \end{aligned}$
para todos $a \in G, x \in X$ , tal que:

$e \cdot x = x$ para toda $x \in X$ .
$a \cdot (b \cdot x) = (a b) \cdot x$ para todas $a, b \in G, x \in X$ ,

decimos que la función es una acción de $G$ en $X$ , y que $G$ actúa en $X$ o que $X$ es un $G$ -conjunto.

Ejemplos.

Veamos algunos ejemplos nuevos y retomemos algunos otros, para verificar que esto es una generalización para lo que se hizo en el Teorema de Cayley y en su modificación.

Ejemplo 1. Sean $G$ grupo, $X = G$ definimos $a \cdot x = a x$ para todas $a \in G, x \in X$ . Es decir, definimos una acción sobre sí mismo. Probemos las dos condiciones:

$\begin{aligned} e \cdot x = e x = x & \forall x \in X \\ a \cdot (b \cdot x) = a \cdot (b x) = a (b x) = (a b) x = (a b) \cdot x & \forall a, b \in G, x \in X . \end{aligned}$

Así, todo grupo $G$ actúa en sí mismo mediante su operación binaria. Como vimos en la entrada del Teorema de Cayley.

Ejemplo 2. Sean $G$ grupo, $H \leq G$ , $X = {g H | g \in G}$ . Definimos $a \cdot (g H) = a g H$ para toda $a, g \in G$ . Ahora, probemos las dos condiciones de una acción:

$\begin{aligned} e \cdot (g H) = e g H = g H & \forall g \in G \end{aligned}$
$\begin{aligned} a \cdot (b \cdot (g H)) & = a \cdot (b g H) = a (b g) H = (a b) g H \\ = a b \cdot (g H) & \forall a, b, g \in G \end{aligned}$

Así se tiene una acción de $G$ en las clases laterales de $H$ en $G$ . Este ejemplo lo vimos en la entrada de la modificación al Teorema de Cayley.

Por último, podemos ver un ejemplo nuevo.

Ejemplo 3. Sea $G = D_{2 n}$ el grupo diédrico, $X = {1, 2, \dots, n}$ los distintos vértices de polígono regular de $n$ lados.

Dados $g \in G, i \in X$ definimos $g \cdot i = j$ si $g$ manda el vértice $i$ en el vértice $j$ . Recordemos que los elementos de un grupo diédrico son las simetrías del polígono regular de $n$ lados, es decir, son transformaciones lineales del plano que mandan del polígono en sí mismo. En particular, los vértices van a dar a vértices bajo estas transformaciones.

Entonces, como son transformaciones del plano nuestra acción quedaría como una evaluación $g \cdot i = g (i)$ . Así, para todos $i \in X, g, h \in G$ ,
$\begin{aligned} id \cdot i & = id (i) = i \\ g \cdot (h \cdot i) & = g \cdot (h (i)) = g (h (i)) = (g h) (i) = (g h) \cdot i . \end{aligned}$

Así, $D_{2 n}$ actúa en el conjunto de vértices.

Recordemos que al escribir $(g h) \cdot i$ , la operación que ocurre entre $g$ y $h$ es la composición. En este momento se omitió el símbolo $\circ$ para evitar confusiones con el símbolo $\cdot$ de acción.

Otra definición de Acción

Anteriormente hemos visto la noción de que los elementos de un grupo dan lugar a permutaciones. Usaremos esta idea para dar una definición de acción equivalente a la definición que acabamos de dar.

Teorema. Sean $G$ un grupo, $X$ un conjunto. Toda acción de $G$ en $X$ induce un homomorfismo de $G$ en $S_{X}$ y viceversa.

Demostración.

Sean $G$ un grupo y $X$ un conjunto.
Supongamos que $G \times X \to X$ es una acción de $G$ en $X$ tal que $(g, x) \mapsto g \cdot g x$ . Para cada $g \in G$ definimos $α_{g} : X \to X$ dada por $α_{g} (x) = g \cdot x$ para toda $x \in X$ .

Analicemos las funciones $α_{g}$ , veamos que son biyectivas:

$\begin{aligned} α_{g} \circ α_{g^{- 1}} (x) & = α_{g} (α_{g^{- 1}}) = α_{g} (g^{- 1} \cdot x) = g \cdot (g^{- 1} \cdot x) \\ = (g g^{- 1}) \cdot x & Condición 2 de acción \\ = e \cdot x = x & Condición 1 de acción . \end{aligned}$

Entonces $α_{g} \circ α_{g^{- 1}} = {id}_{X}$ .

Anáogamente $α_{g^{- 1}} \circ α_{g} = {id}_{X}$ , entonces $α_{g}$ es biyectiva, es decir $α_{g} \in S_{X}$ .

Definimos $ψ : G \to S_{X}$ con $ψ (g) = α_{g}$ para toda $g \in G$ .

Veamos que $ψ$ es un homomorfismo. Tomemos $g, h \in G$ ,
$\begin{aligned} ψ (g h) (x) & = α_{g h} (x) = (g h) \cdot x = g \cdot (h \cdot x) = α_{g} (α_{h} (x)) & Condición 2 \\ = α_{g} \circ α_{g} (h) = ψ (g) ψ (h) (x) & \forall x \in X . \end{aligned}$

Entonces $ψ (g h) = ψ (g) ψ (h)$ para todos $g, h \in G$ .

Por lo tanto $ψ$ es un homomorfismo.

Ahora de regreso. Supongamos ahora que se tiene un homomorfismo $ψ : G \to S_{X}$ . Entonces, para cada $g \in G, ψ (g) \in S_{x}$ .

Definimos la función $G \times X \to X$ donde $(g, x) \mapsto g \cdot x$ . Entonces $g \cdot x = ψ (g) (x)$ para toda $g \in G, x \in X$ . Además, $ψ (g) (x) \in X$ .

Ahora veamos que esta función es una acción. La primera condición para ser acción se cumple de la siguiente manera:

Como $ψ$ es un homomorfismo, $ψ (e) = {id}_{X}$ . Así,
$\begin{aligned} e \cdot x & = ψ (e) (x) = {id}_{X} (x) = x & \forall x \in X \end{aligned}$

Probemos la segunda condición de acción:

$\begin{aligned} g \cdot (h \cdot x) & = ψ (g) (ψ (h) (x)) = ψ (g) \circ ψ (h) (x) \\ = ψ (g h) (x) = (g h) \cdot x & ψ es un homomorfismo . \end{aligned}$
Para todas $g, h \in G, x \in X$ . Así $G$ actúa en $X$ .

Una relación de equivalencia

Si tenemos un grupo $G$ actuando sobre un conjunto $X$ , entonces podemos considerar $g \in G$ y $x, y \in X$ . Con los dos elementos $x, y$ de $X$ , podemos preguntarnos ¿es posible llegar de $x$ a $y$ usando a $g$ ?, algo como $y = g \cdot x$ . En realidad esto no es siempre posible, entonces podemos crear una relación de $x$ con $y$ si existe tal $g \in G$ . Esto lo veremos en el siguiente resultado.

¿Es posible llegar de $x$ a $y$ usando a $g$ ?

Lema. Sean $G$ un grupo, $X$ un $G$ -conjunto. Para todo $x, y \in X$ , la relación en $X$ : $x \sim y$ si y sólo si $g \cdot x = y$ para algún $g \in G$ es una relación de equivalencia.

Demostración.
Sean $G$ un grupo, $X$ un $G$ -conjunto. Definimos la relación en $X$ donde para todo $x, y \in X$ .
$\begin{array}{r} x \sim y \Leftrightarrow g \cdot x = y para algún g \in G . \end{array}$

Primero, por la condición 1 de acción, $e \cdot x = x$ para toda $x \in X$ con $e \in G$ , entonces $x \sim x$ para toda $x \in X$ . Por lo que nuestra relación es reflexiva.

Si $x, y \in X$ son tales que $x \sim y$ , entonces existe $g \in G$ tal que $g \cdot x = y$ . Así,
$\begin{aligned} g^{- 1} \cdot y & = g^{- 1} \cdot (g \cdot x) \\ = (g^{- 1} g) \cdot x & por condición 2 \\ = (e \cdot x) \\ = x & por condición 1 \end{aligned}$

con $g^{- 1} \in G$ , entonces $y \sim x$ . Por lo que tenemos una relación simétrica.

Si $x, y, z \in X$ son tales que $x \sim y$ y $y \sim z$ , entonces existen $g, h \in G$ tales que $g \cdot x = y$ , $h \cdot y = z$ . Así
$\begin{aligned} (h g) \cdot x & = h \cdot (g \cdot x) & condición 2 \\ = h \cdot y = z \end{aligned}$
con $h g \in G$ . Entonces $x \sim z$ . Así, nuestra relación es transitiva.

Por lo tanto $\sim$ es una relación de equivalencia.

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.

En los siguientes incisos determina si la función dad es una acción de $G$ en $X$ :
- Considera un campo $K$ y $V$ un $K$ -espacio vectorial. Sea $G = K^{*}$ con el producto y $X = V$ . Definimos $λ \cdot v = λ v$ para cada $λ \in K^{*}$ y $v \in V$ . (Nota que $K^{*}$ es el campo sin el neutro aditivo).
- Sea $G$ un grupo y $X = G$ . Definimos $g \cdot x = g^{- 1} x g$ para cada $g \in G$ y cada $x \in X$ .
- Sea $G$ un grupo y $X = {H | H \leq G}$ . Definimos $g \cdot H = g H g^{- 1}$ para cada $g \in G$ y cada $H \in X$ .
- Sea $G$ un grupo y $X = N$ un subgrupo normal de $G$ . Definimos $g \cdot n = g n g^{- 1}$ para cada $g \in G$ y cada $n \in N$ .
Sea $G$ un grupo y $X$ un $G$ conjunto. Considera el homomorfismo $ψ : G \to S_{X}$ asociado. ¿Es necesariamente $ψ$ un monomorfismo? Si lo es, pruébalo y si no, establece qué condiciones debería cumplir la acción para que lo sea.
Para repasar lo que hemos visto desde el Teorema de Cayley, puedes consultar el video en inglés de Mathemaniac.

Más adelante…

Hemos expandido la idea de que un grupo puede mover a los elementos de otro hasta llamarlo una acción. Luego, encontramos una relación de equivalencia a partir de la acción. Como es usual en este tipo de cursos, estudiaremos la partición inducida por esta relación de equivalencia y a partir de estos conjuntos, definiremos otros tipos de acciones.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Una modificación al Teorema de Cayley.
Siguiente entrada del curso: Órbita de $x$ y tipos de acciones.
Resto de cursos: Cursos.

Álgebra Moderna I: Una modificación al Teorema de Cayley

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

En la entrada anterior aprendimos que el Teorema de Cayley es muy útil porque nos permite visualizar a un grupo $G$ como un subgrupo del grupo de permutaciones. Si el grupo es de orden $n$ , se puede visualizar como un subgrupo del grupo $S_{n}$ que tiene orden $n!$ , entonces hemos visualizado a $G$ como parte de un grupo de permutaciones $S_{n}$ que es realmente mucho más grande que $G$ . Lo que haremos en esta entrada es relacionar al grupo $G$ con un grupo simétrico pero más pequeño que $S_{n}$ . Utilizaremos los elementos de $G$ no para mover sus propios elementos, si no, para mover clases laterales.

Después de probar este resultado, veremos una aplicación de esta modificación del Teorema de Cayley para trabajar con clase laterales. Esta aplicación generaliza el resultado que se probó para grupos normales, anteriormente establecimos que todo subgrupo de índice 2 es un subgrupo normal. Probaremos que si tomamos el menor primo que divide al orden de un grupo y tenemos un subgrupo ese índice, entonces este subgrupo tiene que ser normal.

Para esta entrada, es recomendable que repases los grupos de permutaciones.

Relacionemos a $G$ con un grupo simétrico más pequeño

En el siguiente teorema relaciona a $G$ con un grupo simétrico, pero en este caso $n$ no es el orden de $G$ , si no el índice de $G$ con respecto a un subgrupo $H$ .

Teorema. Sea $G$ un grupo, $H$ subgrupo de $G$ de índice finito, $[G : H] = n .$
Existe un homomorfismo $ϕ : G \to S_{n}$ con $Núc ϕ \leq H$ .

Observemos que el Teorema de Cayley nos da un isomorfismo y este teorema sólo nos da un homomorfismo (no necesariamente inyectivo). De todas maneras, se puede usar este teorema para probar otros resultados.

Demostración.

Sea $G$ un grupo, $H \leq G$ de índice finito, digamos $[G : H] = n$ . Para cada $a \in G$ definimos $τ_{a} : G / H \to G / H$ con $τ_{a} (g H) = a g H$ para toda $g \in G$ .

Para esta demostración, como $H$ no es necesariamente normal, $G / N$ no es un grupo. Sólo lo estamos pensando como la colección de todas las clases laterales de $G$ con respecto a $H$ .

Dada $g \in G$ ,
$\begin{aligned} τ_{a} \circ τ_{a^{- 1}} (g H) & = τ_{a} (τ_{a^{- 1}} (g H)) = a (a^{- 1} g) H = g H \\ τ_{a^{- 1}} \circ τ_{a} (g H) & = τ_{a^{- 1}} (τ_{a} (g H)) = a^{- 1} (a g) H = g H . \end{aligned}$

Así, $τ_{a^{- 1}}$ es la inversa de $τ_{a}$ y $τ_{a}$ es biyectiva.

Definimos entonces $ψ : G \to S_{G / H}$ con $ψ (a) = τ_{a}$ para todo $a \in G$ . Tomemos $a, b \in G$ y $g \in G$ . A continuación demostraremos que $ψ$ es un homomorfismo:
$\begin{aligned} ψ (a b) (g H) & = τ_{a b} (g H) = (a b) g H = a (b g) H = τ_{a} (τ_{b} (g H)) \\ = τ_{a} \circ τ_{b} (g H) = ψ (a) \circ ψ (b) (g H) \end{aligned}$

Observemos que las igualdades son producto exclusivamente de las definiciones de $ψ$ y de $τ_{a}$ . Así, $ψ (a b) = ψ (a) \circ ψ (b)$ para todo $a, b \in G$ . Por lo que $ψ$ es un homomorfismo.

Ahora pasemos a la segunda parte del teorema.

Sí $a \in Núc ψ$ , $ψ (a) = {id}_{G / N}$ y entonces, para todo $g \in G$ obtenemos,
$\begin{aligned} ψ (a) (g H) = g H & \Rightarrow τ_{a} (g H) = g H & definición de ψ \\ \Rightarrow a g H = g H & pues ψ (a) = {id}_{G / N} \\ \Rightarrow a H = H & en particular, cuando g = e \\ \Rightarrow a \in H . \end{aligned}$

Por lo tanto $Núc ψ \leq H$ .

Como $# G / N = n$ , sabemos que $S_{G / N} ≅ S_{n}$ y existe $ρ : S_{G / H} \to S_{n}$ un isomorfismo. Así $ρ \circ ψ : G \to S_{n}$ es el homomorfismo buscado.

Observación. Si $H = {e}$ se tienen el Teorema de Cayley.

Ilustremos lo aprendido

Veamos un ejemplo.

Ejemplo. Tomemos el grupo simétrico $G = S_{3}$ , el subgrupo $H = ⟨ (1, 2) ⟩$ y el cociente $G / H = {H, (1 3) H, (2 3) H}$ .

Retomemos la función de la demostración: $ψ : S_{3} \to S_{G / H}$ , $ψ (a) = τ_{a}$ para toda $a \in S_{3}$ . Entonces,

$\begin{aligned} a \in Núc ψ & \Leftrightarrow ψ (a) = {id}_{G / N} \\ \Leftrightarrow τ_{a} (g H) = g H \forall g \in S_{3} \\ \Leftrightarrow a g H = g H \forall g \in S_{3} . \end{aligned}$

Así, en este caso si $a \in Núc ψ$ ,
$\begin{aligned} a (1 3) H = (1 3) H & \Rightarrow (1 3) a (1 3) \in H = {(1), (1 2)} . \end{aligned}$
Recordemos que dos clases laterales $a H, b H$ son iguales si y sólo si $b^{- 1} a b \in H$ . En este caso, el inverso de $(1 3)$ es él mismo.
$\begin{aligned} \Rightarrow a = (1) ó a = (1 3) (1 2) (1 3) = (3 2) . \end{aligned}$

Sin embargo, como $a \in Núc ψ$ , no sólo deja fijo a $(1 3)$ , si no también a $(2 3)$ , siguiendo un razonamiento similar obtenemos:
$\begin{aligned} a (2 3) H = (2 3) H & \Rightarrow (2 3) a (2 3) \in H = {(1), (1 2)} \\ \Rightarrow a = (1) ó a = (2 3) (1 2) (2 3) = (1 3) . \end{aligned}$

Entonces, por un lado tenemos que $a = (1) ó a = (3 2)$ y por el otro, tenemos que $a = (1) ó a = (1 3)$ . Así, $a = (1)$ .

Por lo tanto, $Núc ψ = {(1)} \leq H .$

Aplicación de la modificación

A continuación veremos la aplicación de la modificación del Teorema de Cayley que mencionamos en la introducción. La aplicación consiste en una generalización de un resultado visto previamente. En entradas anteriores, vimos que todo subgrupo de índice 2 es un subgrupo normal. Ahora veremos que si hay un subgrupo de orden el menor primo que divide al orden de un grupo, este subgrupo será normal.

Corolario. Si $G$ es un grupo finito y $p \in Z^{+}$ es el menor primo positivo que divide al orden de $G$ , entonces todo subgrupo de $G$ de índice $p$ es normal en $G$ .

Demostración.

Sea $G$ un grupo finito, $| G | = n$ , $p \in Z^{+}$ el menor primo positivo que divide a $n$ .

Supongamos que $H \leq G$ con $[G : H] = p$ . Probaremos que $H$ es normal.

Sea $ψ : G \to S_{G / H}$ con $ψ (a) = τ_{a}$ para toda $a \in G$ como en el teorema anterior. Sabemos que $Núc ψ \leq H \leq G$ , como secuencia del Teorema de Lagrange tenemos
$\begin{array}{r} (1) & [G : Núc ψ] = [G : H] [H : Núc ψ] = p [H : Núc ψ] . \end{array}$

Por el Primer Teorema de Isomorfía, $G / Núc ψ ≅ Im ψ \leq S_{G / H} ≅ S_{p},$

$\begin{aligned} \Rightarrow & [G : Núc ψ] = | G / Núc ψ | | | S_{p} | \\ \Rightarrow & p [H : Núc ψ] | p! & porque | S_{p} | = p! y (1) \\ \Rightarrow & [H : Núc ψ] | (p - 1)! \end{aligned}$

Si $[H : Núc ψ] > 1$ , existiría $q \in Z^{+}$ un primo que lo divide, entonces $q | a$ con $a \in {1, 2, \dots, p - 1}$ . Por lo tanto $q < p .$

Y como $q | [H : Núc ψ]$ , entonces $q | | G |$ .

Entonces, $q$ sería un divisor primo positivo de $n$ , menor que $p$ . Esto es una contradicción.

Así $[H : Núc ψ] = 1$ , de donde $| H | = | Núc ψ |$ y como $Núc ψ \leq H$ concluimos que $H = Núc ψ ⊴ G .$

Por lo tanto $H ⊴ G$ .

Observación. No siempre existe dicho subgrupo, por ejemplo $A_{4}$ no tiene subgrupos de índice 2.

Esto sucede porque $A_{4}$ tiene 12 elementos, el menor primo que divide a 12 es 2. Pero, de acuerdo a lo que estudiamos, $A_{4}$ no tiene subgrupos de orden 6, entonces no existen subgrupos de índice 2.

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 la observación: Si $H = {e}$ se tienen el Teorema de Cayley.
Sea $V$ el grupo de Klein. $H = ⟨ (1, 0) ⟩$ . Determina cómo son las funciones $τ_{a}$ para cada $a \in V$ y describe cómo se puede visualizar a cada elemento $a \in V$ como una permutación en ${(a, b) + H | (a, b) \in V}$ , y como una permutación en $S_{2}$ .
Dado $G$ un grupo y $H$ un subgrupo de $G$ de índice finito $n$ , sabemos que existe un homomorfismo $ϕ$ de $G$ en $S_{n}$ con $Núc ϕ \leq H .$ Da una condición necesaria y suficiente para que $Núc ϕ = H .$
Sea $G$ un grupo finito de orden $n$ y $H$ un subgrupo de de índice primo $p$ . ¿Es $H$ normal en $G$ ? Prueba o da un contraejemplo.

Más adelante…

Con este teorema hemos avanzado un pasito en la idea de usar elementos de un grupo para modificar otro, ahora usando clases laterales. El Teorema de Cayley y su modificación son importantes para el tema que veremos en la siguiente entrada, donde ahora sí, usaremos un grupo cualquiera para actuar sobre otro grupo cualquiera.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teorema de Cayley.
Siguiente entrada del curso: Acciones.
Resto de cursos: Cursos.

Álgebra Moderna I: Teorema de Cayley

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

¡Hoy es el día en el que comenzamos la Unidad 4!

A partir de esta unidad veremos cada uno de los elementos de los grupos (para cualquier grupo) se puede ver como una permutación. Para fines introductorios, ilustremos qué pasa en el caso de un grupo finito. Sea $G = {e, g_{2}, \dots, g_{n}}$ , podemos escribir su tabla de producto ( $*$ ):

$*$	$e$	$g_{2}$	$g_{3}$	$\dots$	$g_{n}$
$e$
$g_{2}$
$g_{3}$
$⋮$
$a = g_{i}$	$a e$	$a g_{2}$	$a g_{3}$	$\dots$	$a g_{n}$
$⋮$
$g_{n}$

¿Qué pasa si elegimos un elemento fijo? Fijemos $g_{i}$ , para distinguirlo, denotémoslo como $a = g_{i} .$ Así, en la tabla del producto ese renglón quedaría $a e a g_{2} a g_{3} \dots a g_{n}$ . Como tanto $a = g_{i}$ como $e, g_{2}, \dots g_{n}$ están en $G$ , ese renglón está conformado por elementos de $G$ .

Podría darse el caso en que $a g_{k} = a g_{t}$ para algún $k, t \in {1, \dots, n}$ , pero como $G$ es un grupo, podemos cancelar la $a$ . Entonces $a g_{k} = a g_{t} \Leftrightarrow g_{k} = g_{t}$ . Así, si suponemos que $g_{k} \neq g_{t}$ para todas $k \neq t$ con $k, t \in {1, \dots, n}$ , en el renglón de $a$ aparecen $n$ elementos distintos. Es decir, aparecen todos los $n$ elementos de $G$ pero quizás en otro orden.

De esta manera, el efecto que tiene $a$ sobre los elementos de $G$ es de moverlos. Esto sucederá en cualquier renglón de la tabla, es decir, cualquier elemento de $G$ funciona como una permutación. Esto es importante porque nos permitirá visualizar a cualquier grupo como un grupo de permutaciones.

Ésta es la razón por la cual las permutaciones son tan importantes y por eso tenemos que estudiarlas bien.

La función tau $τ$

Bajo la idea propuesta en la introducción de esta entrada, todo grupo se puede pensar como un subgrupo de un grupo de permutaciones. Para formalizar esta idea comenzaremos con un lema.

Lema. Sea $G$ un grupo, $a \in G$ . La función $τ_{a} : G \to G$ dada por $τ_{a} (g) = a g$ para todo $g \in G$ , es una biyección.

Demostración.

Sea $G$ un grupo, $a \in G$ . Consideremos la función $τ_{a} : G \to G$ con $τ_{a} (g) = a g$ para todo $g \in G$ .

P.D. $τ_{a}$ es biyectiva.
Consideremos la función $τ_{a^{- 1}} : G \to G$ con $τ_{a^{- 1}} = a^{- 1} g$ , para toda $g \in G .$ Dado $g \in G$ .
$\begin{aligned} τ_{a^{- 1}} \circ τ_{a} (g) & = τ_{a^{- 1}} (τ_{a} (g)) = τ_{a^{- 1}} (a g) = a^{- 1} (a g) = g \\ τ_{a} \circ τ_{a^{- 1}} (g) & = τ_{a} (τ_{a^{- 1}} (g)) = τ_{a} (a^{- 1} g) = a (a^{- 1} g) = g . \end{aligned}$

Donde todas las igualdades son por definición de $τ_{a}$ y $τ_{a^{- 1}}$ ó por propiedades de grupo.

Así, $τ_{a^{- 1}}$ es la inversa de $τ_{a}$ y entonces $τ_{a}$ es biyectiva.

Observación. Si $a \neq e$ , $τ_{a}$ no es un homomorfismo.
La demostración queda como ejercicio. Sucederá que si $a \neq e$ , entonces $τ_{a}$ seguirá siendo una función biyectiva, pero no un homomorfismo.

El título de la entrada

El Teorema de Cayley es quien nos dirá exactamente lo que queremos formalizar esta entrada.

Teorema. (Teorema de Cayley)
Todo grupo de $G$ es isomorfo a un subgrupo de $S_{G}$ . En particular, todo grupo finito de orden $n$ es isomorfo a un subgrupo de $S_{n}$ .

Demostración.
Sea $G$ un grupo. De acuerdo al lema anterior, para cada $a \in G$ se tiene que $τ_{a}$ es una función biyectiva de $G$ en $G$ , es decir $τ_{a} \in S_{G}$ Definimos entonces
$\begin{array}{r} ϕ : G \to S_{G} con ϕ (a) = τ_{a} \forall a \in G . \end{array}$

Veamos que $ϕ$ es un homomorfismo.
Tomemos $a, b \in G$ .
P.D. $ϕ (a b) = ϕ (a) \circ ϕ (b)$ .

Dado que en todas las funciones involucradas tanto el dominio como el condominio es $G$ , basta probar que $ϕ (a b)$ y $ϕ (a) \circ ϕ (b)$ tienen la misma regla de correspondencia. Sea entonces $g \in G,$ apliquemos la función $ϕ (a b)$ a $g$ .
$\begin{aligned} ϕ (a b) (g) & = τ_{a b} (g) \\ = (a b) g \\ = a (b g) \\ = τ_{a} (τ_{b} (g)) \\ = τ_{a} \circ τ_{b} (g) = ϕ (a) \circ ϕ (b) (g) . \end{aligned}$

Por lo tanto $ϕ (a b) = ϕ (a) \circ ϕ (b)$ , probando así que $ϕ$ es un homomorfismo.

Veamos ahora que $ϕ$ es un monomorfismo. Sea $a \in Núc φ$ ,
$\begin{aligned} a \in Núc φ \Rightarrow & ϕ (a) = {id}_{G} & Definición de Núc \\ \Rightarrow & ϕ (a) (g) = {id}_{G} (g) & \forall g \in G \\ \Rightarrow & τ_{a} (g) = g & \forall g \in G \\ \Rightarrow & a g = g & \forall g \in G \\ \Rightarrow & a = e \end{aligned}$

donde la última implicación se puede justificar considerando el caso particular $g = e$ . De esta manera $ϕ$ es un monomorfismo.

Así, al restringir el codominio de $ϕ$ a la imagen $Im ϕ$ obtenemos un isomorfismo.
Por lo tanto $G ≅ Im ϕ \leq S_{G}$ . Con esto tenemos la primero parte del teorema demostrada.

En particular, si $| G | = n$ tenemos que $S_{G} ≅ S_{n}$ y como $G ≅ Im ϕ \leq S_{G} ≅ S_{n}$ , entonces $G$ es isomorfo a un subgrupo de $S_{n}$ .

Ejemplo:

Tomemos $V = {(0, 0), (1, 0), (0, 1), (1, 1)}$ el grupo de Klein, con la suma entrada a entrada módulo 2.
Sean $a_{1} = (0, 0), a_{2} = (1, 0), a_{3} = (0, 1), a_{4} = (1, 1)$ . Tenemos la tabla de suma de la siguiente manera:

$+$	$a_{1}$	$a_{2}$	$a_{3}$	$a_{4}$
$a_{1}$	$a_{1}$	$a_{2}$	$a_{3}$	$a_{4}$
$a_{2}$	$a_{2}$	$a_{1}$	$a_{4}$	$a_{3}$
$a_{3}$	$a_{3}$	$a_{4}$	$a_{1}$	$a_{2}$
$a_{4}$	$a_{4}$	$a_{3}$	$a_{2}$	$a_{1}$

Entonces $τ_{a_{2}}$ intercambia $a_{1}$ y $a_{2}$ e intercambia $a_{3}$ y $a_{4}$ de lugar. Viendo a $a_{2}$ como una permutación, correspodería a $σ \in S_{4}$ con $σ = (1 2) (3 4) .$

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.

Demostrar la observación:
Observación. Si $a \neq e$ , $τ_{a}$ no es un homomorfismo.
Para los siguientes grupos $G$ y $g \in G$ determina cómo es la función $τ_{g} :$
- $G$ es cíclico de orden 6, $g$ un generador de $G$ .
- $G = D_{2 (4)}$ , $g = b$ la reflexión sobre el eje $x$ .
- $G = Q$ , $g = - j$ .
En los diferentes inicios del ejercicio anterior, describe cómo se puede visualizar al elemento $g \in G$ como una permutación en $S_{n}$ con $n = | G | .$

Más adelante…

Esta entrada es la primera de la unidad 4 porque a partir de aquí vamos a abstraer aún más lo que se trabajó en el Teorema de Cayley. Aquí vimos que un grupo se puede ver como un subgrupo de permutaciones porque podemos multiplicar $g \in G$ con todos los elementos de $G$ . Pero a lo largo de este curso vimos varias operaciones que están definidas a partir del producto de $G$ , por ejemplo, si tenemos $a N \in G / N$ con $N$ normal en $G$ , es perfectamente válido operar $g a N$ . Siguiendo la lógica del Teorema de Cayley, ¿qué pasa si definimos una nueva función multiplicando las clases laterales por los elementos del grupo? ¿Será posible definir algún tipo de operación entre los elementos de un grupo y un conjunto ya no necesariamente de clases laterales? Éstas y más preguntas serán respondidas en las siguientes entradas.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Cuarto Teorema de Isomorfía.
Siguiente entrada del curso: Una modificación al Teorema de Cayley.
Resto de cursos: Cursos.

Álgebra Moderna I: Primer Teorema de Isomorfía y Diagrama de Retícula

Por Cecilia del Carmen Villatoro Ramos

2 respuestas

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

Introducción

La estrella de esta entrada es el primero de los cuatro Teoremas de Isomorfía que veremos. Como el nombre indica, estos teoremas relacionan dos conjuntos a través de una isomorfía, pero no sólo eso, además en los conjuntos que se relacionan aparece un cociente de grupos. El primer teorema de isomorfía nos permite entender cómo están relacionados el dominio, el núcleo y la imagen de un homomorfismo de grupos, de forma similar al teorema de la dimensión en Álgebra lineal, que establece la relación entre el dominio, el núcleo y la imagen de una transformación lineal.

El Primer Teorema de Isomorfía se usa en la prueba del resto de los teoremas de isomorfía, así que al final de esta unidad te quedará muy claro cómo se usa y para qué sirve. Normalmente se usa definiendo un homomorfismo clave para que al aplicarlo en el grupo obtengamos los cocientes necesarios.

Si quieres reforzar algunos temas que usaremos mucho a lo largo de estas entradas, puedes revisar los conceptos de Subgrupo Normal, Cociente de grupos, Isomorfísmos y Núcleo e Imagen de un Homomorfismo. Será de mucha ayuda que los tengas presentes.

Por último, junto con los Teoremas de Isomorfía usaremos una ayuda visual llamada Diagrama de Retícula, es importante para describir las relaciones entre los distintos grupos, subgrupos y subgrupos normales que estaremos manejando.

El Teorema que vamos a tratar

Teorema. (Primer Teorema de Isomorfía)
Sean $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo. Entonces
$\begin{array}{r} G / Núc φ ≅ Im φ . \end{array}$

Demostración.
Sea $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo, $N = Núc φ$ .

En la entrada anterior probamos que $N ⊴ G$ , de modo que $G / Núc φ$ tiene estructura de grupo.

Para probar que $G / Núc φ$ y $Im φ$ son isomorfos, tenemos que dar un isomorfismo entre ellos. Primero construiremos una función que vaya de $G / N$ a $Im φ$ . Sea
$\begin{aligned} ψ : G / N & \to Im φ \\ a N & \mapsto φ (a) \forall a \in G . \end{aligned}$

Definiremos nuestra función $ψ$ como aquella que manda una clase $a N$ de $G / N$ a $φ (a)$ , pero no queda claro si al tomar otro representante de la clase, digamos $b$ , sucederá que $φ (a) = φ (b)$ . Esto tenemos que probarlo.

Tomemos $a, b \in G$ tales que $a N = b N$ . Entonces,

$\begin{aligned} a N = b N & \Leftrightarrow a^{- 1} b \in N \\ \Leftrightarrow φ (a^{- 1} b) = e_{\bar{G}} \\ \Leftrightarrow φ (a^{- 1}) φ (b) = e_{\bar{G}} \\ \Leftrightarrow (φ (a))^{- 1} φ (b) = e_{\bar{G}} & Propiedades de homomorfismos \\ \Leftrightarrow φ (b) = φ (a) . \end{aligned}$
En realidad todas las equivalencias anteriores son producto de las propuedades de homomorfismos que ya vimos. Las implicaciones de ida ( $\Rightarrow$ ) nos dicen que $ψ$ está bien definida, como queríamos probar. Pero las implicaciones de regreso ( $\Leftarrow$ ) nos dicen algo más: nuestra $ψ$ es inyectiva.

Por lo tanto $ψ$ está bien definida y es inyectiva.

Ahora nos falta ver que en efecto $ψ$ es un homomorfismo y es suprayectiva.

Para ver que es un homomorfismo consideremos $a, b \in G$ , entonces:
$\begin{array}{r} ψ (a N b N) = ψ (a b N) = φ (a b) = φ (a) φ (b) = ψ (a N) ψ (b N) . \end{array}$
Lo anterior sale de la definición de $ψ$ y de que $φ$ es un homomorfismo. Así, $ψ$ es un homomorfismo.

Finalmente, si $c \in Im φ$ , $c = φ (a)$ con $a \in G$ . Entonces, por definición:
$\begin{array}{r} c = φ (a) = ψ (a N) \in Im ψ . \end{array}$

Así, $ψ$ es suprayectiva.

Por lo tanto tenemos que $ψ$ es un homomorfismo inyectivo y suprayectivo, es decir, $ψ$ es un isomorfismo. En consecuencia, $G / N ≅ Im φ$ .

Diagrama de retícula

A partir de las siguientes entradas comenzaremos a usar algo llamado diagrama de retícula. Este diagrama es una manera de representar la relación de ser subgrupo. Se escriben todos o algunos subgrupos de un grupo $G$ , y se unen dos subgrupos $H$ y $K$ con una arista si $H$ es subgrupo de $K$ , de modo que $H$ quede más abajo que $K$ . De esta manera, si se consideran todos los sugrupos de $G$ el grupo $G$ aparece hasta arriba y el subrgupo ${e}$ hasta abajo del diagrama.

Veamos un ejemplo: Sea $G$ un grupo y $H, K$ subgrupos de $G$ . Si consideramos $H K$ , sabemos que es subgrupo de $G$ , pero además, sabemos que $H \leq H K$ y $K \leq H K$ . Por último, consideremos $H \cap K$ , que es a su vez un subgrupo de $H$ y $K$ .

Todo esto se puede resumir en el siguiente diagrama de retícula:

¿Por qué no unimos $H$ con $G$ ? Pues porque este diagrama es transitivo, es decir como $H \leq H K \leq G$ , está implícito que $H \leq G$ . Tampoco unimos un grupo consigo mismo.

Además, si un subgrupo es un subgrupo normal, anotaremos el símbolo $⊴$ .

Observemos que si $H ⊴ G$ , entonces todo elemento en $H$ , al ser conjugado con elementos de $G$ , sigue siendo un elemento de $H$ . En particular, si conjugamos a un elemento de $H$ con un elemento de $H K$ seguimos obteniendo un elemento de $H$ . Esto nos dice que $H$ también es normal en $H K$ . En el diagrama, la propiedad de ser normal se escribe de la siguiente manera:

Diagrama de Retícula donde se muestra una relación de Subgrupo Normal.

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.

Sea $G$ un grupo cíclico con $G = ⟨ a ⟩$ . Considera el homomorfosmo $φ : Z \to G$ dado por $φ (m) = a^{m}$ para toda $m \in Z$ .
- Si $a$ es de orden finito con $o (a) = n$ ¿qué concluyes al aplicar el 1er Teorema de Isomorfía? ¿Qué relación existe entre dos grupos cíclicos finitos de orden $n$ ?
- Si $a$ es de orden infinito ¿qué concluyes al aplicar en 1er Teorema de Isomorfía? ¿Qué relación existe entre dos grupos cíclicos infinitos?
Puedes revisar los siguientes videos que hablan de homomorfismos:
- Homomorphism – Socratica
- Homomorphism – Mathemaniac

Más adelante…

Uno de los principales usos del Primer Teorema de Isomorfía es definiendo una $φ$ ideal para que el núcleo y la imágen de $φ$ sean justo lo que queremos probar. Esto lo veremos en la siguiente entrada, donde lo usamos para probar el Segundo Teorema de Isomorfía.

El diagrama de retícula se volverá fundamental sobretodo cuando veamos el Cuarto Teorema de Isomorfía, porque veremos cómo relacionar muchos subgrupos con grupos cocientes correspondientes.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Núcleo e Imagen de un homomorfismo.
Siguiente entrada del curso: Segundo Teorema de Isomorfía.
Resto de cursos: Cursos.

Introducción

Comencemos con subgrupos de Sylow

Ejemplos

Últimos preparativos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Luces, cámara, ¡acción!

Ejemplos.

Otra definición de Acción

Una relación de equivalencia

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Relacionemos a G con un grupo simétrico más pequeño

Ilustremos lo aprendido

Aplicación de la modificación

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

La función tau τ

El título de la entrada

Ejemplo:

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

El Teorema que vamos a tratar

Diagrama de retícula

Tarea moral

Más adelante…

Entradas relacionadas

Relacionemos a $G$ con un grupo simétrico más pequeño

La función tau $τ$