Archivo de la etiqueta: Algebra moderna

Álgebra Moderna I: Teoremas y Proposiciones relacionadas con subgrupos normales y grupo Alternante.

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

En entradas anteriores definimos el índice de $H$ en $G$ con $H$ un subgrupo del grupo $G$ . Además, dimos la definición de subgrupo normal, y demostramos equivalencias usando clases laterales izquierdas y derechas.

Cuando sólo hay dos clases laterales en $G$ , es muy fácil concluir esa equivalencia, es decir, es fácil verificar que toda clase lateral derecha es una clase lateral izquierda y viceversa. Digamos, si $[G : H] = 2$ y tomamos $a, b \in G$ . Por un lado tenemos que se crea una partición $P_{1} = {H, a H}$ de $G$ y por otro lado tenemos $P_{2} = {H, H b}$ . Como ambas particiones tienen $H$ , entonces necesariamente $a H = H b$ . Así, concluimos que $H ⊴ G$ .

Lo anterior lo demostraremos de manera formal en esta entrada.

Representación gráfica de qué sucede cuando $[G : H] = 2$ .

Proposición sobre subgrupos

Proposición. Sean $G$ un grupo y $H$ un subgrupo de $G$ .

Si $[G : H] = 2$ , entonces $g^{2} \in H$ para toda $g \in G$ .
Si $[G : H] = 2$ , entonces $H$ es normal en $G$ .

Demostración.
Sea $G$ un grupo, $H \leq G$ con $[G : H] = 2$ .

$1.$ P.D. $g^{2} \in H$ para toda $g \in G$ .

Sea $g \in G$ . Como $[G : H] = 2$ hay dos clases laterales izquierdas, $H$ y $a H$ para alguna $a \in G ∖ H$ , y $G = H \dot{\cup} a H$ , donde $\dot{\cup}$ en este caso es una unión disjunta.

Como $g \in G$ , entonces $g \in H$ ó $g \in a H$ .

Si $g \in H$ , al ser $H$ un subgrupo, $g^{2} \in H$ .
Si $g \in a H$ , $g = a h$ para alguna $h \in H$ .
Por lo tanto $g^{2} = a h a h$ .

Pero también, $g^{2} \in G = H \dot{\cup} a H$ . Por un lado, si $g^{2} \in a H$ , $g^{2} = a \tilde{h}$ con $\tilde{h} \in H$ .
$\begin{aligned} \Rightarrow a \tilde{h} = g^{2} = a h a h \\ \Rightarrow \tilde{h} = h a h & Cancelamos la a que se repite \\ \Rightarrow a = h^{- 1} \tilde{h} h^{- 1} & Despejando a . \end{aligned}$

Pero cada uno de $h, \tilde{h}, h^{- 1} \in H$ . Por lo que $a \in H$ y esto sería una contradicción.
Por lo tanto $g^{2} \in H$ .

$2.$ Como $[G : H] = 2$ hay dos clases laterales izquierdas $H$ y $a H$ con $a \in G ∖ H$ . Hay también dos clases laterales derechas $H$ y $H b$ con $b \in G ∖ H$ y además
$H \dot{\cup} a H = G = H \dot{\cup} H b .$

Si $g \in a H$ , entonces $g \notin H$ , así $g \in G = H \dot{\cup} H b$ pero $g \notin H$ , y entonces $g \in H b$ . Por lo que $a H \subseteq H b$ .

Si $g \in H b$ , entonces $g \notin H$ , así $g \in G = H \dot{\cup} a H$ pero $g \notin H$ , y entonces $g \in a H$ . Por lo que $H b \subseteq a H$ .

Así, $a H = H b$ y toda clase lateral izquierda es una clase lateral derecha.
Por lo tanto, podemos concluir que $H ⊴ G$ .

Ejemplos.

Enunciamos dos ejemplos sencillos:

Ejemplo 1. Como $[S_{n} : A_{n}] = 2$ , entonces $A_{n} ⊴ S_{n}$ .

Ejemplo 2. En $D_{2 n} = ⟨ a, b ⟩$ con $a$ la rotación $\frac{2 π}{n}$ y $b$ la reflexión con respecto al eje $x$ .
Sea $H = ⟨ a ⟩$ .
$\begin{array}{r} [D_{2 n} : H] = \frac{| D_{2 n} |}{| H |} = \frac{2 n}{n} = 2. \end{array}$
Por lo tanto $H ⊴ D_{2 n}$ .

Más teoremas de subgrupos

Veamos que el hecho de que un número divida al orden de un grupo, no implica que haya un subgrupo de ese tamaño. Esto se puede ilustrar con un ejemplo.

Teorema. Sea $A_{4}$ el subgrupo alternante de $S_{4}$ .
$A_{4}$ no tiene subgrupos de orden $6$ .

Demostración.
Consideremos el subgrupo $A_{4}$ de $S_{4}$ .

Sabemos que
$| A_{4} | = \frac{| S_{4} |}{2} = \frac{4!}{2} = \frac{24}{2} = 12.$

Así, $6 | | A_{4} |$ .

P.D. $A_{4}$ no tiene subgrupos de orden $6$ .

Supongamos que existe $H \leq A_{4}$ con $| H | = 6$ .

$\begin{aligned} \Rightarrow & [A_{4} : H] = \frac{A_{4}}{H} = \frac{12}{6} = 2 \\ \Rightarrow & H ⊴ A_{4} & Prop. anterior inciso 2. \end{aligned}$

Sea $β = (a b c) \in A_{4}$ un $3 -$ ciclo.
Por el inciso 1 de la proposición anterior $(β^{2})^{2} \in H$ . Luego, $β = β^{4} = (β^{2})^{2} \in H$ . Así, todo $3 - c i c l o$ está en $H$ .

Pero en $S_{4}$ hay exactamente ocho $3 -$ ciclos. Entonces $| H | \geq 8$ y esto es una contradicción pues supusimos que $| H | = 6$ .

Por lo tanto $A_{4}$ no tiene subgrupos de orden 6.

Ahora veamos qué sucede si multiplicamos dos subgrupos. Esta multiplicación es posible y tiene sentido, pero esto no siempre nos da un subgrupo, aquí damos algunos casos en donde esto sí pasa.

Teorema. Sea $G$ un grupo, $H, K$ subgrupos de $G$ .

Si $H ⊴ G$ ó $K ⊴ G$ , entonces $H K \leq G$ .
Si $H ⊴ G$ y $K ⊴ G$ , entonces $H K ⊴ G$ .

