Teorema de Lagrange

Clase n. 4

Sitio web con el Magma Calculator:

http://magma.maths.usyd.edu.au/calc

1 / 16
Teorema de Lagrange
Relaciones de equivalencias

Definición 4.1. Sea (G, ∗) un grupo y H ≤ G un subgrupo de G.

Dados a, b ∈ G, definimos la relación :

a ≡d b ⇐⇒ a ∗ b−1 ∈ H .

De manera similar se define:

a ≡i b ⇐⇒ a−1 ∗ b ∈ H .

Ejercicio 4.2. Demostrar que ≡d y ≡i son dos relaciones de equi-

valencia en G .

2 / 16
Teorema de Lagrange
Clases laterales de un subgrupo

Definición 4.3. Las clases de equivalencia con respecto a la rela-

ción ≡d ( ≡i ) se llaman clases laterales derechas (izquierdas)
de H en G .
La clase de equivalencia de a ∈ G con respecto a ≡d es :

{b ∈ G : b ∗ a−1 ∈ H} = {h ∗ a : h ∈ H}

y se denoterá con Ha. La clase de equivalencia de a ∈ G con

respecto a ≡i es :

{b ∈ G : b−1 ∗ a ∈ H} = {a ∗ h : h ∈ H}

y se denoterá con aH .

3 / 16
Teorema de Lagrange
Clases laterales de un subgrupo

Ejemplo 4.4. Sea H := {e, (12)} ≤ S3 .

Las clases laterales derechas de H son :
I He = H(12) = H
I H(13) = {e(13), (12)(13)} = {(13), (132)}
I H(23) = {e(23), (12)(23)} = {(23), (123)}
Las clases laterales izquierdas de H son :
I eH = H
I (13)H = {(13)e, (13)(12)} = {(13), (123)}
I (23)H = {(23)e, (23)(12)} = {(23), (132)}

Ejercicio 4.5. Sea (G, ∗) un grupo y H ≤ G. Mostrar que

|aH| = |Ha| = |H| ∀a ∈ G .

4 / 16
Teorema de Lagrange
Teorema de Lagrange

Teorema 4.6 (Teorema de Lagrange). Sea (G, ∗) un grupo finito

y H un subgrupo de G. Entonces el orden |H| de H divide el
orden |G| de G, es decir

|G|
∈ Z≥1 .
|H|

Dem. Sean Ha1 , . . . , Han las clases laterales derechas de H. Co-

mo estas clases dan una partición de G, se tiene que

|G| = |Ha1 | + · · · + |Han |.

Por el Ejercicio 4.5 se tiene que |Hai | = |H| para todo i =

1, . . . , n. Luego |G| = n|H| .

5 / 16
Teorema de Lagrange
Índice de un subgrupo

Corolario 4.7 Sea (G, ∗) un grupo finito y H ≤ G. Entonces

el número de clases laterales derechas de H es igual al número de
|G|
clases laterales izquierdas de H y este número coincide con |H| .

Dem. Sigue de la demostración del Teorema de Lagrange .

Definición 4.8. Sea (G, ∗) un grupo (finito) y H ≤ G .

El número de clases laterales derechas (izquierdas) de H en G se
llama el ı́ndice de H en G y se denota por [G : H] .
|G|
Observación 4.9. [G : H] = |H| ∈ Z≥1 .

6 / 16
Teorema de Lagrange
Corolarios del Teorema de Lagrange

Corolario 4.10 (Pequeño Teorema de Fermat). Si a ∈ Z>0 es

coprimo con un primo p, entonces ap−1 ≡ 1 (mod p) .

Corolario 4.11. Sea (G, ∗) un grupo finito .

1. Si a ∈ G, entonces |a| es un divisor de |G| .

2. Si |G| es primo, entonces G es un grupo cı́clico .

3. Si n es un número entero positivo y a ∈ Z es coprimo con n,

entonces
aϕ(n) ≡ 1 (mod n),
donde ϕ es la función de Euler definida por

ϕ(n) := |{a : 1 ≤ a ≤ n, Mcd(a, n) = 1}| .

7 / 16
Teorema de Lagrange
Corolarios del Teorema de Lagrange

Dem.
1. Sigue del Teorema de Lagrange porque |a| es el orden del
subgrupo hai .

2. Si a ∈ G, a 6= e, entonces hai ⊆ G y por 1. tenemos que

|a| > 1 es un divisor de |G|. Como |G| es un primo, entonces

| hai | = |a| = |G|,

es decir, hai = G .

8 / 16
Teorema de Lagrange
Corolarios del Teorema de Lagrange

3. Sea U := { [b]n ∈ Z/nZ : [b]n tiene inverso en Z/nZ } .

