abelska grupper
Hej
jag har en uppgift som jag inte riktigt förstår hur man ska lösa och behöver därför lite hjälp.
Ange samtliga abelska grupper med 24 element, och visa att det finns ett element av ordning 6 i var och en av dem. Ange också ett sådant element i respektive grupp.
Grupperna får jag till , och
Sedan ska element av ordning 6 bli (1,0,0,1) för den första gruppen (1,0,1) för den andra gruppen och (4,1) av den tredje och där är jag inte med på hur man ska komma fram till det.
Jag antar här att du frågar efter hur man på ett konstruktivt sätt kan komma fram till svaren utan att gissa på måfå och inte om hur man verifierar att elementen faktiskt har ordning 6 när man fått dem. Verifikation är ju inte så svårt att göra "brute-force".
Ett sätt att tänka på det är med minsta gemensamma faktor. Så om man tar (4,1) som exempel, vad har 4 för ordning i och vad har 1 för ordning i ? Vad är minsta gemensamma faktor av ordningarna?
edit: Glömde backslash i LaTeX.
jag får att i och i och vi får då MGM(2,3)=6
men om man tittar på innan man vet att den ska bli (1,0,1) först ska man väl tänka vilka tal som man kan multiplicera för att få 6, dvs 1,2,3 eller 6. Ordningen för 1 i får vi ju 1=1, 1+1=0 får vi inte då 0(1)=2 i ?
Det är en bra början att tänka på faktorerna av 6 (1,2,3,6). Talen du väljer bör ha ordningar som är någon av de talen, annars kan dom inte ha MGF = 6 på något sätt. Det du behöver är att MGF av ordningarna av de olika talen du väljer är 6. Ett tips kan vara att man alltid kan "fylla ut" med tal av ordning 1 (vilka är dessa?), då dessa inte påverkar MGF. T.ex. så är MGF(2,3) = MGF(2,1,3) = 6. Så om man kan hitta tal av ordning 2 och 3 är man klar, då kan man bara "fylla ut" resten.
om man då tittar på den andra gruppen får jag att 0(1)=2 i och 0(1)=3 i men vad blir ordningen av noll i ?
0 är identitetselementet och identitetselementet har alltid ordning 1.