Demostración.

Sea $G$ un grupo, $H$ y $K$ subgrupos de $G$ .

$1.$ Supongamos que $H ⊴ G$ .

P.D. $H K \leq G$ .
Por un resultado de una entrada previa, basta ver que $H K = K H$ .

Si $h \in H$ , $k \in K$ , como $H ⊴ G$ , entonces $h k = k \tilde{h}$ con $\tilde{h} \in H$ por la conmutatividad parcial. Por lo tanto $H K \subseteq K H$ .

Además $k h = \bar{h} k$ con $\bar{h} \in H$ , de nuevo, por la conmutatividad parcial ya que $H ⊴ G$ . Por lo tanto $K H \subseteq H K$ .

Así, $H K = K H$ y $H K \leq G$ .

Para $K ⊴ G$ se demuestra que $H K = K H$ de forma análoga.

$2.$ Supongamos que $H ⊴ G$ , $K ⊴ G$ .
Sean $h \in H, k \in K$ y $a \in G$ . Veamos que $a (h k) a^{- 1} \in H K .$

Agregando un neutro,
$a (h k) a^{- 1} = a h (a^{- 1} a) k a^{- 1} = (a h a^{- 1}) (a k a^{- 1}) .$

Pero como $H ⊴ G$ sabemos que $a h a^{- 1} \in H$ , y como $K ⊴ G$ sabemos que $a k a^{- 1} \in K$ , entonces $a (h k) a^{- 1} = (a h a^{- 1}) (a k a^{- 1}) \in H K .$

Por lo tanto $H K ⊴ G$ .

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, $H$ un subgrupo de $G$ con $3 = [G : H]$ . ¿Es $H$ normal en $G$ ?
Prueba que en $S_{4}$ hay exactamente ocho $3$ -ciclos.
Demuestra que $A_{5}$ no tiene subgrupos de orden 20: Supón por contradicción que $H$ es un subgrupo de de orden 20.
1. Sea $α \in A_{5}$ un $5$ -ciclo. Prueba que si $α \notin H$ entonces $H, α H$ y $α^{2} H$ son las 3 clases laterales izquierdas de $H$ en $A_{5}$ .
2. Prueba que $α^{3}$ no está en ninguna de esas tres clases laterales.
3. Concluye que $α \in H$ para todo $α$ 5-ciclo, y así $H$ tendría más de 20 elementos.
Sea $G$ un grupo, $H$ y $K$ subgrupos de $G$ . Prueba o da un contraejemplo:
1. Si $H K$ es un subgrupo de $G$ , entonces $H$ es normal en $G$ o $K$ es normal en $G$ .
2. Si $H K$ es un subgrupo normal de $G$ , entonces $H$ es normal en $G$ y $K$ es normal en $G$ .

Más adelante…

Esta entrada es la última antes de comenzar un pequeño tema nuevo: el grupo cociente. Seguiremos viendo cómo se pueden generar particiones de los grupos y definiremos una operación entre los elementos de esta partición.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Subgrupo Conjugado, Subgrupo Normal, Conmutatividad Parcial.
Siguiente entrada del curso: Grupo Cociente.
Resto de cursos: Cursos.

Álgebra Moderna I: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Hace algunas entradas, comenzamos dando una motivación usando a los enteros. En ésta, nos encontramos de nuevo con la necesidad de retomarlos para darle introducción al tema principal de la entrada. Sabemos que $(Z, +)$ es un grupo, de ahí podemos considerar el subgrupo $n Z$ formado por los múltiplos de $n$ , y trabajar con las clases módulo $n$ . Supongamos que tenemos $a, b \in Z$ y las clases de equivalencia de $a$ y $b$ módulo $n$ . Éstas se definen de la siguiente manera:
$\begin{array}{r} \bar{a} = a + n Z, \bar{b} = b + n Z . \end{array}$

Si queremos sumar dos clases de equivalencia, usamos la suma usual en $Z$ . Digamos
$\begin{array}{r} \bar{a} + \bar{b} = \overset{―}{a + b} . \end{array}$

Aunque lo escribamos así, en realidad lo que estamos haciendo, es definir la suma $+_{n}$ en $Z_{n}$ usando $+_{Z}$ que es la suma del grupo $(Z, +)$ . Entonces lo anterior quedaría:
$\begin{array}{r} \bar{a} +_{n} \bar{b} = \overset{―}{a +_{Z} b} . \end{array}$

Resulta que $+_{n}$ es una operación bien definida y $(Z_{n}, +_{n})$ es un grupo.

Otra manera de escribirlo sería:
$\begin{array}{r} (a + Z) +_{n} (b + Z) = (a +_{Z} b) + Z . \end{array}$
Donde, en este caso estamos usando la notación aditiva.

Entonces, ahora nos preguntamos, ¿cómo podemos generalizar esta propiedad?

Tomemos $G$ un grupo y $H$ un subgrupo y consideremos dos clases laterales izquierdas de $H$ , digamos $a H$ y $b H$ , lo que queremos es definir, en caso de ser posible, un producto entre clases del siguiente modo:
$\begin{array}{r} a H \cdot_{H} b H = a b H . \end{array}$

donde $\cdot_{H}$ es el nuevo producto entre clases y $a b$ se hace con el producto en $G$ .

Sin embargo, debemos verificar que este producto $\cdot_{H}$ esté bien definido. Para ello tenemos que ver que no depende de los representantes elegidos. Tomemos entonces otros representantes de las clases, para simplificarlo, cambiemos sólo el representante de una de las dos clases, digamos $\tilde{a} \in G$ tal que $\tilde{a} H = a H$ .

Entonces, quisiéramos que $a b H = \tilde{a} b H$ , pero esto sucedería sólo de la siguiente manera,
$\begin{aligned} a b H = \tilde{a} b H \Leftrightarrow & (a b)^{- 1} \tilde{a} b \in H \\ \Leftrightarrow & b^{- 1} a^{- 1} \tilde{a} b \in H . \end{aligned}$

Entonces, ¿cómo sabemos que $b^{- 1} a^{- 1} \tilde{a} b \in H$ ? Lo que sí sabemos es que $a^{- 1} \tilde{a} \in H$ , pues $\tilde{a} H = a H$ . Entonces, bastaría pedir que si $h \in H$ , al multiplicar a $h$ a un lado por un elemento de $G$ , y al otro por su inverso, sigamos obteniendo elementos en $H$ .