Ejercicio. Mostrar que
1) U := { [c]n ∈ Z/nZ : Mcd (c, n) = 1 } ;
2) U es un subgrupo de ((Z/nZ)∗ , ·) .
Como Mcd(a, n) = 1, por el Ejercicio se tiene que [a]n ∈ U ,
U ≤ (Z/nZ)∗ y |U | = ϕ(n). Luego, por 1. tenemos que el
orden k ∈ Z≥1 de [a]n ∈ U es un divisor de ϕ(n), es decir
ϕ(n) = hk para algún entero positivo h. Por lo tanto, se
concluye que

[aϕ(n) ]n = [a]ϕ(n)
n = ([a]kn )h = [1]hn = [1]n ,

es decir, aϕ(n) ≡ 1 (mod n) .

9 / 16
Teorema de Lagrange
El (sub)grupo alternante An

Definición 4.12. Un elemento (α β) ∈ Sn se llama transposición

(es decir, una permutación de largo 2) .
Proposición 4.13. Cada permutación de Sn se puede escribir como
composición de transposiciones .
Dem. Por ejemplo, (a b c d . . . z) = (a b)(b c d . . . z) = . . . .
Observación 4.14. Uno de los principales resultados para grupos
simétricos afirma que todas las descomposiciones en transposi-
ciones de una permutación dada tienen un número par de trans-
posiciones, o todas tienen un número impar de transposiciones
(no demostración, ver libro [1] de J.A. Gallian, Theorem 5.4) .
Por ejemplo, en S6 se tiene que
(1 2 3 4 5 6) = (1 2)(2 3)(3 4)(4 5)(5 6) = (1 6)(1 5)(1 4)(1 3)(1 2) .

10 / 16
Teorema de Lagrange
El (sub)grupo alternante An

Por la Observación 4.14, tiene sentido la siguiente

Definición 4.15. Una permutación se dice de orden par
(impar) si se puede descomponer en un número par (impar) de
transposiciones .

Definición 4.16. El grupo alternante, también conocido como

grupo alternado o subgrupo alternado, denotado usualmente
con el sı́mbolo An , es el subgrupo (Ejercicio) del grupo
simétrico Sn que contiene las permutaciones de orden par .

Observación 4.17. El reciproco del Teorema de Lagrange es falso

en general, como lo muestra el siguiente contraejemplo .

11 / 16
Teorema de Lagrange
El (sub)grupo alternante A4

Contraejemplo 4.18. Consideramos el grupo alternante A4 , que

es un subgrupo de S4 :

A4 = {e, (12)(34), (13)(24), (14)(23),

(123), (132), (124), (134), (142),
(143), (234), (243)} .

El grupo A4 tiene orden 12. Mostraremos que A4 no tiene

subgrupos de orden 6, a pesar que 6 divide a 12
(esto muestra que, en general, el reciproco del Teorema de
Lagrange no es verdadero) .

12 / 16
Teorema de Lagrange
El (sub)grupo alternante A4

Asumimos que H sea un subgrupo de A4 de orden 6 .

Sea a ∈ A4 de orden 3 (por ejemplo, a = (123)). Como H tiene
indice 2 en A4 , es decir [A4 : H] = 2, dos de las clases laterales
H, aH, a2 H tienen que coincidir. Observamos que

H = a2 H ⇒ aH = a3 H = H,
aH = a2 H ⇒ H = aH.

Entonces aH = H, o sea a ∈ H. Luego, todos los a ∈ A4 de

orden 3 pertenecen a H, pero esto es una contradición porque A4
contiene 8 elementos de orden tres y |H| = 6. Entonces A4 no
puede contener subgrupos de orden 6 .

13 / 16
Teorema de Lagrange
Ejemplos con Magma

Ejemplo 4.19. Encontramos las clases laterales derechas del sub-

grupo H = h(1234)i del grupo simétrico S4 .

Lo anterior significa que hay 6 clases: H, H(12), . . . , H(14)(23).

El comando Transversal restituye representantes para los
laterales derechos del subgrupo .
14 / 16
Teorema de Lagrange
Ejemplos con Magma

Ejemplo 4.20. Encontramos los primeros 10 valores de la función

ϕ de Euler y vemos para cuales n ∈ N se cumple ϕ(n) = 2 .

Lo anterior nos dice, por ejemplo, que

ϕ(n) = 2 ⇐⇒ n ∈ {3, 4, 6} .

15 / 16
Teorema de Lagrange
Ejemplos con Magma

Ejemplo 4.21. Verificamos que si a ∈ Z>0 es coprimo con n,

entonces aϕ(n) ≡ 1 (mód n), pero el orden de a en (Z/nZ)∗ puede
ser un divisor propio de ϕ(n) .

Por ejemplo, lo anterior nos dice que a = 3 tiene orden 3 en

(Z/26Z)∗ , mientras ϕ(26) = 12. Claramente el orden es siempre
un divisor de 12, de acuerdo al Teorema de Lagrange .

16 / 16