UNIVERSIDADE ESTADUAL VALE DO ACARAU Coordenao de Matemtica ca a 1a Lista de Exerc cios - Gabarito - Estruturas Algbricas II e 2010.

2 Professor Mrcio Nascimento a 1. Em sala de aula, denimos a relao x G y g G ; y = g 1 xg e a partir da denimos ca as classes de conjugao Cx como sendo as classes de equivalncia da relao citada. Obtenha ca e ca um resultado anlogo para a relao x y g G ; y = gxg 1 . Denote as classes de a ca equivalncia dessa relao por Cx . e ca Soluo: Para mostrar que uma relao de equivalncia em G, mostre que esta uma ca e ca e e relao reexiva (x x para todo x G), simtrica (x y implica y x para quaisquer x, y ca e em G) e transitiva (Se x, y, z G e x y, y z, ento x z). a Cx = {y G ; x y}

2. Investigue a seguinte questo: Dado x G, sempre verdade que Cx = Cx ? a e Soluo: Resposta: Resposta: SIM! Seja y Cx . Ento y = g 1 xg para algum g G. Sendo ca a G um grupo, o elemento g o inverso de h = g 1 , isto , g = h1 . Logo y = hxh1 e portanto e e proca (Cx Cx ) segue da mesma forma. y Cx . A rec

3. Seja H um subgrupo de um grupo G tal que g hg H para todo g G e todo h H. Mostre que Hg = gH. Soluo: Seja y Hg. Ento y = hg para algum h H. Por outro lado, g 1 hg H (por ca a 1 y H, isto , g 1 y = h e portanto y = gh . Portanto y gH. A hiptese) implica que g o e rec proca se d de maneira anloga. a a

4. O nmero de classes laterais (` direita ou ` esquerda) de um subgrupo H num grupo G u a a e chamado ndice de H em G. Mostre que se H um subgrupo de e ndice 2 em um grupo nito G ento toda classe lateral a direita de H tambm uma classe lateral a esquerda de H. a e e Soluo: Se o ca ndice de H em G igual a 2, ento temos exatamente duas classes laterais ` e a a direita (e duas a esquerda). Como e G e He = H uma dessas classes, segue-se que a outra e classe lateral a direita exatamente G H. Assim as duas classes laterais ` direita so H e e a a G H. Analogamente, H = eH e assim as classes laterais a esquerda so H e G H, ou seja, a respectivamente as mesmas classes laterais a direita.

5. Seja H um subgrupo normal de um grupo G. Mostre que, para quaisquer a, b, c G, tem-se (aH)[(bH)(cH)] = [(aH)(bH)](cH) onde (xH)(yH) = {u = ab ; a xH, b yH}. Desta forma, vale a associativade para o conjunto quociente G/H. Soluo: Sendo H um subgrupo normal, sabemos que (xH)(yH) = (xy)H. Portanto ca (aH)[(bH)(cH)] = (aH)[(bc)H] = [a(bc)]H = [(ab)c]H = [(ab)H]cH = [(aH)(bH)](cH) 1

6. Seja : G L um homomorsmo1 de grupos. Mostre que a imagem inversa de eL um e subgrupo de G. Tal subgrupo chamado N cleo ou Kernel de e representado por ker(). e u e Soluo: A imagem inversa de um elemento de y L , por deniao, o seguinte subconjunto ca e c de G: 1 [y] = {x G ; (x) = y} O ncleo de um homomorsmo a imagem inversa do elemento neutro eL do grupo L, isto u e e Ker() = 1 [eL ] = {x G ; (x) = eL } Devemos mostrar que tal conjunto um subgrupo de G. e (i) Sejam x1 , x2 Ker(). Ento (x1 x2 ) = (x1 )(x2 ) = el eL = eL e portanto x1 x2 a Ker(); (ii) Seja x Ker() ento (x1 ) = [(x)]1 = [eL ]1 = eL e portanto x1 Ker(). a

