Delgrupp
Hej
jag behöver lite hjälp med denna uppgift, jag tror att jag förstår hur man ska få fram svaren till a och b men inte c-uppgiften.
Betrakta delgrupperna H:=(w) och N:=(-1) av , den abelska gruppen av nollskillda komplexa tal under multiplikation där w:=
a) Ange elementen i H och N
b) Ange alla element i mängden HN=och visa att HN är en delgrupp i
c) Avgör om HN är cyklisk. I så fall ange en generator av HN.
Elementen i H och N ska bli och N:=(-1,1)
ska man ha med de tre första elementen efter som vi i detta fall har att och vi måste därför ta w tre gånger för att få ?
sedan i b-uppgiften får jag HN=
I c-uppgiften förstår jag inte hur man ska göra, i svaret ser jag att -w är en generator till gruppen genom
är delgruppen som genereras av (oaranteserna runt är notationen för den delgrupp som genereras av ), d.v.s. det är delgruppen som består av alla potenser av . Som du säger kommer dock potenserna att upprepa sig efter gånger, då (kom ihåg att är identitetselementet i ). Detta betyder att , vilket alltså inte blir ett nytt element utan bara upprepar sig. Alltså är .
Det grundläggande sättet att kolla om en delgrupp, eller en grupp i allmänhet, är cyklisk är att se om det finns något element som genererar hela gruppen (definitionen av en cyklisk är att de genereras av ett enda element). I detta fall, då gruppen bara har 6 element, är det inte så jobbigt att bara testa alla 6. Så t.ex. är inte en generator, vilket vi kan testa genom att ta potenser av och se om de blir hela gruppen. Men vi har ju redan konstaterat att potenserna av bara blir , vilket inte är , varför inte kan vara en generator till .
Okej, då får jag för H:
men när man ska generera hela gruppen HN förstår jag inte riktigt hur man ska göra. Hur ska man multiplicera tex *-w
Multiplikation i är "vanlig" multiplikation. Så $w^2 * -w = -w^3$$, precis som när man räknar med vilket algebraiskt uttryck som helst.
(Insåg precis också att vi båda glömt ett i , d.v.s. bör väl ändå vara )
När jag multiplicerar ihop får jag denna cayleytabell där samtliga element genererar gruppen
så jag förstår inte varför just (-w) är svaret men sedan får jag inte samma svar som jag skrev i inledningen så någonstans blir det fel.
Jag är inte riktigt med på hur du får att alla element genererar gruppen från Cayleytabellen.
För att ett element ska generera gruppen ska man få hela gruppen genom att ta elementet gånger sig självt upprepade gånger. Som jag skrev tidigare så uppfyller t.ex. inte detta, då potenserna av bara är .
uppfyller dock detta och det kan du testa genom att ta potenser av ( o.s.v.).