Primir Prov CTC-0 Estruturs Disrts 4/09/009 Pro Crlos nriqu Q Forstr om: GABARITO 40 pontos Consir Z n { 0 n } Z é um grupo on é oprção ou-xlusivo Mostr qu oprção ou-xlusivo it--it m plvrs 3 its orm um grupo O grupo o itm é ílio? O grupo o itm é lino? Mostr qu i ssoitiv Vriino-s xustivmnt os rsultos pr tos possívis tripls vlors onlui-s qu ii lmnto nutro Vrii-s otno o lmnto 0 omo inti: 0 0 iii lmnto invrso O invrso 0 é 0 o invrso é Trt-s o prouto irto grupos portnto é um grupo omo po-s vriir: i ssoitiv [ ] g h i [ ] g[ ] h[ ] i [ g] [ ] [ i] [ g h i] ii lmnto nutro 000 000 0 0 0 0 0 0 000 iii lmnto invrso O lmnto invrso é o próprio pr tos possívis tripls 000
ão é ílio O ilo gro plo lmnto nutro 000 ontém pns o próprio Os mis ilos gros por irnt inti ontm inti o próprio lmnto Dss orm não é possívl nontrr um lmnto gror toos lmntos o onjunto Sim é lino Vrii-s qu D orm qu
30 pontos Qunto o isomorismo grupos Mostr qu ois grupos initos isomoros têm msm orm Mostr qu s G G são grupos isomoros ntão o G xist G isomoro Rspon justiino onsirno oprção som móulo n : o grupo ormo por Z 8 o grupo ormo por Z Z 4 são isomoros? Di: o qu ont om 03 + 0 Por inição xist um ijção ntr grupos isomoros A B Por sr unção lmnto A stá ssoio um lmnto B Por sr sorjtor não há lmntos B qu não stjm rlionos um A orm qu A B Por sr injtor lmnto A stá rliono um lmnto B istinto orm qu B A Assim: A B o so onjuntos ininitos igul s rinlis ois onjuntos é por inição xistêni um ijção ntr ls G G isomoros : G G injtor sorjtor sugrupo G h h é imgm om omínio Por onstrução é sorjtor pr Por hipóts é injtor é h om oprção o grupo G pois: h h h h h h h h hh h h Vriino s propris grupo i ssoitiv [ ] [ ] ii lmnto nutro h h h h h iii lmnto invrso h h hh h h h h á váris possívis rsposts porém st notr qu m mos os grupos qulqur lmnto lvo oito rsult n inti pns pr o sguno grupo qulqur lmnto lvo qutro rsult n inti Dss orm é impossívl nontrr um ssoição no sguno onjunto pr o númro pois 4 4 0
3 0 pontos Sj G um grupo inito um sugrupo G Dinimos m G G rlção ~ tl qu x ~ y s x y Mostr qu ~ é um rlção quivlêni Dtrmin m qunts lsss quivlêni G é prtiiono o tmnho lss i rlxiv x ~ x xx vr porqu é grupo ii simétri x ~ y xy xy xistêni o invrso xy yx y ~ x iii trnsitiv x ~ y xy y ~ z yz xy yz x y y z xz z sno ~ um rlção quivlêni é inuzi um prtição m G m onjuntos istintos om intrsção nul: G i G i Do um lmnto x m G o su-grupo Pr lmnto h xist um únio y tl qu xy h x hy y h x Ess y é únio pr h pois y h x h x h h Logo lss G possui xtos lmntos G G i G i i
4 0 ponto Sj ij prmutção qu z pns tro posição i om posição j orm qu ii é inti i j Mostr por inução init m qu unção : Z Z L Z S ini por i j k z i+ 3 j+ 4 k+ K z+ é ijtor on S é o onjunto s prmutçõs lmntos 3 Pr : Z S 0 Esgots s possiilis unção é ijtor Supono ijtor mostrr qu + é ijtor K orrspon tos prmutçõs m S i j k z i+ 3 j+ 4 k+ z+ orrspon tror o lmnto íni + i j k z w i j k z + w+ + um s prmutçõs m S por um os lmntos té inio por w+ ou mntr o + sm tror s w Dss orm tos prmutçõs m S + pom sr onstruís já qu insrimos um novo lmnto to orm possívl tos prmutçõs onstruís om ínis istintos são istints vriro por hipóts pr os ínis iz vriro pr w porqu w gr um prmutção irnt s ntriors