7. Sejam : G L um homomorsmo e H = ker(). Seja a G. Mostre que Ha = {x G ; (x) = (a)} = aH Soluo: Mostremos que Ha {x G ; (x) = (a)} e que Ha {x G ; (x) = (a)}. ca Seja y Ha. Ento y = ha onde h H = Ker(). Da (y) = (ha) = (h)(a) = eL (a) = a , (a), isto , y {x G ; (x) = (a)}. e Reciprocamente, se y {x G ; (x) = (a)}, ento (y) = (a) e: a (y).[(a)]1 = eL = (y).(a1 ) = eL = (ya1 ) = eL = ya1 H Da podemos dizer que (ya1 )a Ha, ou seja, y Ha. , J vimos em sala que H = Ker() um subgrupo normal de G, portanto, tambm verdade a e e e que {x G ; (x) = (a)} = aH.

8. Seja : G L um homomorsmo entre grupos. Se K um subgrupo de L, mostre que 1 [K] e (a imagem inversa do subgrupo K) um subgrupo de G. e Soluo: Por denio ca ca 1 [K] = {x G ; (x) K} G (i) Sejam x1 , x2 1 [K]. Ento (x1 ), (x2 ) K e (x1 x2 ) = (x1 )(x2 ) K. a (ii) Seja x 1 [K]. Ento (x) K e (x1 ) = [(x)]1 K, uma vez que K subgrupo de a e L.

9. Considere os grupos multiplicativos C , R+ . (a) Mostre que f : C R+ denida por f (z) = |z| um homomorsmo. e Soluo: Sejam z, w C . Ento f (z.w) = |z.w| = |z|.|w| = f (z).f (w) ca a
1

Isto , (xy) = (x)(y) e

(b) Use a questo anterior para mostrar que o conjunto de todos os nmeros complexos de a u . mdulo 1, formam um subgrupo U de C o Soluo: Sejam z1 , z2 nmeros complexos cujo mdulo 1. Ento |z1 .z2 | = |z1 |.|z2 | = 1.1 = 1, ca u o e a isto , z1 .z2 tambm tem mdulo 1. Alm disso, se |z| = 1 ento z = 0 e portanto |1/z| = e e o e a 1/|z| = 1/1 = 1, isto , o inverso de z tambm tem mdulo 1. e e o (c) Descreva as classes laterais de U . solucao U a = {z.a ; |z| = 1}. Como C comutativo, segue que U a = aU e portanto U e e subgrupo normal.

10. Mostre que um homomorsmo de grupos : G L injetivo se, e somente se, ker() = {eG }. e Soluo: J sabemos que (eG ) = eL . Sendo injetivo, no pode existir outro elemento em G ca a a cuja imagem eL . Portanto, Ker() = {eG }. e Reciprocamente, se Ker() = {eG }, ento a (x) = (y) (x).[(y)]1 = eL (x).(y 1 ) = eL (xy 1 ) = eL isto , xy 1 Ker(). Assim, xy 1 = eG e portanto x = y. Temos injetiva. e

11. Seja : G L um homomorsmo. Mostre que se |G| nito, ento |(G)| nito e um e a e e divisor de |G|. Soluo: Observe que no sabemos se L nito. ca a e Por denio, (G) = {(g) ; g G} L. Se G nito, ento, |(G)| |G|, portanto (G) ca e a e nito. Vimos no exerc cio 3 que Ha = {x G ; (x) = (a)} onde H = Ker(), ou seja, G = Ha1 Ha2 . . . Han = {x G ; (x) = (a1 )} . . . {x G ; (x) = (an )} Armao: (G) = {(a1 ), . . . , (an )}. ca De fato, se y (G) ento existe x G tal que (x) = y. Por (1), se x G, ento x {x a a G ; (x) = (aj )} para algum j {1, 2, . . . , n}, ou seja, y = (aj ). Desta forma, temos (i) G = Ha1 Ha2 . . . Han e portanto n (nmero de classes laterais) divide a ordem de G. u (ii) (G) = {(a1 ), . . . , (an )} e portanto |(G)| = n. De (i) e (ii) segue que |(G)| divide |G|. (1)

