Bestimmen sie alle Untergruppen von
wenn
eine Untergruppe ist, dann muss:
-
(U eine Teilmenge von
sein)
- und
eine Gruppe sein
U muss:
a) ein neutrales Element(e) enthalten:
(Bedingung damit U eine Gruppe ist)
b) ein inverses Element(a') enthalten (Bedingung damit U eine Gruppe ist)
c) Die Mächtigkeit von U muss Teiler der Mächtigkeit von
sein (Satz von Lagrange) also die Mächtigkeit von U ist entweder 1,2,3,4,6 oder 12 Elemente
d) U muss abgeschlossen sein (Bedingung damit U eine Gruppe ist)
e) muss assoziativ sein (gilt für Rechnen in Restklassen) -> e ist erfüllt
Mögliche U unter der Betrachtung der Bedingungen a), b) und c):
dazu erstmal a'(inverses Element zu jedem Element berechnen):
Man sieht, dass ausser bei
und bei
immer zwei Elemente gebraucht werden damit ein Element und das zugehörige inverse Element in der Menge vorkommen können (Element und zugehöriges inverses Element müssen in die Menge, damit eine Gruppe vorliegen kann)
mögliche U:
1 Element:
2 Elemente:
3 Elemente:
4 Elemente:
-> neutrales Element muss vorhanden sein:
muss in die Menge
-> 3 Stellen noch "frei" -> eine Stelle mit
füllen, damit nur mehr zwei Stellen "frei" sind und diese mit a und a' besetzen
6 Elemente:
->
muss in die Menge
->
muss in die Menge
-> die restlichen 4 Stellen mit zweimal a und zugehöriges a' füllen
mögliche a und a':
->
12 Elemente:
alle
müssen jetzt noch auf Abgeschlossenheit überprüfen: Wenn Restklassen in U zusammengezählt eine Restklasse ergeben, die sich nicht in U befindet so bildet
keine Gruppe:
-> U:
Untergruppen von
:
--Sanssecours 13:01, 28. Dez 2005 (CET)