4 - CLASSES LATERAIS E TEOREMA DE LAGRANGE

4.1 - Classes Laterais

Proposio 1: i) A relao R sobre G definida por aRb se, e somente se, a 1b H uma relao de equivalncia. ii) Se a G , ento a classe de equivalncia determinada por a o conjunto = {ah / h H } . aH Dem: i) Como e a 1 a H , ento aRa e, portanto, vale a reflexividade. = Se aRb ento a 1b H , mas sendo H um subgrupo de G , ento (a 1b= b 1a H . ) 1 Isso mostra que bRa e, portanto, que a simetria tambm se verifica para R . Suponhamos que aRb e bRc , ento a 1b , b 1c da, 1 1 1 (a 1b)(b = a 1b = a = a 1c H c) bc ec Logo, aRc , de onde a transitividade vlida. ii) Seja a a classe de equivalncia do elemento a . Se x a , ento xRa , ou seja, x 1a H . Portanto x 1a = h , para um elemento h H . Mas x = ah 1 e, portanto, x aH , uma vez que h 1 H . Por outro lado, se x aH , ento x = ah , para algum h H . Da, x 1a h 1 H e, = portanto, xRa , de onde, x a . Segue que a = aH . Definio 1: Para cada a G , a classe de equivalncia aH definida pela relao R introduzida na proposio 1 chamada classe lateral direita, mdulo H , determinada por a . Uma decorrncia imediata da proposio anterior que o conjunto das classes laterais direita, mdulo H , determina uma partio em G , ou seja: A) Se a G , ento aH B) Se a, b G , ento aH = bH ou aH bH = C) A unio de todas as classes laterais igual a G . O conjunto quociente de G por essa relao, denotado por G / H o conjunto das classes laterais aH (a G ) . Um dos elementos desse conjunto o prprio H , pois H = eH . De maneira anloga se demonstra que a relao R definida por aRb se, e somente se, ab 1 H tambm uma relao de equivalncia sobre o grupo G . S que, neste caso, a classe de equivalncia de um elemento a G o subconjunto Ha {ha / h H } , = chamado classe lateral esquerda, mdulo H, determinada por a . claro que, se G for comutativo, ento aH = Ha , para qualquer a G .

26 2010