12. Cuidado: parece a questo anterior, mas no . Seja : G L um homomorsmo. Mostre a a e que se |L| nito, ento |(G)| nito e um divisor de |L|. e a e e Soluo: Desta vez, L nito e sendo (G) um subgrupo em L, segue do teorema de Lagrange ca e que |(G)| divide L

13. Seja : G L um homomorsmo qualquer entre grupos. Mostre que se |G| um nmero e u primo ento um homomorsmo trivial ou uma aplicao injetiva. a e e ca Soluo: Sabemos que Ker() um subgrupo de G. Se G tem ordem prima, ento |Ker()| = 1 ca e a ou |Ker()| = |G|, isto , Ker() = {eG } ou Ker() = G. Se Ker() = {eG } ento pelo e a exerc cio 6, injetiva. Se Ker() = G ento (x) = eG para todo x G. e a 3

14. Sejam G, L, M grupos e : G L, : L M homomorsmos. Mostre que a composta : G M tambm homomorsmo. e e Soluo: Sejam x, y G. Ento ca a (xy) = ((xy)) = ((x)(y)) = ((x))((y)) = (x)(y)

15. Seja : G L um homomorsmo de grupos. Mostre que (G) abeliano se, e somente se, e 1 y 1 Ker() para quaisquer x, y G tem-se xyx Soluo: Suponha (G) abeliano. Ento dados x, y G. Ento xyx1 y 1 G e ca a a (xyx1 y 1 ) = (xx1 yy 1 ) = (eG ) = eL ou seja, xyx1 y 1 Ker(). Reciprocamente, suponha xyx1 y 1 Ker() para quaisquer x, y G. Sejam z, w (G). Ento, existem x, y G tais que z = (x), w = (y). Sendo homomorsmo, temos a e = (xyx1 y 1 ) = (xy)(x1 y 1 ) = (x)(y).[(x)]1 [(y)]1 = zwz 1 w1 Assim e = zwz 1 w1 ew = zwz 1 w1 w w = zwz 1 wz = zwz 1 z wz = zw

16. Sejam G um grupo, h, k G e : Z Z G denida por (m, n) = hm k n . D uma condio e ca necessria e suciente, envolvendo h e k, para que seja um homomorsmo. Prove sua condio, a ca claro. Soluo: Note que (1, 0) = h e que (0, 1) = k. ca Suponha um homomorsmo. Ento a (1, 1) = ((1, 0) + (0, 1)) = (1, 0) (0, 1) = h k (1, 1) = ((0, 1) + (1, 0)) = (0, 1) (1, 0) = k h ou seja, se um homomorsmo, devemos ter hk = kh. e Mostremos que essa condio suciente. Suponha hk = kh para quaisquer h, k G. Ento ca e a ((r, s) + (m, n)) = (r + m, s + n) = hr+m k s+n = hr hm k s k n Veja que2 : hm k s = k s hm Da ((r, s) + (m, n)) = hr k s hm k n = (r, s)(m, n)

17. D uma condio necessria e suciente sobre G para que a aplicao descrita no exerc e ca a ca cio anterior seja um homomorsmo para qualquer escolha de h e k. Soluo: Na questo anterior, a condio necessria e suciente era hk = kh. Para que isso ca a ca a seja verdade para quaisquer h, k G, ento necessrio e suciente que o grupo seja abeliano. a e a
2

prove usando induao, por exemplo c

