4 2019 Corretta

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
Definición 4.1. Sea (G, ∗) un grupo y H ≤ G un subgrupo de G.

Dados a, b ∈ G, definimos la relació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
Definición 4.3. Las clases de equivalencia con respecto a la rela-

ció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 denoterá 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 denoterá 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 partició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
Índice de un subgrupo
Corolario 4.7 Sea (G, ∗) un grupo finito y H ≤ G. Entonces

el número de clases laterales derechas de H es igual al número de
|G|
clases laterales izquierdas de H y este número coincide con |H| .
Dem. Sigue de la demostración del Teorema de Lagrange .
Definición 4.8. Sea (G, ∗) un grupo (finito) y H ≤ G .

El nú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|
Observación 4.9. [G : H] = |H| ∈ Z≥1 .
6 / 16
Teorema de Lagrange
Corolarios del Teorema de Lagrange
Corolario 4.10 (Pequeñ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 número entero positivo y a ∈ Z es coprimo con n,

entonces
aϕ(n) ≡ 1 (mod n),
donde ϕ es la función de Euler definida por
ϕ(n) := |{a : 1 ≤ a ≤ n, Mcd(a, n) = 1}| .
7 / 16
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
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 algú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
Definición 4.12. Un elemento (α β) ∈ Sn se llama transposición

(es decir, una permutación de largo 2) .
Proposición 4.13. Cada permutación de Sn se puede escribir como
composición de transposiciones .
Dem. Por ejemplo, (a b c d . . . z) = (a b)(b c d . . . z) = . . . .
Observación 4.14. Uno de los principales resultados para grupos
simétricos afirma que todas las descomposiciones en transposi-
ciones de una permutación dada tienen un número par de trans-
posiciones, o todas tienen un número impar de transposiciones
(no demostració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 Observación 4.14, tiene sentido la siguiente

Definición 4.15. Una permutación se dice de orden par
(impar) si se puede descomponer en un número par (impar) de
transposiciones .
Definición 4.16. El grupo alternante, también conocido como

grupo alternado o subgrupo alternado, denotado usualmente
con el sı́mbolo An , es el subgrupo (Ejercicio) del grupo
simétrico Sn que contiene las permutaciones de orden par .
Observació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 contradició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 simé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 funció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 (mó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

4 2019 Corretta

Cargado por

Copyright:

Formatos disponibles

4 2019 Corretta

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

4 2019 Corretta

Cargado por

Copyright:

Formatos disponibles

Teorema de Lagrange

Sitio web con el Magma Calculator:

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

De manera similar se define:

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

Definición 4.3. Las clases de equivalencia con respecto a la rela-

y se denoterá con Ha. La clase de equivalencia de a ∈ G con

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

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

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

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

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

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

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

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

Dem. Sigue de la demostración del Teorema de Lagrange .

Definición 4.8. Sea (G, ∗) un grupo (finito) y H ≤ G .

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

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

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

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

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

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

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

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

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

Definición 4.12. Un elemento (α β) ∈ Sn se llama transposición

Por la Observación 4.14, tiene sentido la siguiente

Definición 4.16. El grupo alternante, también conocido como

Observación 4.17. El reciproco del Teorema de Lagrange es falso

Contraejemplo 4.18. Consideramos el grupo alternante A4 , que

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

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

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

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

Ejemplo 4.19. Encontramos las clases laterales derechas del sub-

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

Ejemplo 4.20. Encontramos los primeros 10 valores de la función

Lo anterior nos dice, por ejemplo, que

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

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

También podría gustarte