En esta entrada usaremos la idea anterior para definir un producto entre dos clases izquierdas usando el producto en $G$ .

Subgrupos normales

Primero necesitamos definir formalmente qué es un conjugado.

Definición. Sea $G$ un grupo, $b, c \in G$ . Decimos que $b$ es conjugado de $c$ si $b = a c a^{- 1}$ para alguna $a \in G$ .

Dado $a \in G$ y $H$ un subgrupo de $G$ ,el conjugado de $H$ por el elemento $a$ es
$a H a^{- 1} = {a h a^{- 1} | h \in H} .$

Observación. $a H a^{- 1}$ es un subgrupo de $G$ , para toda $a \in G$ .

La demostración de esta observación queda de tarea moral.

Definición. Sea $G$ un grupo, $N$ subgrupo de $G$ . Decimos que $N$ es normal en $G$ si $a n a^{- 1} \in N$ para todas $a \in G$ , $n \in N$ .

Notación. $N ⊴ G$ .

Ahora, veamos una proposición. Recordemos que en una entrada pasada vimos que las clases laterales izquierdas no siempre coinciden con las clases laterales derechas y dimos algunos ejemplos. La siguiente proposición nos dirá que con subgrupos normales, la igualdad de clases derechas e izquierdas siempre se da.

Proposición. Sea $G$ un grupo, $N$ subgrupo de $G$ . Las siguientes condiciones son equivalentes:

$N ⊴ G$ .
$a N a^{- 1} = N$ para todo $a \in G$ .
Toda clase laterial izquierda de $N$ en $G$ es una clase lateral derecha de $N$ en G.

Demostración. Sea $G$ un grupo, $N \leq G$ .

$| 1) \Rightarrow 2)]$ Supongamos que $N ⊴ G$ . Sea $a \in G$ .

P.D. $a N a^{- 1} = N$ .
Probaremos esto por doble contención.

$\subseteq]$ Como $N ⊴ G$ , $a n a^{- 1} \in N$ para toda $n \in N$ . Entonces el conjunto $a N a^{- 1} = {a n a^{- 1} | n \in N}$ está contenido en $N$ .

$\supseteq]$ Sea $n \in N$ , como $N ⊴ G$ , $a^{- 1} n a = a^{- 1} n (a^{- 1})^{- 1} \in N$ . Entonces $n = a (a^{- 1} n a) a^{- 1} \in a N a^{- 1}$ .

Por lo tanto $a N a^{- 1} = N$ .

$| 2) \Rightarrow 3)]$ Supongamos que para todo $a \in G$ , entonces $a N a^{- 1} = N$ . Sea $a \in G$ .

P.D. $a N = N a$ .
De nuevo, probaremos esto por doble contención.

$\subseteq]$ Tomemos $a n \in a N$ con $n \in N$ , como $a n a^{- 1} \in a N a^{- 1}$ , y $a N a^{- 1} = N$ por hipótesis, entonces $a n = (a n a^{- 1}) a \in N a$ .

$\supseteq]$ Tomemos $n a \in N a$ con $n \in N$ , como $a^{- 1} n a \in a^{- 1} N a$ , y $a^{- 1} N a = N$ por hipótesis, entonces $n a = a (a^{- 1} n a) \in a N$ .

Por lo tanto $a N = N a$ .

$| 3) \Rightarrow 1)]$ Supongamos que para todo $a \in G$ , existe $b \in G$ tal que $a N = N b$ . Sean $a \in G$ y $n \in N$ .

P.D. $a n a^{- 1} \in N$ .

Por hipótesis $a N = N b$ para alguna $b \in G$ . Pero $a \in a N = N b$ , entonces $a \in N b$ , por lo que $a$ es otro representante de la clase lateral $N b$ , y en consecuencia $N a = N b$ . Tenemos entonces que $a N = N b = N a$

Así, $a n \in a N = N a$ y entonces $a n = \tilde{n} a$ para alguna $\tilde{n} \in N$ . Entonces

$\begin{array}{r} a n a^{- 1} = (a n) a^{- 1} = (\tilde{n} a) a^{- 1} = \tilde{n} \in N . \end{array}$
Por lo tanto $N ⊴ G$ .

Así 1), 2) y 3) son equivalentes.

Observación. (Conmutatividad parcial)
Si $N ⊴ G$ , dados $n \in N$ y $a \in G$ , tenemos que $a n = \tilde{n} a$ para alguna $\tilde{n} \in N$ , también $n a = a \hat{n}$ para alguna $\hat{n} \in N$ .

Ejemplos

$A_{n} ⊴ S_{n}$ ya que si $β \in A_{n}$ y $α \in S_{n}$ .
$\begin{aligned} s g n (α β α^{- 1}) & = s g n α s g n β s g n α^{- 1} \\ = s g n α (+ 1) s g n α \\ = + 1 \end{aligned}$
Por lo tanto $α β α^{- 1} \in A_{n}$ .
Consideremos
$\begin{aligned} Q & = {\pm 1, \pm i, \pm j, \pm k} \\ H & = {\pm 1, \pm i} \end{aligned}$
Las clases laterales izquierdas de $H$ en $Q$ son: $H$ y $j H$ .
Las clases laterales derechas de $H$ en $Q$ son: $H$ y $H j$ .
Además $j H = {\pm j, \pm k} = H j$ . Por lo tanto $H ⊴ Q$ .
Consideremos $D_{2 (4)}$ las simetrías del cuadrado. Sea $a$ la rotación $\frac{π}{2}$ , $b$ la reflexión con respecto al eje $x$ .
Sea $H = {e, b}$ .
Si tomamos la transformación $a b a^{- 1}$ podemos desarrollarla algebraicamente y geométricamente. Primero lo haremos de manera algebraica y interpretación geométrica la podrás encontrar en una imagen más abajo.
Así, como vimos cuando trabajamos con el grupo diédrico:
$a b a^{- 1} = a a b = a^{2} b \notin H$
con $a^{2} b$ la reflexión con respecto al eje $y$ .
Por lo tanto $H ⋬ D_{2 (4)}$ .

Representación gráfica de la transformación $a b a^{- 1}$ .

Tarea moral

