Beispiele für Gruppen
endliche Gruppen
Die Gruppe der Deckabbildungen des Rechtecks
Die Gruppe der Deckabbildungen der Raute
unendliche Gruppen
Gebrochene Zahlen:
Ganze Zahlen:
Gegenbeispiele für Gruppen
Gruppendefinitionen
Die "übliche" Gruppendefinition (lange Version)
Definition 1a: (Gruppe Langfassung)
Es sei eine nichtleere Menge auf der eine Verknüpfung .
Wenn die folgenden Axiome erfüllt sind, heißt die Struktur Gruppe:
-
ist auf abgeschlossen:
-
ist assoziativ auf :
- Bezüglich
existiert in ein ("universelles") Einslement : .
- Bezüglich
existiert zu jedem aus ein ("persönliches") inverses Element : .
Die "übliche" Gruppendefinition (kurze Version)
Definition 1b: (Gruppe, Kurzfassung)
Es sei eine nichtleere Menge auf der eine Verknüpfung .
Wenn die folgenden Axiome erfüllt sind, heißt die Struktur Gruppe:
-
ist auf abgeschlossen:
-
ist assoziativ auf :
- Bezüglich
existiert in ein ("universelles") Einslement : .
- Bezüglich
existiert zu jedem aus ein ("persönliches") inverses Element : .
Ordnung einer Gruppe
Definition 2: (Gruppenordnung)
- Unter der Ordnung einer Gruppe versteht man die Anzahl ihrer Elemente.
Kurzschreibweise: Wenn die Ordnung der Gruppe ist:
Ordnung einer Gruppenelements
Definition 3: (Ordung eines Gruppenelements)
Es sei eine Gruppe mit dem Einselement und . Die kleinste natürliche Zahl mit , für die gilt heißt Ordnung von .
Kurzschreibweise:
Halbgruppe
Definition 4: (Halbgruppe)
- Eine Menge
auf der eine Verknüpfung definiert ist, heißt Halbgruppe, wenn abgeschlossen auf und assoziativ ist.
Bemerkung: Tutor Alex wies darauf hin, dass die Menge auch die leere Menge sein darf. Er hat recht. Ich habe das geändert.--*m.g.* (Diskussion) 16:43, 14. Mai 2017 (CEST)
(Bitte dazu in die Diskussion schauen!)
Monoid
Definition 5: (Monoid)
- Eine Halbgruppe mit Einselement heißt Monoid.
Das Linkseinslement ist auch Rechtseinselement
Die lange Version der Gruppendefinition fordert, dass wenn das Einselement sowohl rechtsseitig als auch linksseitig multipliziert mit einem beliebigen Gruppenelement multipliziert eben dieses Element das Ergebnis dieser Multiplikation ist. Die kurze Version der Gruppendefinition fordert nur die Existenz eines linksseitigen Einslementes. In der Tat ist die Korrektheit der Gruppendefinition gewährleistet, wenn die Existenz des Einselementes nur linksseitig (oder rechtsseitig) gefordert wird.
Gleiches gilt für die Forderung nach der Existenz linksseitiger bzw. rechtsseitiger inverser Elemente.
Es gilt der Satz:
Satz 1
- Wenn in einer Halbgruppe ein linksseitiges Einselement und zu jedem Element der Halbgruppe ein linksseitiges inverses Element existiert, so sind dieses Linkseinselement und diese Linksinversen gleichzeitig Rechtseinselement und Rechtsinverse.
Beweis von Satz 1
Übungsaufgabe, Hinweise
- Beginnen Sie mit Linksinvers=Rechtsinvers
- Multiplizieren Sie zunächst das Linksinverse
eines beliebigen Elementes von rechts mit :
- Ersetzen Sie
durch
- Ersetzen Sie
durch das Produkt des Linksinversen vom Linksinversen von mit dem Linksinversen von : .
- Der Rest ist geschicktes Klammern und Ausnutzung der Assoziativität...
Beweis:
Es sei das Linksinverse von .
Wir muliplizieren von rechts mit :
(I) ![g \cdot g^{-1}](/images/math/0/a/c/0acda0f91d15ab40ff5bb1e704747a14.png)
(II) ![g \cdot g^{-1}= e \cdot g \cdot g^{-1}](/images/math/0/0/5/005e78b2d0a61b24ae7dfaac9db2899e.png)
Wissen: Auch hat ein Linksinverses: ![(g^{-1})^{-1}](/images/math/7/9/f/79f388fad0a55b22b7f428460c9adbe3.png)
Ersetzen durch ![(g^{-1})^{-1}\cdot g^{-1}](/images/math/f/1/c/f1cf45f60069e74225a4f225e829fdde.png)
(III) ![g \cdot g^{-1}= (g^{-1})^{-1}\cdot g^{-1} \cdot g \cdot g^{-1}](/images/math/4/d/7/4d7f3a612a878021581f34590e992b07.png)
(IV) geschicktes Klammern: ![g \cdot g^{-1}= (g^{-1})^{-1}\cdot (g^{-1} \cdot g) \cdot g^{-1}](/images/math/1/d/8/1d855bdb0066fcf2c8dc378cddb1b5d9.png)
(V) Klammer berechnen:![g \cdot g^{-1}= (g^{-1})^{-1}\cdot e \cdot g^{-1}](/images/math/5/b/a/5ba321d535777c4145586c0c18cad4d6.png)
(VI) Mit multiplizieren ist geschenkt ... ![g \cdot g^{-1}= (g^{-1})^{-1}\cdot g^{-1}](/images/math/0/5/a/05a865bf9e14166e019e67f4b32d334f.png)
(VII) bedeutet, das Linksinverse vom Linksinversen von mieinander multiplizieren.
(VII) also
(IX) und damit
(X) oder einfach: und damit: Das Linksinverse von ist auch sein Rechtsinverses
|