O Teorema de Lagrange

Apresentar o Teorema de Lagrange e suas conseqncias.

15
Meta da aula

objetivos

Ao final desta aula, voc dever ser capaz de: Identificar as condies do Teorema de Lagrange. Demonstr-lo. Apresentar suas conseqncias.

AULA

Pr-requisitos
Voc vai precisar dos conhecimentos sobre grupos das Aulas 11 a 13.

lgebra II | O Teorema de Lagrange

INTRODUO

Um problema muito estudado e bastante difcil na teoria dos grupos a determinao de todos os subgrupos, de um grupo G. Uma forma de encarar esse problema seria considerar todos os subconjuntos de G que contenham o elemento neutro e, ento, verificar se satisfazem as condies de subgrupo. No entanto, esta abordagem no nada prtica. Por exemplo, se um grupo G tiver 6 elementos, ento o nmero de subconjuntos contendo o elemento neutro ser 25 = 32. J se G tiver 10 elementos, ento o nmero de subconjuntos contendo o elemento neutro ser 29 = 516. Se G fosse um grupo infinito, ento teramos que levar em considerao uma infinidade de subconjuntos de G. No entanto, quando o grupo G for finito, teremos um importante resultado que permitir reduzir enormemente o nmero de subconjuntos de G que podem ser subgrupos. Trata-se do Teorema de Lagrange, que afirma que se H for um subgrupo do grupo finito G, ento a ordem de H dividir a ordem de G. No caso de o grupo G ter 6 elementos, ento basta considerar os subconjuntos contendo a unidade com 1, 2, 3 e 6 elementos, que so os divisores de 6. Como os subconjuntos de 1 e 6 elementos, nesse caso, so os subgrupos triviais, ento basta considerar os subconjuntos contendo a unidade com 2 e 3 elementos. Dentre esses estaro os demais candidatos a subgrupos do grupo G. Veja que, assim, reduzimos enormemente a busca inicial.

Lembre-se de que o nmero de subconjuntos contidos num conjunto com n elementos 2n. Por exemplo, o conjunto A = {a, b} possui 22 = 4 subconjuntos a saber {a}, {b}, {a, b} e , onde o conjunto vazio. Observe que no caso de G ser um grupo com 6 elementos, o nmero de subconjuntos contendo o elemento 26 1 = 25 = 32, pois o elemento neutro comum em todos os subconjuntos.

TEOREMA DE LAGRANGE
Sejam G um grupo finito e H um subgrupo de G. Ento, a ordem de H divide a ordem de G. Observaes 1. Em linguagem mais simblica, o Teorema de Lagrange afirma que, se G for um grupo finito e H < G, ento |H| | |G|. 2. Ateno, a recproca do Teorema de Lagrange falsa, ou seja, em geral no verdade que se um inteiro m dividir |G| ento G ter um subgrupo H de G com |H| = m.
200 CEDERJ

Sabemos que S3 = {I, , 2, , , 2}, com

1 2 3 1 2 3 = e = , 2 3 1 1 3 2
um grupo de ordem 6 e, portanto, seus subgrupos s podem ter ordem 1, 2, 3 e 6.

ATIVIDADE 1. Encontre subgrupos de S3 de ordem 2 e 3.

Para demonstrar o Teorema de Lagrange precisaremos de um novo conceito, o de classe lateral. Futuramente, as classes laterais tambm sero fundamentais para a construo dos grupos quocientes.

Definio 1 (Classe Lateral)

Sejam G um grupo e H um subgrupo de G. Dado a G, chamamos de uma classe lateral ( esquerda) ao conjunto aH = {a . h | h H}. Observao 1. Se G for um grupo aditivo, ento denotaremos a classe lateral aH por a + H = {a + h | h H}. 2. Se e for o elemento neutro do grupo G, ento eH = H. Mais ainda, a aH para todo a G.

CEDERJ

201

AULA

15

Exemplo 1

lgebra II | O Teorema de Lagrange

3. O conceito de classe lateral direita definido de modo anlogo; o subconjunto de G definido por Ha = {h . a | h H}, onde H um subgrupo de G e a G. No entanto, nesta ltima aula, no trabalharemos com as classes laterais direita. Sua prxima atividade desta aula ser justificar a observao 2, anterior.
ATIVIDADE 2. Seja e o elemento neutro do grupo G e seja H um subgrupo de G. Mostre que: a. eH = H; b. a

