lgebra Moderna Alguns exerccios respondidos.

1) Seja R* o grupo multiplicati o dos n!meros reais n"o nulos. #escre a explicitamente o n!cleo do $omomor%ismo alor absoluto x&'x' de R * em si mesmo. ( $omomor%ismo ) injetor* +ual ) a imagem desse $omomor%ismo* Seja f: R* R* e f(x)=IxI. Para provar se o homomorfismo injetor, faamos; Ker (f): x ! R" f(x)= #= $% &estan'o f(x) = $, temos (#e IxI=$, x=)$. *nt+o, Ker (f)= ,$,$%

-om o .r#po R*, e=$. Para ser homomorfismo injetor, Ker= $%. /0 (#e isso n+o a1onte1e, por(#e 1omo vimos Ker= ,$,$%, o# seja, Ker 2 e, ent+o o homomorfismo n+o injetor. /0 (#e f(x)=IxI, ent+o, a ima.em 'este homomorfismo, 1om o .r#po in'i1a'o R*3. ,) Sejam - e . grupos multiplicati os/ % um $omomor%ismo de - em . e 0 um subgrupo de .. Mostre 1ue %2130) 4 5x -6 %3x) 07 ) um subgrupo de -. Prova: i) ii) iii) -omo f(e4) = e/, ent+o, e4 = f,$(e/) f,$(5) (e/5); Sejam f(a), f(6) 5, ent+o, a, 6 f,$(5). 7evemos mostrar (#e a.6 f,$(5) -omo f(a) . f(6) = f(a.6) 4, ent+o a.6 f,$(5); Seja f(a) 5, ent+o f(a),$= f(a,$) 5. -omo f(a) 5, ent+o, a f,$(5). Por o#tro 8a'o, f(a,$) 5, pois 5/, ent+o, a,$ f-1(H). 9o.o, f,$(5)4.

8) 9ro e 1ue um grupo 3-/ ) ) abeliano se/ somente se/ %: -- de%inida por %3x) 4 x21 ) um $omomor%ismo. Para provar (#e f homomorfismo, vamos mostrar (#e a ap8i1a+o f: 4 4 x x ,$ #m homomorfismo. 7e fato para x, : ! 4; temos: f: (x , :) = (x:),$ =:,$ . x,$ = x,$ . :,$

= f(x) . f(:) 9o.o, f homomorfismo. ;eja (#e f:44 ta8 (#e f(x) = x,$ so6rejetora, pois a 8ei 'a f#n+o 8eva #m e8emento 'o 'om<nio ao se# inverso, e se 4 .r#po ent+o para to'o e8emento 'o 'om<nio sempre existir0 o se# inverso no 1ontra'om<nio. =ssim, a ima.em 'a f#n+o ser0 i.#a8 ao 1ontra'om<nio (#e o pr>prio 4. 7esse mo'o, seja f(x), f(:) Im(f) = 4, 8o.o f(x).f(:) = x,$:,$ (i), pois f homomorfismo. Por o#tro 8a'o f(:).f(x) = :,$.x,$ = (x.:) (ii) 7e (i) e (ii) 4 a6e8iano. ;) Seja a um elemento %ixo do grupo multiplicati o -. 9ro e 1ue %: - de%inida por %3x) 4 a21xa ) um isomor%ismo. #etermine %21. #e %ato/ sejam x/ < - ent"o %3x.<) 4 ax<a 21 4 ax. e.<a21 4 ax.a21.a<a21 4 3ax.a2 1 ) 3a<a21) 4 %3x). %3<). logo/ % ) $omomor%ismo. Para a f#n+o ser isomorfismo, f tem (#e ser 6ijetora. ?ostremos s#a injetivi'a'e. Sejam x, : ! 4 tais (#e, f(x) = f(:). 7a< a x a,$ = a : a,$ , m#8tip8i1an'o a em am6os os 8a'os 'a i.#a8'a'e temos ax.e=a:.e x=: Portanto, a f#n+o f injetora ?ostremos (#e f so6rejetora. Seja : ! 4 6asta tomar x= a,$:a ! 4 ta8 (#e f(x) = x,$ 7e fato f(x) = (a,$ : a) = a (a,$ : a) a,$ = (a,$) : (a,$ a) = e : e = : *nt+o, f so6rejetora, portanto f isomorfismo. =) Sabendo 1ue , munido da opera>"o de soma de pares ordenados ) um grupo e 1ue M,3 ) com a soma usual de matri?es tamb)m ) grupo. Mostre 1ue %: , M,3 ) dada por %3a/b) 4 ) um $omomor%ismo

injetor. a) Sejam x(a,6) e :=(1,') perten1entes a x 1om a,6 , 8o.o f(x3:) = ((a,6) 3 (1, ')) = f((a31, 6,')) = = f(a, 6) 3 f(1, ') = f(x) 3 f(:). 9o.o f f homomorfismo@

b) f injetora pois se f(x) = f(:) 1om x.(a,6) e :=(1, '). 8o.o f(a, 6) = f(1,')

se '#as matriAes 'e or'em B s+o i.#ais ent+o os e8ementos 'as 1o8#nas e 8inhas 1orrespon'entes 'e #ma matriA i.#a8 ao 'a o#tra assim, a = 1, , 6 = , ', 6 = ' e a = 1. Portanto, (a, 6) = (1, ') x = : 1) f n+o isomorfismo pois n+o so6rejetora. -ontra,exemp8o: = matriA ? = ?B () = -7(f) e ? .

9o.o existem e8ementos 'o 1ontra'om<nio (#e n+o faA parte 'a ima.em.
d) Ker(f) = (C, C)% pois f(C, C) =

= e8emento ne#tro 'o

.r#po (?B(),3).

@) #etermine todos os subgrupos de 3Z11/ A). 3 C $ B D E F G H I J $C C C $ B D E F G H I J $C $ $ B D E F G H I J $C C B B D E F G H I J $C C $ D D E F G H I J $C C $ B E E F G H I J $C C $ B D F F G H I J $C C $ B D E G G H I J $C C $ B D E F H H I J $C C $ B D E F G I I J $C C $ B D E F G H J J $C C $ B D E F G H I $C $C C $ B D E F G H I J

Seja K$$ #m .r#po finito, pe8o teorema 'e 9a.ran.e, existe 5 s#6.r#po 'e K $$, on'e I5I 'ivi'e I K$$I. Para 'eterminar to'os os s#6.r#pos 'e K $$, temos: K$$ = C,$,...,$C%. /0 (#e 5 s#6.r#po 'e K$$, ent+o I5I 'ivi'e I K$$I .

=ssim, I5I = $ o# I5I = $$. 9o.o, 5= C% o# 5= C,$,...,$C%.