TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2023W/Beispiel 390

Aus VoWi
Zur Navigation springen Zur Suche springen

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

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:
{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}


Lösungsvorschlag von Soymilk-drinker[Bearbeiten | Quelltext bearbeiten]

Gegeben und gesucht?[Bearbeiten | Quelltext bearbeiten]

Gegeben ist:

= Menge der Restklassen modulo 4

Gesucht werden alle möglichen Untergruppen U von G:

Teilmengen von M[Bearbeiten | Quelltext bearbeiten]

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 Teilmengen[Bearbeiten | Quelltext bearbeiten]

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 Element[Bearbeiten | Quelltext bearbeiten]

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 Element[Bearbeiten | Quelltext bearbeiten]

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.

Abgeschlossenheit[Bearbeiten | Quelltext bearbeiten]

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ät[Bearbeiten | Quelltext bearbeiten]

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ösung[Bearbeiten | Quelltext bearbeiten]

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:

Webressourcen[Bearbeiten | Quelltext bearbeiten]