Exemplo 1: No grupo multiplicativo G ={1, 1, i, i} das razes qurticas da unidade, considere o subgrupo H {1, 1} . As classes laterais so: = 1H = {1 1,1 (1)} = {1, 1} (1) H ={(1) 1, (1) (1)} ={1,1} iH = {i 1, i (1)} = {i, i} (i ) H ={(i ) 1, (i ) (1)} ={i, i )} Logo, 1H = (1) H e iH = (i ) H Portanto, G / H = {1H , iH } Essas duas classes laterais unidas coincidem com o grupo G . Exemplo 2: Seja G o grupo aditivo Z 6 . Para facilitar, escreveremos os elementos de Z 6 sem os traos, ou seja, Z 6 = {0,1, 2,3, 4,5} . Considerando o subgrupo H = {0,3} , temos: 0 + H = H = {0,3} 1 + H =4} {1, 2+ H = {2,5} A reunio dessas 3 classes igual a G . Portanto, G / H = {H ,1 + H , 2 + H } . Exemplo 3: Considere o grupo multiplicativo R dos nmeros reais e H o subgrupo formado pelos nmeros reais estritamente positivos, ou seja, H = R / x > 0} . {x Como aH = H , se a > 0 e aH = R / x < 0} , se a < 0 ento R / H formado por {x duas classes: a dos nmeros reais maiores que zero e a dos nmeros reais menores que zero. Proposio 2: Seja H um subgrupo de G . Ento duas classes laterais quaisquer mdulo H tm a mesma cardinalidade. Dem: Dadas duas classes laterais aH e bH , temos que mostrar que possvel construir uma aplicao bijetora f : aH bH . Lembrando a forma geral dos elementos dessas classes, natural definir f da seguinte maneira: f (ah) = bh , para qualquer h H . Sem maiores dificuldades, prova-se que f injetora e sobrejetora. De fato: (Injetora) Se h, h1 H e f (ah) = f (ah1 ) , ento bh = bh1 , como, porm, todo elemento de G regular, ento h = h1 . (Sobrejetora) Seja y bH . Ento y = bh , para algum h bH . Tomando-se = ah aH , ento f ( x) f (ah) bh y . x = = = Em particular, todas as classes tm a mesma cardinalidade de H = eH ( e = elemento neutro). Obviamente, se G um grupo finito, ento o conjunto G / H tambm finito. O nmero de classes distintas do conjunto G / H chamado ndice de H em G denotado por (G : H ) . Ento, no exemplo 1, (G : H ) = 2 , no exemplo 2, (G : H ) = 3 , no exemplo 3, (G : H ) = 2 .

27 2010

Devido ao fato de aH Ha 1 uma aplicao bijetora, como j observamos, ento o ndice de H em G o mesmo, quer se considerem classes laterais direita ou esquerda, mdulo H .

4.2 - O Teorema de Lagrange

Proposio 3: (Teorema de Lagrange): Seja H um subgrupo de um grupo finito G . Ento o(G ) = o( H ) (G : H ) e, portanto, o( H ) / o(G ) . Dem: Suponhamos (G : H ) = r e seja G / H = {a1 H , a2 H , , ar H } . Ento devido

, sempre que i j . Mas, proposio 1, G= a1 H a2 H ar H e ai H a j H = devido proposio 2, o nmero de elementos de cada uma das classes laterais igual ao nmero de elementos de H , ou seja, igual a o( H ) . Portanto, o(G= o( H ) + o( H ) + + o( H ) em que o nmero de parcelas r = (G : H ) . De onde: ) o(G ) = (G : H )o( H ) e o( H ) / o(G ) .
Corolrio 1: Seja G um grupo finito. Ento a ordem (perodo) de um elemento a G divide a ordem de G e o quociente (G : H ) , em que H = [a ] . Dem: Basta lembrar que a ordem de a igual ordem de [a ] o que, devido ao Teorema de Lagrange: o(G ) = (G : H )o([a ]) . Corolrio 2: se a um elemento de um grupo finito G , ento a o (G ) = e (elemento neutro do grupo). Dem: Seja h a ordem de a . Portanto, h o menor inteiro estritamente positivo tal que a h > e (elemento neutro do grupo). Mas devido ao corolrio anterior: o(G ) (G : H )h = o (G ) ( G:H ) h h ( G:H ) ( G:H ) em que H = [a ] . Portanto a = a = (a )= e= e . Corolrio 3: Seja G um grupo finito cuja ordem um nmero primo. Ento G cclico e os nicos subgrupos de G so os triviais, ou seja, {e} e o prprio G . Dem: Seja p = o(G ) . Como p > 1 , o grupo G possui um elemento a diferente do elemento neutro. Assim, se H = [a ] , pelo Teorema de Lagrange garante que o( H ) / p . Logo, o( H ) = 1 ou p e, portanto, H = {e} ou H = G . Como a primeira dessas hipteses impossvel, ento G = H e, portanto, G cclico. Por outro lado, se J um subgrupo de G , ento, ainda devido ao Teorema de Lagrange, o( J ) / o(G ) . Da, o( J ) = 1 ou p e, portanto, J = {e} ou J = G . Exemplo 1: Determine todas as classes laterais de H = {0, 3, 6, 9} no grupo aditivo Z12 . Logo, vamos encontrar as classes laterais, mdulo H . = {0, 3, 6, 9} H 0+H =

1 + H = 4, 7,10} = + H {1, 1
2 + H = 5, 8,11} =2 + H {2,
28 2010

Portanto, Z12 / H = {H ,1 + H , 2 + H } Exemplo 2: Determine todas as classes laterais de 4Z no grupo aditivo Z . Lembrando que 4Z = {0, 4, 8, 12,} . Temos que 0 Z vamos verificar se ser uma classe lateral mdulo 4Z 0 + 4Z = {0, 4, 8, 12,} 1 + 4Z = { , 3,1,5,9,13,} 2 + 4Z = { , 2, 2, 6,10,14,} 3 + 4Z = { , 1,3, 7,11,15,} Podemos concluir que a unio destas 4 classes resulta no conjunto dos Z . Portanto, Z / 4Z = {4Z,1 + 4Z, 2 + 4Z,3 + 4Z} . Exemplo 3: Sendo H = {0, m, 2m,} , m Z , um subgrupo do grupo aditivo Z , mostre que {0, 1, , m 1} =m o conjunto das classes laterais de H . Logo, Z (Z : H ) = m . Dem: Vamos mostrar que Z m o conjunto das classes laterais de H . Sendo (Z : H ) = m . Teremos m classes laterais de H .

0 + H = {0, m, 2m,} = 0 1 + H = {1, m + 1, 2m + 1,} = 1

2 + H = {2, m + 2, 2m + 2,} = 2 m 1 + H = {m 1, m + m 1, 2m + m 1,} = m 1 Portanto, Z m o conjunto das classes laterais de H .

Exemplo 4: Considerando Z como subgrupo do grupo aditivo Q , descreva as classes 1 Z + (-1) e Z + . 2 m Z , temos Z + (1) = m + (1) = m 1 = Z Z + (1) = Z 1 1 2n + 1 Agora, Z + = n + / n Z = / n Z 2 2 2 1 2n + 1 Z+ = ,nZ 2 2

29 2010