TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 263

Aus VoWi
Zur Navigation springen Zur Suche springen

Bestimmen sie alle Untergruppen von ⟨ℤ12,+⟩

ℤ12={0‾,1‾,2‾,3‾,4‾,5‾,6‾,7‾,8‾,9‾,10‾,11‾}

Lösungsvorschlag

[Bearbeiten | Quelltext bearbeiten]

Bedingungen für Untergruppe:

[Bearbeiten | Quelltext bearbeiten]

wenn ⟨U,+⟩ eine Untergruppe ist, dann muss:

- U⊆ℤ12(U eine Teilmenge von ℤ12 sein)

- und ⟨U,+⟩ eine Gruppe sein

U muss:

a) ein neutrales Element(e) enthalten: e=0‾(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 ℤ12 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 finden

[Bearbeiten | Quelltext bearbeiten]

Mögliche U unter der Betrachtung der Bedingungen a), b) und c):

dazu erstmal a'(inverses Element zu jedem Element berechnen):

a+a′=e

11‾+1‾=0‾

10‾+2‾=0‾

9‾+3‾=0‾

8‾+4‾=0‾

7‾+5‾=0‾

6‾+6‾=0‾

5‾+7‾=0‾

4‾+8‾=0‾

3‾+9‾=0‾

2‾+10‾=0‾

1‾+11‾=0‾

0‾+0‾=0‾


Man sieht, dass ausser bei 6‾ und bei 0‾ 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: {0‾}

2 Elemente: {0‾,6‾}

3 Elemente:

{0‾,1‾,11‾}

{0‾,2‾,10‾}

{0‾,3‾,9‾}

{0‾,4‾,8‾}

{0‾,5‾,7‾}

4 Elemente:

-> neutrales Element muss vorhanden sein: 0‾ muss in die Menge

-> 3 Stellen noch "frei" -> eine Stelle mit 6‾ füllen, damit nur mehr zwei Stellen "frei" sind und diese mit a und a' besetzen

{0‾,6‾,1‾,11‾}

{0‾,6‾,2‾,10‾}

{0‾,6‾,3‾,9‾}

{0‾,6‾,4‾,8‾}

{0‾,6‾,5‾,7‾}

6 Elemente:

-> 0‾ muss in die Menge

-> 6‾ muss in die Menge

-> die restlichen 4 Stellen mit zweimal a und zugehöriges a' füllen

mögliche a und a':

1‾,11‾

2‾,10‾

3‾,9‾

4‾,8‾

5‾,7‾

->

{0‾,6‾,1‾,11‾,2‾,10‾}

{0‾,6‾,1‾,11‾,3‾,9‾}

{0‾,6‾,1‾,11‾,4‾,8‾}

{0‾,6‾,1‾,11‾,5‾,7‾}

{0‾,6‾,2‾,10‾,3‾,9‾}

{0‾,6‾,2‾,10‾,4‾,8‾}

{0‾,6‾,2‾,10‾,5‾,7‾}

{0‾,6‾,3‾,9‾,4‾,8‾}

{0‾,6‾,3‾,9‾,5‾,7‾}

{0‾,6‾,4‾,8‾,5‾,7‾}

12 Elemente: ℤ12

mögliche U auf Abgeschlossenheit überprüfen

[Bearbeiten | Quelltext bearbeiten]

alle ⟨U,+⟩ 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 ⟨U,+⟩ keine Gruppe:

-> U:

{0‾}

{0‾,6‾}

{0‾,4‾,8‾}

{0‾,6‾,3‾,9‾}

{0‾,6‾,2‾,10‾,4‾,8‾}

{ℤ12}

Untergruppen von ⟨ℤ12,+⟩:


⟨{0‾},+⟩

⟨{0‾,6‾},+⟩

⟨{0‾,4‾,8‾},+⟩

⟨{0‾,6‾,3‾,9‾},+⟩

⟨{0‾,6‾,2‾,10‾,4‾,8‾},+⟩

⟨ℤ12,+⟩

--Sanssecours 13:01, 28. Dez 2005 (CET)