18. Sejam M, N subgrupos normais de G. Mostre que M N e M N tambm o so. e a Soluo: Sendo M, N subgrupos normais, ento M x = xM e N x = xN para qualquer x G. ca a A mostrar: (i) (M N )x = x(M N ) para todo x G; (ii) (M N )x = x(M N ) para todo x G. (i) Seja y (M N )x. Ento y = hx onde h M N , isto , h M e h N . Desta a e forma, y M x e y N x e sendo M, N normais em G, temos y xM e y xN . De y xM , temos que y = xh1 onde h1 M e de y xN temos y = xh2 com h2 N . Portanto xh1 = xh2 e pela lei do cancelamento, h1 = h2 , isto , y = xh onde h = h1 = h2 M N e portanto e y x(M N ). De maneira anloga faz-se a rec a proca. (ii) Seja y (M N )x. Ento y (mn)x onde m M , n N . Temos: a y = (mn)x = m(nx) = m(xn ) = (mx)n = (xm )n = x(m n ) proca. Portanto, y x(M N ). Analogamente, segue-se a rec

19. Sejam G um grupo, N um subgrupo normal e H um subgrupo de G. Mostre que H N Soluo: A mostrar x(H N ) = (H N )x para qualquer x H. ca

H .

Seja y x(H N ). Ento y = xh onde x H e h H N . Note que h N implica que a y = h x para algum h N . Portanto, temos xh = h x com xh H (uma vez que x e h pertencem a H). Logo h x H e portanto h = (h x)x1 H (pois x H implica x1 H, uma vez que H subgrupo de G), ou seja, h H N e e y (H N )x. De maneira anloga, temos a rec a proca.

20. Seja N G. Mostre que N

G se, e somente se, x1 N x = N .

Soluo: Suponha N subgrupo normal de G. Ento N x = xN para todo x G. Em particular, ca a N x1 = x1 N para todo x G. A mostrar: (i) x1 N x N (ii) x1 N x N Seja y x1 N x. Ento y = x1 nx onde n N . Sendo N um subgrupo normal, segue que a nx = xn para algum n N , ou seja, y = x1 xn = n e portanto y N Reciprocamente, se y N , ento y = xx1 y = x(x1 y). Como N subgrupo normal, segue a e que x1 y = y x1 para algum y N , ou seja, y = x(y x1 ) e portanto y x1 N x Agora devemos mostrar que se x1 N x = N para todo x G, ento N um subgrupo normal a e em G. A mostrar: (i) N x xN (ii) N x xN

Seja y N x. Ento y = nx para algum n N . Da a x1 y = x1 nx = x1 y = n N = x(x1 y) = xn = y = xn = y xN Reciprocamente, seja y xN . Ento y = xn para algum n N . Da yx1 = xnx1 , ou seja, a , o yz = z 1 nz onde z = x1 . Usando a hiptese, podemos armar que yz = n para algum n N e portanto yzz 1 = n z 1 , ou seja, y = n z 1 = n x e assim y N x.

21. Sejam G um grupo e H um subgrupo. Seja NH o conjunto de todos os x G tais que xHx1 = H. Mostre que NH um grupo que contm H e que H normal em NH . e e e Soluo: NH = {x G ; xHx1 = H}. A mostrar: ca (i) NH grupo; (ii) H NH (iii) H NH Veja que NH G. Mostremos que NH G. Para isso, dados a, b NH , devemos provar que (ab)H(ab)1 = H e dado y NH , mostrar que y 1 NH , ou seja, y 1 H(y 1 )1 = H. Sejam a, b NH . Considere y (ab)H(ab)1 . Ento a y = (ab)h(ab)1 = (ab)h(b1 a1 ) = a(bhb1 )a1 = ah a1 = h e portanto (ab)H(ab)1 H. Para mostrar que H (ab)H(ab)1 , devemos mostrar que dado y H, tem-se y = (ab)h(ab)1 para algum h H. Dado y H, temos y = (ab)(ab)1 y = (ab)(b1 a1 )y (2) yH

Por hiptese, a NH , ou seja, aHa1 = H. Assim, dado y H, existe h1 H tal que o y = ah1 a1 e portanto a1 y = h1 a1 . Com isso, de (2), temos y = abb1 (a1 y) = abb1 (h1 a1 ) = ab(b1 h1 )a1 (3)

