TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 385

Bestimmen Sie alle Untergruppen der Gruppe der Restklassen modulo 4 mit der Addition.

Lösungsvorschlag von Soymilk-drinkerEdit

Gegeben und gesucht?Edit

Gegeben ist:

 

  = Menge der Restklassen modulo 4

Gesucht werden alle möglichen Untergruppen U von G:

 

Teilmengen von MEdit

Welche Untergruppen können wir eigentlich haben?

Betrachten wir das ganze mal rein ohne alle Eigenschaften einer Gruppe abzufragen.

Als   nehmen wir alle möglichen Teilmengen von M. Bei den möglichen Teilmengen können wir die leere Menge weglassen (hat keine Elemente, und ohne Elemente kann man ja mit der Addition nicht rechnen).

 

Reduzierung der TeilmengenEdit

Jetzt wissen wir welche Teilmengen es gibt. Nun müssen wir nur noch überprüfen, auf welche der Teilmengen mit der Addition die Eigenschaften von Gruppen zutreffen. Diejenigen welche keine Gruppe sind können keine Untergruppe von G sein und können wegfallen.

Neutrales ElementEdit

Das neutrale Element einer Untergruppe und das neutrale Element der Gruppe sind die selben. Suchen wir also nach dem neutralen Element von G, dann können wir die Teilmengen entfernen die es nicht enthalten.

Das neutrale Element von G ist nicht schwer zu finden, es ist nämlich die  .

  ist daher auch das neutrale Element von U und wir können die Teilmengen entfernen die es nicht enthalten.

 

Inverses ElementEdit

Sehen wir uns die inversen Elemente der Restklassen an:

 

 

 

 

Die Restklassen 0 und 2 sind jeweils ihre eigenen inversen Elemente. Doch die Restklasse 1 ist das inverse Elemente der Restklasse 3 und umgekehrt.

Wir können also die Teilmengen entfernen die nur die Restklasse 1 oder nur die Restklasse 3 enthalten, denn diesen Teilmengen würden inverse Elemente fehlen.

 

AbgeschlossenheitEdit

Wir müssen nun noch überprüfen ob alle Teilmengen auch abgeschlossen sind. Alle die es nicht sind können wegfallen.

Für die Teilmenge   haben wir:

 

Für die Teilmenge   haben wir:

 

 

 

 

Für die Teilmenge   haben wir:

 

 

 

 

 

 

Die letzte Teilmenge ist ja wieder die Menge G selbst und die ist ja bekanntermaßen abgeschlossen, muss also nicht mehr überprüft werden.

Man sieht dass die ersten beiden und die letzte Teilmengen abgeschlossen sind. Die dritte Teilmenge ist nicht abgeschlossen (in 2 Fällen erhält man   als Ergebnis, das ist aber in der Teilmenge nicht enthalten)

Damit verringern wir die Teilmengen auf:

 

//Anmerkung von --loop

Fehler?! Sollte   nicht   sein? Weil   eh neutrales Element ist?

Ist wohl nur ein Verschreiber. Ich habs ausgebessert. lg Apfelsaft

AssoziativitätEdit

Nun noch die letzte Überprüfung, sind alle Gruppen assoziativ?

Nehmen wir dazu einfach eine Rechenregel für Restklassen zu Hilfe:  

Assoziativität wird so beschrieben:

 

In diesem Beispiel wäre es konkret:

 

Durch die Rechenregel kommen wir auf:

 

Und hier lassen sich dann die Klammern auflösen (Addition ist ja assoziativ)

 

Man sieht, dass beide Ausdrücke gleich sind. Daher kann man für die Addition von Restklassen sagen: die Addition von Restklasse ist assoziativ (allgemein, nicht nur in diesem Beispiel).

In unserem Beispiel fallen daher keine weiteren Teilmengen weg.

LösungEdit

Wir haben nun sämtliche Teilmengen eliminiert die die Gruppen Eigenschaften nicht erfüllen. Damit bleiben nur noch diese die es tun, und da diese Teilmengen von G sind ist klar dass sich daraus die Untergruppen bilden lassen.

Unsere verbliebenen Teilmengen waren:

 

Als Untergruppen haben wir daher:

 

WebressourcenEdit