aH para todo a G.

Exemplo 2
Vamos calcular as classes laterais do subgrupo H = {I, } de S3 = {I, , 2 , , ,2}. Estaremos usando a tabela de multiplicao de S3, vista na Aula 18: x I I I

2
I
2

2 2
I

2
I

I
2

2 2 2
I

Assim, temos:
2 2

H = {I , } = {I , } = {, 2 }; 2 H = 2 {I , } = { 2 I , 2} = { 2 , }; H = {I , } = {I , 2 } = {, I } = H ; H = {I , } = {()I , ()} = {, 2 } = 2 H ; 2 H = 2 {I , } = {( 2 )I , ( 2 )} = { 2 , } = H.
202 CEDERJ

Vamos provar, agora, algumas propriedades sobre as classes laterais. Estas propriedades tornaro a demonstrao do Teorema de Lagrange extremamente simples.

Proposio 1 (Propriedades das Classes Laterais)

Sejam G um grupo finito, H um subgrupo de G e a, b G. 1. aH = bH se, e somente se, b 1. a H. 2. Se aH bH , ento aH = bH, ou, equivalentemente, se aH bH, ento aH bH = . 3. Todas as classes laterais tm |H| elementos, isto , |aH| = |H| para todo a G. 4. Existem elementos a1, a2, ..., ak G, com a1 = eG, tal que G = a1 H a2H ... akH, e a unio disjunta. Demonstrao 1. () Vamos supor, primeiramente, que aH = bH. Queremos provar que b1 . a H. Sabemos que a aH = bH, logo, existe h H, tal que a = b . h. Portanto, b1 . a = b1 . (b . h); pois a = b . h = (b1 . b) . h =e.h = h H. () Vamos, agora, supor que b1 . a H. Queremos provar que aH = bH.

CEDERJ

203

AULA

e 2H.

15

Observe que as classes laterais distintas, nesse caso, so H, H

lgebra II | O Teorema de Lagrange

Vamos provar, inicialmente, a incluso aH bH . Como b1 . a H, ento existe h1 H, tal que b1 . a = h1. Portanto, a = b . h1. Seja, agora, a . h aH, um elemento genrico de aH, com h H. Ento, temos a . h = (b . h1) . h; pois a = b . h1 = b . (h1 . h). Como H subgrupo e h, h1 H, ento h1 . h H e, portanto, a . h = b . (h1 . h) bH. Da, segue que a . h bH, para todo h H, ou seja, aH bH. A incluso contrria, bH aH, completamente anloga anterior e ser uma atividade para voc. Portanto, segue que aH = bH.

ATIVIDADE 3. Prove que se b1 . a

H, ento bH aH.

2. Se aH bH , ento existe g aH bH. Portanto, g aH e g bH. Da, segue que existem h1, h2 H tais que g = a . h1 e g = b . h2 , ou seja, a . h1 = b . h2. Assim, temos a . h1 = b . h2 (a . h1) . h11 = (b . h2) . h11 a = b . (h2 . h11) b1 . a = b1 . (b. h2 . h11) b1 . a = h2 . h11.

204

CEDERJ

segue que aH = bH. 3. Lembre-se de que, para provar que dois conjuntos tm o mesmo nmero de elementos, precisamos mostrar que existe uma bijeo entre estes conjuntos. Considere a funo f : H aH definida por f(h) = a . h. Vamos provar que esta funo bijetora. Pela prpria definio de aH, j vemos que Im(f) = aH, ou seja, que f sobrejetora. Para provar que f injetora, sejam h1, h2 H tais que f(h1) = f(h2). Queremos concluir que h1 = h2. Assim, temos f(h1) = f(h2) a . h1 = a . h2 a1 . (a . h1) = a1 . (a . h2) (a1 . a) . h1 = (a1. a) . h2 h1 = h2.

o que prova que f , de fato, injetora. Portanto, como f uma bijeo, ento aH e H tm o mesmo nmero de elementos, isto , |aH | = |H|. 4. Como a aH, existem elementos a1, a2, ..., ak G, com a1 = eG, tal que G = a1H a2H ... aKH. E, como cada duas classes laterais coincidem ou so disjuntas, a unio G = a1H a2H ... akH pode ser considerada uma unio disjunta.

