Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Observao ca
Como para k > 1 se tem (a1 , a2 , . . . , ak ) = (a1 , ak )(a1 , ak1 ) (a1 , a2 ), um ciclo de comprimento par uma permutao e ca mpar e um ciclo de comprimento mpar uma permutao par. e ca

Proposio ca
O conjunto das permutaes pares de Sn forma um subgrupo de Sn . co

Exerc cio
Faa a demonstrao da proposio anterior. c ca ca O subgrupo das permutaes pares de Sn denota-se por An e diz-se o co grupo alterno de grau n. gap> Sym( gap> 720 gap> Alt( gap> 360 S6 := SymmetricGroup(6); [ 1 .. 6 ] ) Size(S6); A6 := AlternatingGroup(6); [ 1 .. 6 ] ) Size(A6);
Algebra (Curso de CC) Ano lectivo 2005/2006 145 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Proposio ca
Para n > 1, ord An = n!/2. Demonstrao. Sabemos que ord Sn = n!, bastando por isso ver que Sn ca tem tantas permutaes pares como co mpares. Sejam e permutaes co pares distintas. Ento (1 2) e (1 2) so permutaes a a co mpares distintas. Logo, existem pelo menos tantas permutaes co mpares como pares. De modo anlogo mostra-se que existem pelo menos tantas permutaes a co pares como mpares.

Algebra (Curso de CC)

Ano lectivo 2005/2006

146 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Isomorsmos
Pessoas que trabalham em Algebra normalmente no fazem qualquer a distino entre estruturas isomorfas. No se importam se os elementos de ca a um grupo so azuis ou vermelhos; apenas lhes interessa a forma como a eles se multiplicam. Vamos formalizar.

Denio (Isomorsmo; grupos isomorfos) ca

Um isomorsmo de um grupo G num grupo H uma funo bijectiva e ca : G H que preserva a operao. Isto , ca e (ab) = (a)(b), a, b G . (Note-se que no primeiro membro se tem a operao em G , enquanto ca que no segundo membro se tem a operao em H.) ca Quando existe um isomorsmo de um grupo G num grupo H, dizemos que G e H so isomorfos e escrevemos G H. a
Algebra (Curso de CC) Ano lectivo 2005/2006 147 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Resulta imediatamente da denio que grupos isomorfos tm a mesma ca e ordem. Vejamos alguns exemplos.

Exemplo
Os grupos G = (R, +) e H = (R+ , ) so isomorfos. De facto, a funo a ca : G H denida por (x) = 2x um isomorsmo: e no dif ver (faa-o como exerc a e cil c cio) que bijectiva, sendo log2 a e funo inversa; ca preserva as operaes: co (x + y ) = 2x+y = 2x 2y = (x) (y ).

Exemplo
Seja G o grupo dos nmeros reais com a adio. A funo : R R u ca ca denida por (x) = x 3 , embora seja bijectiva, no um isomorsmo, a e pois existem nmeros reais x e y tais que (x + y )3 = x 3 + y 3 . u

Algebra (Curso de CC)

Ano lectivo 2005/2006

148 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Exemplo
Todo o grupo c clico innito isomorfo a Z com a adio. De facto, se a e ca for um gerador do grupo c clico, ento a funo que a ak associa k um a ca e isomorsmo. o Recordando que num grupo c clico a de ordem n se tem ai = aj se e s se i e j so congruentes mdulo n e que a relao de congruncia a o ca e mdulo n compat com as operaes, fcil vericar os detalhes o e vel co e a necessrios ` obteno do seguinte: a a ca

Exemplo
O grupo c clico a nito de ordem n isomorfo a Zn com a adio e ca mdulo n. De facto, a aplicao ak k (mod n) um isomorsmo. o ca e

Exemplo
Basta observar que U(10) um grupo c e clico de ordem 4, para concluir que U(10) Z4 .

Algebra (Curso de CC)

Ano lectivo 2005/2006

149 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Exemplo
Ao resolver um exerc na oitava aula vericamos que qualquer cio elemento x de U(8) satisfaz a igualdade x x = 1. Isto vai-nos permitir mostrar que, embora os grupos U(8) e Z4 tenham a mesma ordem, no a so isomorfos. a Suponhamos que : Z4 U(8) um isomorsmo. Ento, e a (2) = (1 + 1) = (1) (1) = 1. Tambm e (0) = (0 + 0) = (0) (0) = 1, tendo-se portanto (2) = (0), o que est em contradio com o supormos que injectiva. a ca e

Algebra (Curso de CC)

Ano lectivo 2005/2006

150 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Teorema (Teorema de Cayley)

Todo a grupo isomorfo a um grupo de permutaes. e co Demonstrao. Seja G um grupo. Para cada g G denimos uma ca a c funo tg : G G por tg (x) = gx (x G ). E fcil ver (faa-o como ca exerc cio) que a funo tg (que no mais que a multiplicao ` ca a e ca a esquerda por g ) uma permutao de G . e ca Seja H = {tg | g G }. Vejamos que, com a composio, H um grupo. ca e Ora, para g , h G , tem-se tg th (x) = tg (th (x)) = tg (hx) = g (hx) = (gh)x = tgh (x), donde resulta que tg th = tgh . Segue-se que te a identidade e que (tg )1 tg 1 . e e Tendo em conta que a composio de funes associativa, concluimos ca co e que H um grupo. e Denimos agora : G H por (g ) = tg . Vejamos que preserva as operaes. Sejam x, y G . Tem-se (xy ) = txy = tx ty = (x)(y ). co Pela construo de H, sobrejectiva. Se tg = th , ento tg (e) = th (e), ca e a ou seja ge = he, o que o mesmo que g = h, logo injectiva. e e
Algebra (Curso de CC) Ano lectivo 2005/2006 151 / 166

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

O grupo H constru na demonstrao anterior diz-se a representao do ca ca regular ` esquerda de G . a

Exemplo
Vamos construir a representao regular ` esquerda H de ca a U(8) = {1, 3, 5, 7}. 1 3 5 7 1 3 5 7 Tem-se: t1 = , t3 = , 1 3 5 7 3 1 7 5 1 3 5 7 1 3 5 7 t5 = , t7 = 5 7 1 3 7 5 3 1 Obtm-se ento as tabelas seguintes, as quais diferem apenas nas e a notaes usadas. co U(8) 1 3 5 7 1 1 3 5 7 3 3 1 7 5 5 5 7 1 3 7 7 5 3 1 H t1 t3 t5 t7 t1 t1 t3 t5 t7 t3 t3 t1 t7 t5 t5 t5 t7 t1 t3 t7 t7 t5 t3 t1
Ano lectivo 2005/2006 152 / 166

Algebra (Curso de CC)

Introduo ` Teoria de Grupos ca a

Grupos c clicos

Grupos de permutaes co

Isomorsmos

Propriedades dos isomorsmos

Proposio ca
Seja um isomorsmo de um grupo G num grupo H e sejam a, b G . Ento a 1. envia a identidade de G na identidade de H; 2. para qualquer inteiro n, (an ) = ((a))n ; 3. a e b comutam se e s se (a) e (b) comutam; o 4. ord a = ord (a); 5. dados um inteiro k e um elemento g G , a equao x k = g tem o ca mesmo nmero de solues em G que a equao x k = (g ) em H. u co ca

Exerc cio
Faa a demonstrao da proposio anterior. c ca ca

Algebra (Curso de CC)

Ano lectivo 2005/2006

153 / 166