Sean $W = ⟨ (1 2) (3 4) ⟩$ , $V = {(1), (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)} \leq S_{4}$ . Verifica si $W$ es normal en $V$ , si $V$ es normal en $S_{4}$ y si $W$ es normal en $S_{4}$ ¿qué puedes concluir con ello?
Sea $G$ un grupo, $H$ y $N$ subgrupos de $G$ con $N$ normal en $G$ , prueba o da un contraejemplo:
1. $N \cap H$ es normal en $H$ .
2. $N \cap H$ es normal en $G$ .
Demuestra o da un contraejemplo: Si $G$ es un grupo tal que cada subgrupo de él es normal, entonces $G$ es abeliano.
Sea $G$ un grupo finito con un único subgrupo $H$ de orden $| H |$ . ¿Podemos concluir que $H$ es normal en $G$ ?

Más adelante…

Como ya es costumbre, después de dar las definiciones y de practicarlas un poco con ejemplos, toca profundizar y hablar más sobre las proposiciones y teoremas que involucran a los subgrupos normales. En la siguiente entrada veremos esto.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Caracterización de grupos cíclicos.
Siguiente entrada del curso: Teoremas y Proposiciones relacionadas con subgrupos Normal y Alternante.
Resto de cursos: Cursos.

Álgebra Moderna I: Caracterización de grupos cíclicos

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Gracias al teorema de Lagrange sabemos que el orden de todo subgrupo divide al del grupo que lo contiene, pero no sabemos si para cada divisor del orden del grupo, existe un subgrupo de ese tamaño. El siguiente teorema nos da una respuesta positiva en el caso de los grupos cíclicos finitos.

En los grupos cíclicos, para cada divisor del orden del grupo existe un único subgrupo que tiene por orden dicho divisor. Eso es lo primero que veremos en esta entrada. Después, demostraremos un resultado de la teoría de los números, usando la teoría de los grupos para llegar a una caracterización de los grupos cíclicos. Esta caracterización y sus consecuencias en los campos finitos se basan en el material de los textos de Rotman y aparecen también en el libro de Avella, Mendoza, Sáenz y Souto, mencionados en la bibliografía.

Todo divisor tiene un subgrupo de ese orden

Teorema. Sea $G$ un grupo finito cíclico de orden $n$ . Para cada $d \in Z^{+}$ divisor de $n$ existe un único subgrupo de $G$ de orden $d$ .

Demostración.
Sea $G$ un grupo finito cíclico de orden $n$ y sea $a \in G$ tal que $G = ⟨ a ⟩$ .

Sea $d \in Z^{+}$ con $d | n$ .

Veamos que existe un subgrupo de $G$ de orden $d$ .

P.D. Existe un subgrupo de $G$ de orden $d$ .
Como $d | n$ , entonces $n = d k$ con $k \in Z$ .

Queda como ejercicio para la tarea moral verificar que
$\begin{array}{r} o (a^{k}) = \frac{n}{(n; k)} = \frac{n}{k} = d . \end{array}$

Así, $| ⟨ a^{k} ⟩ | = o (a^{k}) = d$ .

Veamos ahora que este subgrupo es único.

P.D. Que no hay otro subgrupo de orden $d$ .
Sea $H \leq G$ con $| H | = d$ . Como $G$ es cíclico, $H$ también es cíclico y, por ende, $H = ⟨ a^{m} ⟩$ para alguna $m \in Z$ , entonces

$\begin{aligned} e = (a^{m})^{| H |} = (a^{m})^{d} = a^{m d} . \end{aligned}$
Como $a^{m d} = e$ , podríamos pensar que $o (a) = m d$ , sin embargo eso no es siempre cierto, lo que sí es cierto es que $n | m d$ . Entonces, existe $q \in Z$ tal que
$\begin{aligned} m d = n q \\ \Rightarrow & m d = d k q & Sustituyendo n = d k \\ \Rightarrow & m = k q . \end{aligned}$

Así $a^{m} = a^{k q} = (a^{k})^{q} \in ⟨ a^{k} ⟩$ , entonces $H = ⟨ a^{m} ⟩ \leq ⟨ a^{k} ⟩$ . Pero $| ⟨ a^{m} ⟩ | = | ⟨ a^{k} ⟩ | = d$ , por lo tanto $⟨ a^{m} ⟩ = ⟨ a^{k} ⟩$ .

Demostrando resultados de teoría de números usando teoría de grupos

Para llegar a una caracterización de los grupos cíclicos, primero vamos a introducir alguna notación.

Notación. Sea $C$ grupo cíclico, al conjunto de generadores del grupo cíclico $C$ lo denotaremos por
$gen C = {a \in C | ⟨ a ⟩ = C} .$

Recordatorio. Dado $d \in Z^{+}$

$φ (d) = # {m \in {1, 2, \dots, d} | (m; d) = 1} .$
Es decir, $φ (d)$ es la cantidad de primos relativos con $d$ . A la función $φ$ se le conoce como la función phi de Euler.

Ahora, veamos un resultado que se refiere más a asuntos de la teoría de los números, y se puede encontrar en el libro de Rotman An introduction to the theory of groups, Teorema 2.16, mencionado en la bibliografía:

Teorema. Sea $n \in Z^{+}$ . Entonces $n = \sum_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} φ (d)$ .

Demostración.
Sea $G$ un grupo cíclico de orden $n$ .

Por el teorema anterior, para cada $d | n$ con $1 \leq d \leq n$ existe un único subgrupo de $G$ de orden $d$ , digamos $C_{d}$ .

P.D. $G = ⋃_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} gen C_{d}$ .

Lo probaremos por doble contención.

$\subseteq]$ Sea $a \in G$ .

Sabemos que $⟨ a ⟩$ es un subgrupo de $G$ de orden $o (a)$ , con $o (a) ∣ n$ . Entonces $⟨ a ⟩ = C_{o (a)}$ y además $a \in gen C_{o (a)}$ por construcción. Así, $a \in ⋃_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} gen C_{d} .$

$\supseteq]$ Por construcción, se da que $gen C_{d} \subseteq G$ para cada $d | n$ , $1 \leq d \leq n$ .

Por lo tanto, $G = ⋃_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} gen C_{d}$ .

Ahora veamos que la unión es disjunta.