Exemplo 3
Dado o subgrupo H = {I, } de S3 = {I, , 2, , 2}, vamos obter elementos a1, a2, ..., ak S3 = {I, , 2, , , 2} tal que S3 = a1H a2H ... aKH seja uma unio disjunta. Vimos, no Exemplo 2, que as classes laterais distintas, nesse caso, so H = {I, }, H = {, 2} e 2H = {, 2}.

CEDERJ

205

AULA

b1 . a = h2 . h11 H. Assim, pela propriedade 1 que acabamos de provar,

15

Como H subgrupo e h1, h2 H, ento h2 . h11 H e, portanto,

lgebra II | O Teorema de Lagrange

Ento, podemos escolher a1 = I, a2 = e a3 = 2, e temos que S3 = H H 2H uma unio disjunta. Estamos, agora, em condies de completar a demonstrao do Teorema de Lagrange. Demonstrao do Teorema de Lagrange Pela Proposio 1.4, sabemos que existem a1, a2, ..., ak G, com a1 = eG, tal que G = a1H a2H a2H .... akH, e a unio disjunta. Como a unio disjunta, o nmero de elementos de G igual soma do nmero de elementos de cada classe lateral da unio, ou seja, |G| = |a1H| + |a2H| + ... + |akH|. Agora, pela Proposio 1.3, sabemos que |aiH| = |H| para todo i = 1, 2, ..., k. Fazendo as devidas substituies na equao anterior, temos |G| = |a1H| + |a2H| + ... + |akH| = |H| + |H| + ... + |H|; (k parcelas) = k |H|. Portanto, |G| = k|H| com k um inteiro positivo, ou seja, |H| divide |G|. Observe como esta demonstrao ficou extremamente simples. Isso no quer dizer que o Teorema de Lagrange fcil de ser provado, significa, simplesmente, que todo o trabalho duro foi feito anteriormente, neste caso, na Proposio 1. Agora, o Teorema de Lagrange tem conseqncias importantes e muito elegantes. Vamos a elas!

206

CEDERJ

Sejam G um grupo finito e a G, ento a ordem de a divide a ordem de G, isto , ord(a)||G|. Demonstrao O subgrupo gerado por a, <a>, um subgrupo do grupo finito G. Logo, pelo Teorema de Lagrange, temos que |<a>|||G|. Mas, como por definio, a ordem do elemento a a ordem do subgrupo gerado por a, ou seja, ord(a) = |<a>|, segue que ord(a)||G|.

COROLRIO 2
Sejam G um grupo finito de ordem n e a G, ento an = eG. Demonstrao Seja m a ordem do elemento a. De acordo com o Corolrio 1, m | n, ou seja, existe um inteiro k, tal que n = km. Vimos, na aula passada, que a ordem m de a o menor inteiro positivo, tal que am = eG. Assim, an = amk = (am)k = (eG)k = eG. O prximo corolrio do Teorema de Lagrange especialmente elegante.

COROLRIO 3
Todo grupo de ordem primo cclico. Demonstrao Seja G um grupo de ordem primo p. Como p > 1, ento existe a G com a eG. Agora, como a eG, ento ord(a) > 1. Por outro lado, pelo Corolrio 1, ord(a)||G|, ou seja, ord(a) | p. Mas, como p primo, ento seus nicos divisores positivos so 1 e p e, como ord(a) >1. Assim, s resta a possibilidade ord(a) = p. Isto significa que o subgrupo <a> gerado por a tem o mesmo nmero de elementos que G e, como <a> G, segue que <a> = G, ou seja, G um grupo cclico. Temos, agora, uma demonstrao muito simples do Pequeno Teorema de Fermat.
CEDERJ 207

AULA

15

COROLRIO 1

lgebra II | O Teorema de Lagrange

COROLRIO 4 (PEQUENO TEOREMA DE FERMAT)

Sejam p um nmero primo e a um inteiro tal que a no divide p. Ento ap 1 1(modp). Demonstrao Vimos, na Aula 17, que

