Escolar Documentos
Profissional Documentos
Cultura Documentos
14
Meta da aula
objetivos
Ao final desta aula, voc dever ser capaz de: Identificar as propriedades que caracterizam um subgrupo. Apresentar exemplos de subgrupos. Identificar as propriedades que caracterizam um grupo cclico. Apresentar exemplos de subgrupos cclicos.
AULA
Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis e ideais, desenvolvidos em lgebra I e nas Aulas 12 e 13.
INTRODUO
Nas duas aulas anteriores, desenvolvemos o conceito de grupo e estudamos vrios exemplos. Voc deve ter notado que vimos alguns exemplos de grupos contidos em outro grupo maior. Por exemplo, o grupo (Z, +), dos nmeros inteiros com a operao de adio, est contido no grupo (Q, +) dos nmeros racionais com a operao de adio. Da mesma forma, (Q, +) est contido em (R, +) que, por sua vez, est contido em (C, +). Esta a importante noo de subgrupo. relevante observar que, quando dizemos que o grupo (Z, +) est contido no grupo (Q, +), queremos dizer no s que um conjunto subconjunto do outro, Z Q, mas tambm que a operao de adio (+) entre dois nmeros inteiros, a e b, produz o mesmo resultado a + b que na situao em que a e b so vistos como elementos do grupo (Q, +). Assim, no podemos dizer que o grupo multiplicativo (Q*, .) est contido no grupo aditivo (R, +), pois, apesar de Q* R, as operaes a . b em (Q*, .) e a + b em (R, +) do resultados diferentes para os mesmos a, b Q. Por exemplo, 1 . 1 = 1 e 1 + 1 = 2. Portanto, para que um grupo seja um subgrupo de outro grupo, vamos exigir no s que um conjunto esteja contido no outro mas, tambm, que suas operaes coincidam nos elementos que so comuns aos dois conjuntos.
DEFINIO 1 (SUBGRUPO)
Sejam (G, .) um grupo e H um subconjunto no-vazio de G. Dizemos que H um subgrupo de G se H, munido da operao . do grupo G, for um grupo, ou seja, se (H, .) for um grupo. Veja que a operao . j associativa em G, logo, ela j satisfaz a propriedade associativa para os elementos de H . Portanto, as propriedades a serem satisfeitas para que H seja um subgrupo de G so dadas pelos seguintes axiomas. SG1. H fechado pela operao de G, isto , a . b H para todo
a, b H.
SG2. eG H . SG3. Se a H ento a-1 H . Se H subgrupo de G, ento denotamos H < G e, caso contrrio, denotamos H G.
186
CEDERJ
subgrupos triviais de G. Se H um subgrupo de G, diferente de {eG} e G, ento dizemos que H um subgrupo prprio de G.
Exemplo 1
Pelas nossas observaes iniciais, temos a seguinte seqncia de subgrupos: (Z, +) < (Q, +) < (R, +) < (C, +) . No entanto, (Q* , .) no subgrupo de (R, +), j que a operao de (Q*, .) no a mesma que a de (R, +). Mas verdade que (Q*, .) < (R*, .) < (C*, .) . Assim como temos critrios que facilitam verificar se um subconjunto de um espao vetorial um subespao vetorial ou se um subconjunto de um anel um subanel, temos, tambm, um critrio que facilita verificar se um subconjunto de um grupo um subgrupo. o que vamos fazer a seguir.
AULA
14
Observao
() Nossa hiptese, agora, que a . b1 H para todo a, b H. Queremos provar que H subgrupo de G, ou seja, que H satisfaz as propriedades SG1 a SG3. Vamos provar primeiro a validade de SG2, depois SG3 e, por fim, SG1. SG2. Como H , existe um elemento a H. Da, temos a H eG = a . a1 H pela hiptese com b = a .
SG3. Seja x H. Como j sabemos que eG H, ento, x, eG H x1 = eG . x1 H pela hiptese com a = eG e b = x. SG1. Sejam x, y H. Pela propriedade SG3, sabemos que y1 H. Portanto, temos x, y1 H x . y = x . (y1) 1 H pela hiptese com a = x e b = y1. Conclumos, assim, que H um subgrupo de G. Observao Quando G for um grupo aditivo, (G, +), e H um subconjunto no-vazio de G, a condio a . b-1 H se transformar em a b H, j que b o elemento inverso de b. Assim, nesse caso, temos H<G a b H para todo a, b H .
188
CEDERJ
1. Dado o grupo aditivo (Z, +), mostre que nZ = { kn | k Z } um subgrupo de Z para todo inteiro n > 1 . ___________________________________________________________________ ___________________________________________________________________ ___________________________________________________________________ _________________________________________________________________
Exemplo 2
Seja D3 = {I, R, R2, F, FR, FR2} o grupo das simetrias do tringulo eqiltero visto na Aula 18. Ento H1 = {I, R, R2} e H2 = {I, F} so subgrupos de D3 . Isso imediato pela aplicao do critrio do subgrupo.
Exemplo 3
Considere o grupo (Z4, +). Vamos mostrar que H = {0, 2} o nico subgrupo prprio de Z4 . Se H for outro subgrupo prprio de Z4 = {0, 1, 2, 3}, ento, teremos 1 H ou 3 H. Caso seja 1 H, ento, aplicando SG1, teremos 2 = 1 + 1 H ; 3 = 2+ 1 H e 0 = 3 + 1 H , e, portanto, teramos H = {0, 1, 2, 3} = Z4, o que uma contradio, j que H subgrupo prprio de Z4. Caso seja 3 H, ento, aplicando SG3, teremos 1 = 3 H , e, pelo argumento anterior, teramos novamente que H = {0, 1, 2, 3} = Z4, que a mesma contradio. A concluso, portanto, que H = {0, 2} o nico subgrupo prprio de Z4.
CEDERJ
189
AULA
14
ATIVIDADE
Vamos desenvolver, agora, um importante tipo de subgrupos, que so os subgrupos gerados por um nico elemento.
Denotamos por < a > o conjunto de todas as potncias de a, ou seja, < a > = {an | n Z } Veremos, a seguir, que este conjunto um subgrupo de G, chamado subgrupo gerado por a. Dizemos, tambm, que a um gerador de <a>. Quando G for um grupo aditivo, (G, +), ento as potncias de a sero, na verdade, os mltiplos de a: 0a = 0G na = (n1) a + a na = (n)(a) se n Z, n 1 se n Z, n < 0 ,
190
CEDERJ
Exemplo 4
Dado o grupo (Z, +), ento nZ = {kn | k Z = < n >}. Em particular, 2Z = < 2 >. Veja, tambm, que Z = < 1 > .
Exemplo 5
Considere o grupo (Z4, +) do Exemplo 3. Ento H = {0, 2} = < 2 >. Veja aqui, tambm, que Z4 = < 1 > . Grupos, como Z ou Z4, que so gerados por apenas um elemento, so muito importantes e tm uma nomenclatura especial.
Exemplo 6
Considere o grupo (Zn, +), onde n > 1 um inteiro. Ento Zn = < 1 >, e, portanto, Zn um grupo cclico.
CEDERJ
191
AULA
14
ATIVIDADE 2. Determine se os grupos multiplicativos ( Zx5 , . ) e ( Zx8 , . ) so grupos cclicos. Caso algum deles seja um grupo cclico, determine seus geradores. ___________________________________________________________________ ___________________________________________________________________ ___________________________________________________________________ ___________________________________________________________________ _________________________________________________________________
Para terminar esta aula, vamos enunciar um resultado que diz, no fundo, que todo grupo cclico uma cpia de (Z, +) ou uma cpia de algum (Zn, +). Para isso precisamos definir o conceito de ordem de um elemento.
Exemplo 7
Considere o grupo aditivo Z4 = {0, 1, 2, 3}. Pela observao anterior, j sabemos que ord(0) = 1 . Agora, < 1 > = {0, 1, 2, 3} = Z4 ; < 2 > = {0, 2,} ; < 3 > = {0, 1, 2, 3} = Z4 , de onde conclumos que ord(1) = 4 ; ord(2) = 2 ord(3) = 4
192
CEDERJ
3. Determine a ordem dos elementos dos grupos multiplicativos ( Zx5 , . ) e ( Zx8 , . ). ___________________________________________________________________ ___________________________________________________________________ ___________________________________________________________________ _________________________________________________________________
TEOREMA 1
Seja G um grupo e seja a G. 1. Se a for um elemento de ordem finita n, ento n ser o menor inteiro positivo que satisfaz an = eG . Mais ainda, < a > = {e, a, a2, ..., a n1 }. 2. Se a for um elemento de ordem infinita, ento an eG para todo inteiro n 0. Mais ainda, < a > = {..., a2, a1 , e, a, a2, ...} e todas as potncias de a sero distintas.
CEDERJ
193
AULA
14
ATIVIDADE
No entanto, a recproca falsa, ou seja, nem todo grupo abeliano um grupo cclico. Por exemplo, o grupo multiplicativo Zx8 , abeliano, mas, como voc provou na Atividade 2, ele no um grupo cclico.
ATIVIDADES FINAIS
1. Determine se o grupo multiplicativo Zx7 = {a Z7 | mdc (a, 7) = 1} = {1, 2, 3, 4, 5, 6} cclico. Caso seja, determine seus geradores. ____________________________________________________________________________ ____________________________________________________________________________ ____________________________________________________________________________ __________________________________________________________________________
2. Determine se o grupo S3, das permutaes de 3 objetos, cclico. Caso seja, determine seus geradores. ____________________________________________________________________________ ____________________________________________________________________________ ____________________________________________________________________________ ____________________________________________________________________________ __________________________________________________________________________
194
CEDERJ
RESUMO
Nesta aula, vimos o conceito de subgrupo. Vimos que um subconjunto no-vazio H de um grupo G um subgrupo de G se satisfizer os seguintes axiomas: SG1. H fechado pela operao de G, isto , a . b H para todo a, b H. SG2. eG H . SG3. Se a H ento a1 H . Depois, vimos o conceito de um subgrupo gerado por um elemento a G, que o subconjunto < a > = {an | n Z} G. Vimos que a ordem do elemento a G a ordem do subgrupo < a >. Em seguida, vimos que um grupo G um grupo cclico se existir a G tal que G = < a >. Nesse caso, dizemos que o elemento a um gerador do grupo G. Por fim, vimos o importante teorema que diz que se G um grupo e a G, ento: 1. Se a for um elemento de ordem finita n, ento n ser o menor inteiro positivo que satisfaz an = eG . Mais ainda, < a > = {e, a, a2, ..., an1}; 2. Se a for um elemento de ordem infinita, ento an eG para todo inteiro n 0. Mais ainda, < a > = {..., a2,, a1, e, a, a2,...} e todas as potncias de a sero distintas.
RESPOSTAS COMENTADAS
Atividade 1 Pelo critrio do subgrupo, basta verificar que a b nZ para todo a, b nZ. Como a, b nZ, ento existem k, m Z tais que a = kn e b = mn. Assim, a b = kn mn = (k m)n nZ , e, portanto, nZ um subgrupo de Z.
CEDERJ
195
AULA
14
Atividade 2 Vamos considerar, inicialmente, Zx5 = {a Z5| mdc(a, 5) = 1} = {1, 2, 3, 4}. Considerando as potncias de 2 Zx5, temos: (2)1 = 2; (2)2 = 4; (2)3 = 3; (2)4 = 1, o que mostra que Zx5 = < 2 >, ou seja, Zx5 um grupo cclico. Mais ainda, no s o elemento 2 um gerador de Zx5, o elemento 3 tambm , pois (3)1 = 3; (3)2 = 4; (3)3 = 2; (3)4 = 1, e, portanto, Zx5 = < 3 > . Mas, 4 no gerador de Zx5 , pois (4)1 = 4; (4)2 = 1; (4)3 = 4; (4)4 = 1; ..., ou seja, < 4 > = {1, 4}, que um subgrupo prprio de Zx5. No caso de Zx8 = { a Z8| mdc(a, 8) = 1} = {1, 3, 5, 7}, temos (3)1 = 3; (3)2 = 1; (3)3 = 3; (3)4 = 1; ..., (5)1 = 5; (5)2 = 5; (5)3 = 5; (5)4 = 1;..., e (7)1 = 7; (7)2 = 7; (7)3 = 7; (7)4 = 1,... . Portanto, temos < 3 > = {1, 3} , < 5 > = {1, 5} e < 7 > = {1, 7},
Atividade 3 Considere Zx5. J sabemos que ord(1) = 1. Agora, dos clculos feitos na atividade anterior, temos < 2 > = {1, 2, 3, 4} = Zx5; de onde conclumos que ord(2) = 4; ord(3) = 4 e ord(4) = 2. < 3 > = {1, 2, 3, 4} = Zx5; < 4 > = {1, 4} ,
196
CEDERJ
Seja, agora, Zx8 = {1, 3, 5, 7}. J sabemos que ord(1) = 1. Tambm, dos clculos feitos na atividade anterior, temos < 3 > = {1, 3} , < 5 > = {1, 5} e < 7 > = {1, 7}, de onde conclumos que ord(3) = 2; ord(5) = 2 e ord(7) = 2. Observe que, como os elementos 3, 5 e 7 so seus prprios inversos em Zx8, ento eles so de ordem 2.
Atividade Final 1 Calculando as potncias dos elementos de Zx7 = {1, 2, 3, 4, 5, 6,} e aplicando o Teorema 1, obtemos (2)1 = 2; (2)2 = 4; (2)3 = 1 ord(2) = 3; ord(3) = 6
ord(4) = 3 ord(5) = 6
Portanto, como Zx7 = {1, 2, 3, 4, 5, 6} um grupo de ordem 6 e temos dois elementos tambm de ordem 6, ento segue que Zx7 um grupo cclico com
Zx7 = < 3 > = < 5 >,
Atividade Final 2 Na Aula 18, vimos que S3 = {I, , 2, , , 2} com = 123 231 e 123 . 132
CEDERJ
197
AULA
14
Pelos clculos, tambm feitos naquela aula, e aplicando o Teorema 1, temos ()1 = (2)1 = 123 123 123 =I ; 3 = ; 2 = 123 312 231 ord() = 3 ; ord() = 3 ;
123 123 123 ; (2)2 = ; (2)3 = =I 312 231 123 ()1 = 123 123 =I ; 2 = 123 132 123 123 ; ()2 = =I 321 123 e 123 123 ; (2)2 = =I 213 123
ord() = 2 ;
()1 =
ord() = 2 ;
(2)1 =
ord(2) = 2 ;
Como S3 um grupo de ordem 6 e todos os seus elementos tm ordem menor que 6, ento segue que S3 no um grupo cclico.
198
CEDERJ