Sean $d, d^{'} \in {1, \dots, n}$ divisores de $n$ .

P.D. Si $gen C_{d} \cap gen C_{d^{'}} \neq \emptyset,$ entonces $d = d^{'} .$

Sea $a \in gen C_{d} \cap gen C_{d^{'}}$ .

Entonces
$\begin{aligned} C_{d} & = ⟨ a ⟩ = C_{d^{'}} \\ \Rightarrow d & = | C_{d} | = | C_{d^{'}} | = d^{'} \\ ∴ d = d^{'} . \end{aligned}$

Así, tenemos una unión disjunta, y en consecuencia

$\begin{aligned} | G | & = | ⋃_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} gen C_{d} | \\ = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} . \end{aligned}$

Luego, si $C_{d} = ⟨ a ⟩$ , queda como ejercicio para la tarea moral ver que $C_{d} = ⟨ a^{k} ⟩$ si y sólo si $(k; d) = 1$ . Por lo que tenemos tantos generadores como primos relativos haya con $d$ . Así,
$\begin{array}{r} | G | = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) . \end{array}$

Por último, como $| G | = n$ , se sigue que
$\begin{array}{r} \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) = n . \end{array}$

Ahora sí, la caracterización que todos esperábamos

Después de los resultados anteriores ya estamos listos para dar el siguiente teorema, (que aparece en el libro de Rotman An introduction to the theory of groups, Proposición 2.17, mencionado en la bibliografía) pero esta vez lo demostraremos usando la teoría de los grupos.

Teorema. Sea $G$ un grupo finito de orden $n$ . $G$ es cíclico si y sólo si para cada $d \in Z^{+}$ divisor de $n$ , $G$ tiene a lo más un subgrupo cíclico de orden $d$ .

A pesar de que el enunciado dice que $G$ tiene a lo más un subgrupo cíclico, al final resulta que existe un único. La redacción es adrede para que la demostración del regreso no sea trivial.

Demostración.
Sea $G$ un grupo finito de orden $n$ .

$| \Rightarrow]$ Supongamos que $G$ es cíclico, entonces, por un resultado previo, para cada $d \in Z^{+}$ divisor de $n$ , $G$ tiene exactamente un subgrupo cíclico de orden $d$ .

$[\Leftarrow |$ Supongamos que para toda $d \in Z^{+}$ divisor de $n$ , $G$ tiene a lo más un subgrupo cíclico de orden $d$ ; si éste existe lo denotaremos por $C_{d}$ , si no existe definimos $C_{d} = \emptyset$ y definimos también $gen C_{d} = \emptyset$ en ese caso.

Por un argumento análogo al de la demostración del teorema anterior, se tiene que $G$ es la siguiente unión disjunta:
$\begin{array}{r} G = ⋃_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} gen C_{d} . \end{array}$

Entonces, usando el teorema anterior,

$\begin{array}{r} n = | G | = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} \leq \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) = n \end{array}$

(donde el teorema anterior se usa en la última igualdad.)

Entonces,

$\begin{array}{r} \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} # gen C_{d} = \sum_{\begin{array}{c} d | n \\ 1 \leq d \leq n \end{array}} φ (d) . \end{array}$

Así, para toda $d | n$ , con $1 \leq d \leq n$ se tienen que $# gen C_{d} = φ (d)$ de donde $gen C_{d} \neq \emptyset$ .

Por lo tanto, para toda $d | n$ con $1 \leq d \leq n$ , $G$ tiene exactamente un subgrupo cíclico de orden $d$ . En particular $G$ tiene exactamente un subgrupo cíclico de orden $n$ que debe ser $G$ mismo.

$∴ G$ es cíclico.

Consecuencias

Veamos las siguientes consecuencias del resultado anterior (aparecen en el libro de Rotman A first course in abstract algebra mencionado en la bibliografía en el Teorema 2.18 y la observación previa):

Corolario 1. Sea $G$ un grupo finito de orden $n$ . Si para toda $d \in Z^{+}$ divisor de $n$ hay a lo más $d$ soluciones de $x^{d} = e$ en $G$ , entonces $G$ es cíclico.

Demostración.
Sea $G$ un grupo finito, $| G | = n$ , tal que $\forall d \in Z^{+}$ que $d | n$ , existen a lo más $d$ soluciones de $x^{d} = e$ en $G$ .

P.D. $G$ es cíclico.

Supongamos por contradicción que $G$ no es cíclico, entonces, por el teorema anterior tenemos que para alguna $d \in Z^{+}$ divisor de $n$ existe más de un subgrupo cíclico de orden $d$ , es decir, existen $C, C^{'}$ con $C \neq C^{'}$ subgrupos cíclicos de $G$ de orden $d$ .