Z mdc(k, p ) = 1} = {1,K, p 1} p = {k Z p
x um grupo multiplicativo com |Zp | = p 1. Como a p e p primo, x ento mdc(a, p) = 1 e, portanto, a Zp . Logo, pelo Corolrio 2,

(a)p-1 = 1,
o que significa que ap 1 1 (mod p). A demonstrao anterior pode ser generalizada para obter, agora, uma demonstrao extremamente simples do importante teorema de Euler. Lembre, da Aula 17, que
Zn = {a Zn mdc(a,n) = 1}

um grupo multiplicativo finito. Sua ordem denotada por (n), onde

(n) = {k Z 1 k < n e mdc(k, n) = 1}

a funo de Euler , ou seja, ( n ) o nmero de inteiros k, tais que 1 k < n e mdc(k, p). Veja que no caso de um nmero primo p, temos

(p) = {k Z 1 k < p e mdc(k, p) = 1} = {1, 2,K, p 1} = p 1.

COROLRIO 4 (TEOREMA DE EULER)

Sejam n > 1 um nmero inteiro e a um inteiro, tal que mdc(a, n) = 1. Ento a(n) 1 (mod n). Observe que o Pequeno Teorema de Fermat o caso particular do Teorema de Euler em que n um primo p. A demonstrao do Teorema de Euler ser uma atividade final para voc.

208

CEDERJ

1. a. Calcule todas as classes laterais distintas do subgrupo H = {I, , 2} de S3 = {I, , 2, , , 2}. b. Obtenha elementos a 1, a 2, ..., a k S 3 = {I, , 2, , , 2} , tal que

S3 = a1H a2H ... aKH seja uma unio disjunta.

2. Prove o Teorema de Euler.

RESUMO
O importante Teorema de Lagrange afirma que se G um grupo finito e H < G, ento |H|||G|. Para provar esse teorema, foi preciso introduzir o conceito de classe lateral ( esquerda), ou seja, o conjunto aH = {a . h | h H}, onde H < G e

a G. Depois, vimos vrias conseqncias do Teorema de Lagrange:

1. Se G for um grupo finito e a H, ento ord(a)||G|. 2. Se G for um grupo finito com |G| = n e a G, ento an = eG. 3. (Pequeno Teorema de Fermat) Se p for primo e a p, ento ap 1 1(modp). 4. (Teorema de Euler) Se n > 1 for inteiro e mdc(a, n) = 1, ento a(n) 1 (mod n).

CEDERJ

209

AULA

15

ATIVIDADES FINAIS

lgebra II | O Teorema de Lagrange

RESPOSTAS COMENTADAS

Atividade 1 Como =

1 2 3 2 S3 tem ordem 2, j que = I, ento 1 3 2

<> = {I, }

ser um subgrupo de S3 de ordem 2. Agora, como = 2 j que 3 = I, ento < > = {I, , 2} ser um subgrupo de S3 de ordem 3.

1 2 3 tem ordem 3, 3 1

Atividade 2 a. Basta observar que e . h = h, para todo h H. Da,

eH = {e . h | h H} = {h | h H}; pois e . h = h = H.
b. Como e H, ento a = a . e aH.

Atividade 3 Como b1. a H, ento existe h1 H, tal que b1. a = h1. Portanto, a = b . h1 e, da, b = a . h11. Seja, agora, b . h bH, um elemento genrico de bH, com

h H. Assim, b . h = (a . h11) . h; pois b = a . h11. = a . (a . h11).

Como H subgrupo e h, h1 H, ento h11 . h H e, portanto,

b . h = a (h11 . h) aH.
Da, segue que b, h aH, para todo h H, ou seja, bH aH.

210

CEDERJ

Atividade Final 1 a. Pela tabela de multiplicao de S3,

x I

I I

2
I
2

2 2
I

2
2

I
2

2 2 2
I

2 2
temos:

H = {I , , 2 } = {I , 2 , 3 } = {, 2 , I } = H ; 2 H = 2 {I , , 2 } = { 2 I , 3 , 4 } = { 2 , I , } = H ; H = {I , , 2 } = {I , , 2 } = {, , 2 }; H = {I , , 2 } = {()I , (), () 2 } = {, 2 , } = H ; 2 H = 2 {I , , 2 } = {( 2 )I , ( 2 ),( 2 ) 2 } = { 2 , , } = H.

Observe que as classes laterais distintas, nesse caso, so H e H. b. Vimos, na parte a Atividade Final 1, que as classes laterais distintas so

H = {I, , 2} e H = {, , 2}.
Ento, por exemplo, podemos escolher a1 = I e a2 = , e temos que

S3 = H H
uma unio disjunta.

Atividade Final 2 Como mdc(a, n) = 1, ento a Zxn. Agora, Zxn um grupo de ordem (n) e, portanto, pelo Corolrio 2, temos (a )(n) = 1 , o que significa que a(n) 1(mod n).

CEDERJ

211

AULA

15