Por outro lado, b NH implica que bHb1 = H, isto , dado h H temos h = bh b1 para e 1 e portanto b1 h = h b1 . De (3), temos algum h H. Em particular, h1 = bh b 1 y = ab(b1 h1 )a1 = ab(h b1 )a1 = abh (b1 a1 ) = abh (ab)1 e portanto y (ab)H(ab)1 . Conclu mos que H (ab)H(ab)1 . Com essas duas incluses, temos que o a, b NH = ab NH o prximo passo mostrar que o inverso de um elemento de NH tambm est em NH . Feito o e e a isso, teremos provado o item (i) Seja y NH . Mostremos que y 1 NH , isto , que H = y 1 H(y 1 )1 = y 1 Hy. Faamos, e c novamente, por dupla incluso. a Se z H, ento yzy 1 yHy 1 = H, ou seja, yzy 1 = h para algum h H. Da a yzy 1 = h = y 1 (yzy 1 ) = y 1 h = (zy 1 )y = y 1 hy = z y 1 Hy Com isso H y 1 Hy 6 (4)

Reciprocamente, se z y 1 Hy ento z = y 1 hy para algum h H. Sendo H = yHy 1 , segue a 1 para algum h H. Da que h = yh y z = y 1 hy = y 1 (yh y 1 )y = (y 1 y)h (y 1 y) = h z H Portanto H y 1 Hy De (4) e (5), temos H = y 1 Hy e portanto y 1 NH . Ainda temos os itens (ii) e (iii) a demonstrar. Mostremos (ii). Seja x H. Ento xHx1 = H. De fato, se y xHx1 ento y = xhx1 , ou seja, y H e a a portanto xHx1 H (6) (5)

Reciprocamente, se y H ento o elemento x1 yx pertence a H. Portanto y = x(x1 yx)x1 a pertence a xHx1 . Por m, resta mostrar que H um subgrupo normal de NH , isto , temos que mostrar que e e xH = Hx para todo x NH . Faamos, mais uma vez, usando dupla incluso. c a Seja y Hx. Ento y = hx para algum h H. Como x NH , ento xHx1 = H, isto , a a e h = xh x1 para algum h H. Da y = (xh x1 )x = xh xH. Portanto Hx xH. , Inversamente, seja y xH. Ento y = xh para algum h H. Sendo x NH e NH subgrupo de a G, temos x1 NH , ou seja x1 H(x1 )1 = H. Da h = x1 h (x1 )1 e y = xh = x(x1 h x) = , h x Hx

22. Mostre que se M, N so subgrupos normais de G e M N = {e}, ento mn = nm para todos a a m M, n N . Soluo: Observe que ca mn = nm mnm1 = n mnm1 n1 = e mn(nm)1 = e Mostremos, ento, a ultima igualdade. Temos mn mN = N m. Portanto a mn = n m para algum n N . Por outro lado, nm nM = M n, ou seja, nm = m n = (nm)1 = n1 (m )1 para algum m M . De (8), temos (mn)(nm)1 = (mn)(n1 (m )1 ) = m(m )1 M Usando (7), podemos escrever (mn)(nm)1 = (n m)(m1 n1 ) = n n1 N (10) (9) (8) (7)

De (9) e (10), temos (mn)(nm)1 M N . Mas por hiptese, M N = {e} e portanto o 1 = e. (mn)(nm) 7

23. Mostre que se um grupo nito G possui um unico subgrupo N de uma dada ordem, ento N a

G.