Por un lado, si $a \in C$ , $e = a^{| C |} = a^{d}$ . Por otro lado, si $a \in C^{'}$ , $e = a^{| C^{'} |} = a^{d}$ . Entonces para toda $a \in C \cup C^{'}$ , $a$ es solución de $x^{d} = e$ .

Pero como $C \neq C^{'}$ , entonces $# C \cup C^{'} > | C | = d$ , entonces habría más de $d$ soluciones de $x^{d} = e$ en $G$ . Esto es una contradicción.

Así, para toda $d \in Z^{+}$ tal que $d \in N$ existe a lo más un subgrupo cíclico de orden $d$ .

Por el teorema anterior, $G$ es cíclico.

En realidad, nos interesa el corolario 1, para probar el corolario 2.

Corolario 2. Para todo campo finito $K$ , el grupo $K^{*} = K ∖ {0}$ con la multiplicación del campo, es cíclico.

Demostración.
Sea $d \in Z^{+}$ tal que $d | | K^{*} |$ .

Ahora, nos fijamos en el polinomio $f (x) = x^{d} - 1$ que tiene a lo más $d$ raíces en $K^{*}$ . Pero las raíces de $f (x)$ son precisamente las soluciones de la ecuación $x^{d} = 1$ , con $1$ es el neutro multiplicativo de $K$ .
Por lo tanto, por el corolario 1, $K^{*}$ es cíclico.

Tarea moral

1. Sea $G$ un grupo finito cíclico de orden $n$ y sea $a \in G$ . Sea $k \in Z^{+}$ .

Demuestra que $o (a^{k}) = \frac{n}{(n; k)} = \frac{n}{k} .$
Demuestra que $G = ⟨ a^{k} ⟩$ si y sólo si $(n; k) = 1.$

2. Dada $d \in Z^{+}$ definimos

$\begin{array}{r} ϕ (d) = # {m \in {1, 2, \dots, d} | (m; d) = 1} . \end{array}$

Donde $(m, d)$ es máximo común divisor de $m$ y $d$ .

Encuentra $\sum_{\begin{matrix} d | n \\ 1 \leq d \leq n \end{matrix}} ϕ (d)$ para $n \in {5, 8, 9, 12}$ .

3. Considera el conjunto
$\begin{array}{r} K = {(\begin{array}{c} a & b \\ b & a + b \end{array}) | a, b \in Z_{2}} \end{array}$
con las operaciones usuales. Prueba que $K$ es un campo con cuatro elementos y verifica que $K^{*}$ es cíclico.

Más adelante…

Con esta entrada concluimos por el momento los temas relacionados al orden de un grupo y de un subgrupo. En la próxima entrada comenzaremos una nueva tarea: encontrar una multiplicación apropiada entre dos clases laterales, para ello, regresaremos a estudiar un poco a los enteros.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teorema de Lagrange.
Siguiente entrada del curso: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial.
Resto de cursos: Cursos.

Álgebra Moderna I: Teorema de Lagrange

Por Cecilia del Carmen Villatoro Ramos

2 respuestas

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

Introducción

En la entrada anterior vimos que si tenemos un grupo $G$ y nos agarramos un subgrupo $H$ , obtenemos una partición $H, a_{1} H, a_{2} H, a_{3} H, \dots, a_{t} H$ donde
$\begin{array}{r} | H | = # a_{2} H = # a_{3} H = \dots = a_{t} H . \end{array}$

Recuerda que $| G |$ se refiere al orden de un grupo y $# a_{i} H$ es el orden de un conjunto que no es necesariamente un grupo. Esto quiere decir que el orden de $G$ es un $t$ veces del orden de $H$ , en decir $| G | = t | H | .$ Este resultado sencillo pero importante es conocido como el Teorema de Lagrange, aunque en esta entrada, lo definimos en términos del índice de $H$ en $G$ , $[G : H]$ .

Joseph-Louis Lagrange, conocido simplemente como Lagrange, nació en 1739 y falleció en 1813.

Ejemplo de la partición ${H, a_{1} H, \dots, a_{t} H}$ .

A pesar de que vivió antes de que la teoría de conjuntos se desarrollara en el siglo XIX, su trabajo fue muy importante para ella. Por eso este teorema tiene su nombre.

Ingredientes para la demostración

Lema. Sea $G$ un grupo, $H$ un subgrupo de $G$ , $a \in G$ . Entonces $# a H = | H | .$

Demostración. Sean $G$ un grupo, $H \leq G$ y $a \in G$ .

Consideremos $φ : H \to a H$ , tal que $h \mapsto a h$ .

Veamos que $φ$ es inyectiva ya que si tomamos $h, \bar{h} \in H$ son tales que $φ (h) = φ (\bar{h})$ entonces $a h = a φ$ y por cancelación, $h = (\bar{h})$ .

Además, $φ$ es suprayectiva ya que dado $a h \in a H$ con $h \in H$ tenemos
$a h = φ (h) \in Im φ .$

Donde $Im φ$ es la imagen de $φ$ .

Por lo tanto $| H | = # a H$ .

Señoras y señores, les presento a Lagrange

Ahora ya tenemos todos los ingredientes para demostrar el teorema de Lagrange.

Teorema. (Teorema de Lagrange) Sea $G$ un grupo finito, $H$ subgrupo de $G$ . Entonces $| H |$ divide al orden de $G$ y
$[G : H] = \frac{| G |}{| H |} .$

Demostración. Sea $G$ un grupo finito, $H \leq G$ . Como $G$ es finito debe haber una cantidad finita de clases laterales izquierdas de $G$ en $G$ , notemos que cada una es no vacía con al menos un elemento.

Sean $a_{1}, \dots, a_{t} \in G$ representantes de las distintas clases laterales izquierdas de $H$ en $G$ , con $t = [G : H]$ . Sabemos que $G = ⋃_{i = 1}^{t} a_{i} H$ . Como $a_{i} H \cap a_{j} H = \emptyset$ para $i \neq j$ , con $i, j \in {1, \dots, t}$ , entonces la unión, es una unión disjunta. Así podemos hacer,

$\begin{aligned} | G | = | ⋃_{i = 1}^{t} a_{i} H | & = \sum_{i = 1}^{t} # a_{i} H \\ = \sum_{i = 1}^{t} | H | & Lema anterior \\ = t | H | = [G : H] | H | \end{aligned}$

Así $| G | = [G : H] | H |$ , enconces $| H | | | G |$ y $[G : H] = \frac{| G |}{| H |}$ .

Consecuencias del teorema

Corolario 1. Sea $G$ un grupo finito, $a \in G$ . Entonces $o (a) | | G |$ . Así $a^{| G |} = e$ .

Demostración. Sea $G$ un grupo finito, $a \in G$ . Consideremos $⟨ a ⟩ \leq G$ . Por el teorema de Lagrange:

$o (a) = | ⟨ a ⟩ | | | G | \Rightarrow o (a) | | G | .$

Así $| G | = o (a) q$ , para algún $q \in Z$ ,
$a^{| G |} = a^{o (a) q} = {(a^{o (a)})}^{q} = e^{q} = e .$

Corolario 2. Todo grupo finito de orden primo es cíclico.

Demostración. Sea $G$ un grupo finito, $| G | = p$ con $p$ primo.

Como $| G | > 1$ sea $a \in G ∖ {e}$ . Por el corolario 1,
$1 < o (a) | | G | = p .$

Entonces $o (a) = p$ . Así $⟨ a ⟩ = G$ y $G$ es cíclico.

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 finito, $H$ y $K$ subgrupos de $G$ con $K \subseteq H$ . En cada inciso (son los ejercicios 2 y 3 de la entrada anterior) justifica usando el teorema de Lagrange ¿cómo es $[G : K]$ en términos de $[G : H]$ y $[H_{K}]$ ?
1. $G = Q$ los cuaternios, $H = ⟨ i ⟩$ y $K = {\pm 1}$ .
2. $G = S_{4}$ , $H = A_{4}$ y $K = ⟨ (1 2 3) ⟩$ .
Encuentra todos los subgrupos del grupo de los cuaternios y de $Z_{8}$ ¿de qué orden son? ¿cuántos hay del mismo orden?
Revisa el video de la Sorbona: Lagrange-Universidad de la Sorbona. Se puede poner poner subtítulos en español.

Más adelante…

El teorema de Lagrange es uno de los resultados más importantes del curso. Se usará multiples veces. Por lo pronto, en la siguiente entrada, revisitaremos los grupos cíclicos y usaremos el teorema de Lagrange para probar una caracterización de esos grupos.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$ .
Siguiente entrada del curso: Caracterización de grupos cíclicos.
Resto de cursos: Cursos.

Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Como pudiste darte cuenta por el título, en esta entrada definiremos una relación de equivalencia en un grupo. Permítenos dar una motivación usando un grupo que tal vez ya hayas estudiado en cursos anteriores como el de Álgebra Superior II.

Dicho grupo tan importante, es el de los enteros con la suma $(Z, +)$ . Para $a, b \in Z$ es posible establecer una relación $\sim$ dentro de los enteros como sigue
$\begin{array}{r} a \sim b \Leftrightarrow b - a es múltiplo de n . \end{array}$
Esta relación de equivalencia induce una partición de $Z$ , con exáctamente $n$ conjuntos. Donde cada conjunto es una de las clases módulo $n$ . En esta entrada queremos introducir una relación parecida, pero generalizada a cualquier grupo.

Comencemos modificando este ejemplo un poco. Primero, llamemos $H$ al conjunto de todos los enteros múltiplos de $n$ . Así nuestra relación quedaría, para $a, b \in Z$ ,
$\begin{array}{r} a \sim b \Leftrightarrow b - a \in H . \end{array}$

Luego, notemos que a pesar de que la operación que usamos para definir el grupo es la suma usual, nuestra relación está definida usando la resta. En realidad, lo que está pasando es que estamos sumando $b$ con el inverso aditivo de $a$ , es decir $- a$ . Entonces $b - a = b + (- a)$ . Además, $(Z, +)$ es un grupo abeliano, por lo que $b + (- a) \in H \Leftrightarrow (- a) + b \in H$ . Para nuestra generalización usaremos el segundo caso.

Así, tenemos que comenzar agarrando un subgrupo cualquiera de $G$ , es decir, nos tomamos $H \leq G .$ Entonces nuestra relación debe quedar, dados $a, b \in G$ ,
$\begin{array}{r} a \sim b \Leftrightarrow a^{- 1} b \in H . \end{array}$

Ya al tener esa relación y demostrar que es una relación de equivalencia, usaremos las propiedades de grupo para descubrir que las clases de equivalencia son las clases laterales vistas en la entrada anterior.

Relación Generalizada

Lo anterior queda formalizado en la siguiente definición.

Definición. Sea $G$ un grupo y $H$ un subgrupo de $G$ . Definimos una relación en $G$ del siguiente modo: dados $a, b \in G$ ,

$\begin{array}{r} a \sim b \Leftrightarrow a^{- 1} b \in H . \end{array}$

Ahora, demostraremos que esa relación, así como la de la introducción, es una relación de equivalencia.

Observación. La definición anterior es una relación de equivalencia.

Demostración.
Sean $G$ un grupo y $H \leq G$ .

Primero, tomamos $a \in G$ .
También podemos tomar $a^{- 1}$ . Así $a^{- 1} a = e \in H$ . Por lo tanto $a \sim a$ y nuestra relación es reflexiva.

Ahora tomamos $a, b \in G$ . Si $a \sim b$ , entonces $a^{- 1} b \in H$ .

$\begin{array}{r} \Rightarrow b^{- 1} a = (a^{- 1} b)^{- 1} \in H \Rightarrow b \sim a \end{array}$

Por lo que nuestra relación es simétrica.

Sean $a, b, c \in G$ . Si $a \sim b$ y $b \sim c$ , entonces $a^{- 1} b \in H$ y $b^{- 1} c \in H$ , entonces usando la cerradura de $H$ y asociando de otra manera, obtenemos

$\begin{array}{r} a^{- 1} c = (a^{- 1} b) (b^{- 1} c) \in H \Rightarrow a \sim c . \end{array}$

Así, nuestra relación es transitiva.

Por lo tanto, nuestra relación es una relación de equivalencia.

Nótese que para probar las tres propiedades de una relación de equivalencia (reflexividad, simetría y transitividad) usamos las tres condiciones de un subgrupo (la existencia del neutro, la cerradura de los inversos y la cerradura del producto).

A continuación, veamos cómo son las clases de equivalencia:
Sea $a \in H$ .

$\begin{aligned} \bar{a} & = {b \in G | a \sim b} = {b \in G | a^{- 1} b \in H} \\ = {b \in G | a^{- 1} b = h, h \in H} = {b \in G | b = a h, h \in H} \\ = {a h | h \in H} = a H . \end{aligned}$

Ahora veremos algunas observaciones de lo anterior.

Observación. Sean $G$ un grupo, $H \leq G$ y $a, b \in G$ , entonces
$\begin{aligned} a H = b H & \Leftrightarrow a^{- 1} b \in H . \end{aligned}$

En particular,
$\begin{aligned} H = b H & \Leftrightarrow b \in H \end{aligned}$

Nota. Análogamente se puede trabajar con clases laterales derechas, i.e. ( $H a = H b \Leftrightarrow b a^{- 1} \in H$ ).

Como $\sim$ es una relación de equivalencia, esta induce una partición y, como sus clases de equivalencia son las clases laterales, tenemos el siguiente teorema.

Teorema. Sea $G$ un grupo, $H$ subgrupo de $G$ .

$a H \neq \emptyset \forall a \in G$ .
Si $a, b \in G$ son tales que $a H \cap b H \neq \emptyset$ , entonces $a H = b H$ .
$⋃_{a \in G} a H = G$

Claramente el teorema anterior enuncia las características de una partición, por lo que no hay nada que probar.

Ejemplos

Ejemplo 1. Consideremos al grupo de los cuaternios $Q$ , tomemos el subgrupo $H = ⟨ i ⟩ = {\pm 1, \pm i}$ . Veamos qué sucede con sus clases laterales.
$\begin{aligned} j H & = {j (+ 1), j (- 1), j (+ i), j (- i)} \\ = {j, - j, - k k} \\ = H j . \end{aligned}$

La última igualdad la puedes comprobar tú, multiplicando los mismos elementos por $j$ , pero ahora del lado izquierdo.

Así, las clases laterales son:

Clases laterales izquierdas: $H, j H$ .
Clases laterales derechas: $H, H j$ .

Ejemplo 2. Tomemos $S_{3}$ y $H = {(1), (32)}$ .
Primero, veamos cómo se ven las clases laterales izquierdas.

Primero, tenemos la clase del neutro, es decir $(1) H = H$ . Luego, tenemos que tomarnos un elemento de $S_{3}$ que no esté en $H$ , digamos $(1 2 3)$ , entonces,
$\begin{aligned} (1 2 3) H & = {(1 2 3) (1), (1 2 3) (3 2)} \\ = {(1 2 3), (1 2)} . \end{aligned}$

Repetimos lo anterior, tomamos un elemento de $S_{3}$ que no esté $H$ y sea distinto al que ya nos tomamos para obtener una clase distinta. Esto nos da
$\begin{aligned} (1 3 2) H & = {(1 3 2) (1), (1 3 2) (3 2)} \\ = {(1 3 2) (1 3)} . \end{aligned}$

Por lo que las clases laterales izquierdas son:
$\begin{aligned} (1) H = H \\ (1 2 3) H = {(1 2 3), (1 2)} \\ (1 3 2) H = {(1 3 2) (1 3)} . \end{aligned}$

De la misma manera obtenemos las clases laterales derechas:
$\begin{aligned} H (1) = H \\ H (1 2 3) = {(1) (1 2 3), (3 2) (1 2 3)} = {(1 2 3), (1 3)} \\ H (1 3 2) = {(1) (1 3 2), (3 2) (1 3 2)} = {(1 3 2), (1 2)} . \end{aligned}$

Este ejemplo nos permite ver que las clases laterales izquierdas y las clases laterales derechas no siempre coinciden.

Partición de las clases laterales izquierdas del ejemplo 2.

Partición de las clases laterales derechas del ejemplo 2.

Número de elementos en las clases laterales

El último ejemplo nos dice que las clases laterales derechas e izquierdas no siempre coinciden, sin embargo probaremos que siempre hay la misma cantidad de ambas.

Teorema. Sea $G$ un grupo, $H$ un subgrupo de $G$ . Entonces

$\begin{array}{r} # {a H | a \in G} = # {H a | a \in G} . \end{array}$

Demostración.

Sea $ψ : {a H | a \in G} \to {H a | a \in G}$ , definida como $ψ (a H) = H a^{- 1} \forall a \in G$ . Probaremos que esta función es biyectiva.

Pequeño paréntensis:

Antes de comenzar con la demostración, pongamos atención a la definición de $ψ$ . En un inicio podríamos pensar ¿por qué no hacemos $ψ (a H) = H a$ ? La respuesta es simple, porque esto no funcionaría. Definamos una nueva función para ejemplificar, sea $ϕ : {a H | a \in G} \to {H a | a \in G}$ tal que $ϕ (a H) = H a$ .

Tomemos $b \in G$ tal que $a H = b H$ , para que $ϕ$ esté bien definida, necesitaríamos que $ϕ (a H) = ϕ (b H)$ , es decir $H a = H b$ . Por la relación que definimos, esto implica que si $a^{- 1} b \in H$ , entonces $b a^{- 1} \in H$ , pero esto no necesariamente es cierto porque el grupo puede no ser abeliano. Lo que sí sabemos es que si $a^{- 1} b \in H$ , entonces $H a^{- 1} b = H$ , y así $H a^{- 1} = H b^{- 1}$ .

Por esto es que escogimos a $ψ$ de esa manera.

Termina paréntesis. Ahora sí comencemos con la demostración.

Sean $a, b \in G$ ,

$\begin{aligned} a H = b H & \Leftrightarrow a^{- 1} b \in H \\ \Leftrightarrow H a^{- 1} b = H \\ \Leftrightarrow H a^{- 1} = H b^{- 1} \\ \Leftrightarrow ψ (a H) = ψ (b H) . \end{aligned}$
Por tanto, $ψ$ está bien definida y es inyectiva.

Además, dada $H a, a \in G$ .

$\begin{array}{r} H a = H (a^{- 1})^{- 1} = ψ (a^{- 1} H) \end{array}$

así $ψ$ es suprayectiva.

Por lo tanto $# {a H | a \in G} = # {H a | a \in G} .$

Ahora, ya sabemos que la cantidad de clases laterales izquierdas es la misma que la de clases laterales derechas. Entonces podemos nombrar esto como el índice.

Definición. Sea $G$ un grupo, $H$ un subgrupo de $G$ . El índice de $H$ en $G$ es

$\begin{array}{r} [G : H] = # {a H | a \in G} . \end{array}$

Ejemplos

Retomemos los ejemplos que ya hemos visto.

Tomemos a $Q$ como los cuaternios, $H = ⟨ i ⟩ = {\pm 1, \pm i}$
$[Q : H] = 2$ .
Ahora, tomemos $S_{3}$ , $H = {(1), (32)}$ . Como ya vimos,
$[S_{3} : H] = 3$ .
Consideremos el grupo $(Z, +)$ y $H = {6 m | m \in Z}$ .
Hay 6 clases laterales: $H, 1 + H, 2 + H, 3 + H, 4 + H, 5 + H$ . Que serían los múltiplos de $6$ , $6 + 1$ , $6 + 2$ , $\dots$ respectivamente.
Así, $[Z, H] = 6$ .

Tarea moral

Analizando los ejemplos que tienes hasta ahora observa si existe alguna relación entre el orden de un grupo $G$ , el orden del subgrupo $H$ y la cantidad de clases laterales de $H$ en $G$ .
Considera ${\pm 1} \leq ⟨ i ⟩ \leq Q$ . Describe las clases laterales izquierdas de ${\pm 1}$ en $⟨ i ⟩$ , las clases laterales izquierdas de $⟨ i ⟩$ en $Q$ , y las clases laterales izquierdas de ${\pm 1}$ en $Q$ . Encuentra $[Q : {\pm 1}]$ , $[Q : ⟨ i ⟩]$ y $[⟨ i ⟩ : {\pm 1}]$ .
Considera $⟨ (1 2 3) ⟩ \leq A_{4} \leq S_{4}$ . Describe las clases laterales izquierdas de $⟨ (1 2 3) ⟩$ en $A_{4}$ , las clases laterales izquierdas de $A_{4}$ en $S_{4}$ , y las clases laterales izquierdas de $⟨ (1 2 3) ⟩$ en $S_{4}$ . Encuentra $[S_{4} : ⟨ (1 2 3) ⟩]$ , $[S_{4} : A_{4}]$ y $[A_{4} : ⟨ (1 2 3) ⟩]$ .
Puedes checar el video de Mathologer.

Más adelante…

Ahora conoces el índice de $H$ en $G$ . Recúerdalo para la siguiente entrada, porque intentaremos describir el orden de $G$ en términos del orden de $H$ y del índice. Sin hacer trampa, ¿cómo crees que se puede relacionar el orden de $G$ y el índice?

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Producto de subconjuntos y Clases Laterales.
Siguiente entrada del curso: Teorema de Lagrange.
Resto de cursos: Cursos.