Soluo: Seja n = |N |. Considere a aplicao ig : G G denida por ig (x) = gxg 1 para g ca ca elemento qualquer em G. Tal aplicao um homomorsmo bijetor, portanto, um isomorsmo3 . ca e Sendo |N | = n, temos |ig (N )| = n (pela injetividade). Alm disso, ig (N ) G. Como N o e e 1 ; n N } = gN g 1 . Pela unico subgrupo de ordem n, temos N = ig (N ), isto , N = {gng e questo 16, segue-se que N subgrupo normal de G. a e

24. Mostre que Z(G)

G.

Soluo: Por denio, Z(G) = {a G ; ax = xa para todo x G}. A mostrar: yZ(G) = ca ca Z(G)y para todo y G. Usemos dupla incluso. a Seja yZ(G). Ento = yx onde x Z(G). Da = xy e portanto Z(G)y. Analogaa , mente, temos a rec proca.

25. Sejam G um grupo, H G e N Soluo: A mostrar ca (i) N H G (ii) N H = HN

G. Mostre que N H G e que N H = HN .

Para mostrar (i), mostremos que dados nh, n h N H (com n, n N , h, h H) temos (nh)(n h ) N H e que (nh)1 N H. Sendo N um subgrupo normal, segue que xN = N x para todo x G. Em particular, n h N h = h N . Da temos: , (nh)(n h ) = nh(h n ) = n(hh )n = n(h n ) = n(n h ) = (nn )h = nh N H

(nh)1 = h1 n1 h1 N = N h1 = (nh)1 = n h1 N H Para mostrar (ii), faamos dupla incluso. c a Seja x N H. Ento x = nh. Sendo N um subgrupo normal, segue que x = hn e portanto a x HN . Reciprocamente, se x HN ento x = h1 n1 e sendo N subgrupo normal, isto , a e h1 N = N h1 , temos que x = n h1 N H.

26. Seja f : G J um homomorsmo sobrejetor de grupos. Se H um subgrupo normal de G, e mostre que f (H) J. Soluo: Que f (H) subgrupo de J, j sabido. A mostrar yf (H) = f (H)y para todo y J. ca e ae Seja z yf (H). Ento z = yf (h) para algum f (h) f (H). Sendo f sobrejetor, segue que a y = f (x) para algum x G, portanto, z = f (x)f (h) = f (xh). Mas H normal, portanto e xH = Hx, isto , xh = h x para algum h H e assim z = f (h x) = f (h )f (x) = f (h )y e e z f (H)y. Conclu mos que yf (H) f (H)y. A rec proca se d de maneira anloga. a a
3

Feito no exerc 24, mas tente fazer agora. cio

27. Seja f : G L um homomorsmo com H = ker(f ). Suponha que G nito. Mostre que e |G| = |f (G)|.|H|. Soluo: Da questo 7, temos que |f (G)| divide |G|. Alm disso, da equao das classes, ca a e ca sabemos que |G| = n|H| onde n o nmero de classes laterais com relao a H = Ker(f ). Na e u ca resoluo da questo 7, vimos que |f (G)| exatamente n. Portanto, |G| = |f (G)|.|H| ca a e

28. Sabe-se que o conjunto dos automorsmos de G (conjunto de todos os isomorsmos de G em G), denotado por Aut(G), um grupo com relao a composio de aplicaes. Para cada a G, e ca ca co seja Fa : G G dada por Fa (x) = axa1 , x G. Mostre que I(G) = {Fa ; a G} um e subgrupo normal de Aut(G). Soluo: Temos Aut(G) = {f : G G ; f isomorf ismo}. ca Primeiramente, mostremos que I(G) subconjunto de Aut(G), isto , que todo elemento de e e I(G) um isomorsmo (homomorsmo bijetor) de G em G. Seja Fa I(G). Ento e a Fa (xy) = a(xy)a1 = (ax)(ya1 ) = (ax)(a1 a)(ya1 ) = (axa1 )(aya1 ) = Fa (x)Fa (y) portanto, Fa homomorsmo. O ncleo de Fa Ker(Fa ) = {x G ; Fa (x) = e}. Seja e u e x Ker(Fa ). Ento a Fa (x) = e axa1 = e axa1 a = ea ax = a x = e Portanto Kerf (Fa ) = {e} e Fa injetiva. e Dado y G, temos que x = a1 ya G. Portanto Fa (x) = axa1 = a(a1 ya)a1 = y e assim Fa sobrejetiva. e Agora, mostremos que I(G) subgrupo de Aut(G). Sejam Fa , Fb I(G). Ento e a (Fa Fb )(x) = Fa (Fb (x)) = Fa (bxb1 ) = a(bxb1 )a1 = (ab)x(b1 a1 ) = (ab)x(ab)1 = Fab (x) e portanto Fa Fb I(G).

(Fa Fa1 )(x) = Fa (Fa1 (x)) = Fa ((a1 )x(a1 )1 ) = Fa (a1 xa) = a(a1 xa)a1 = x = Fe (x) Logo, Fa Fa1 = eAut(G) , ou seja, Fa1 = [Fa ]1 I(G). A mostrar: I(G) subgrupo normal de Aut(G), ou seja f I(G) = I(G)f f Aut(G) a Como sempre, faamos por dupla incluso. Seja y f I(G). Ento y = f Fa para algum a G. c a Dado x G, temos y(x) = (f Fa )(x) = f (Fa (x)) = f (axa1 ) = f (a)f (x)f (a1 ) = f (a)f (x)f (a)1 = Ff (a) (f (x)) Portanto, y(x) = (f Fa )(x) = (Ff (a) f )(x) e y = Ff (a) f I(G)f 9

Reciprocamente, dado y I(G)f , temos y = Fa f para algum a G. Dado x G, temos y(x) = (Fa f )(x) = Fa (f (x)) = af (x)a1 Sendo f Aut(G), segue que f sobrejetor, isto , existe b G tal que a = f (b). Assim e e y(x) = f (b)f (x)(f (b))1 = f (b)f (x)f (b1 ) = f (bxb1 ) = f (Fb (x)) = (f Fb )(x) e y = f Fb f I(G)

29. Seja T um subgrupo c clico e normal de G. Mostre que todo subgrupo de T subgrupo normal e de G. Soluo: Como H T segue que T tambm c ca e e clico, portanto, sendo T = x , segue que s para algum s > 0 Z. H= x Agora usaremos o seguinte fato (que pode ser provado por induo): ca (gxg 1 )m = gxm g 1 , x, g G e mZ (11)

Temos que gtg 1 T para todo t = xk T e para todo g G, pois T normal em G. Isso nos e diz que gxk g 1 = xj (12) para algum j. Da (gtg 1 )s = (xj )s = (xs )j H Por outro lado, de (11), temos (gtg 1 )s = gts g 1 = g(xk )s g 1 , e de (12), temos: (xs )j = g(xs )k g 1 H ou seja, dado h = xs H, temos ghg 1 H para todo g G. Pela questo 16, segue-se que H a normal em G. e

30. Seja G um grupo e N

G.

(a) Mostre que se G abeliano ento G/N abeliano. e a e Soluo: Sejam N x, N y G/N . Ento (N x)(N y) = N (xy) = N (yx) = (N y)(N x) ca a

(b) Mostre que se G c e clico ento G/N c a e clico. Soluo: Se G c ca e clico, ento G = a . Seja N x G/N . Ento N x = N (ak ) = N (a.a. . . . .a) = a a (N a)(N a)...(N a) = (N a)k .

10

31. Seja G um grupo, N G e considere o grupo quociente G/N . Mostre que a projeo cannica ca o : G G/N denida por (x) = xN um homomorsmo sobrejetor e que N = ker(). e Soluo: Sejam x, y G. Ento, sendo N normal em G, temos: ca a (xy) = (xy)N = (xN )(yN ) = (x)(y) Portanto, homomorsmo. e Seja A G/N . Ento A = xN para algum x G. Ora, mas se x G, ento (x) = xN , ou a a seja, A = (x) e portanto sobrejetiva. e Encontremos o ncleo de . Seja x G tal que (x) = N = eG/N . Ento xN = N , isto u a , dado n N , temos n = xn para algum n N e portanto x = n(n )1 N . Assim, e se x Ker() ento x N , ou seja, Ker() N . a Reciprocamente, se x N , ento xN = N e portanto (x) = xN = N = eG/N , isto , a e todo elemento em N tambm elemento de Ker(), ou, em s e e mbolos, N Ker(). Mais uma vez usando o argumento de incluso dupla, conclu a mos que N = Ker()

11