Was ist eine Gruppe? SoSe 2017: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) (→Das Linkseinslement ist auch Rechtseinslement) |
||
Zeile 33: | Zeile 33: | ||
# Bezüglich <math>\odot</math> existiert zu jedem <math>a</math> aus <math>G</math> ein ("persönliches") inverses Element <math>a^{-1}</math>: <math>\forall a \in G \exist a^{-1} \in G: a^{-1} \odot a = e</math>. | # Bezüglich <math>\odot</math> existiert zu jedem <math>a</math> aus <math>G</math> ein ("persönliches") inverses Element <math>a^{-1}</math>: <math>\forall a \in G \exist a^{-1} \in G: a^{-1} \odot a = e</math>. | ||
+ | ==Halbgruppe== | ||
+ | Eine nichtleere Menge <math>H</math> auf der eine Verknüpfung <math>\odot</math> definiert ist, heißt Halbgruppe, wenn <math>\odot</math> abgeschlossen auf H und assoziativ ist. | ||
== Das Linkseinslement ist auch Rechtseinslement== | == Das Linkseinslement ist auch Rechtseinslement== | ||
Die lange Version der Gruppendefinition fordert, dass wenn das Einselement <math>e</math> sowohl rechtsseitig als auch linksseitig multipliziert mit einem beliebigen Gruppenelement <math>a</math> multipliziert eben dieses Element <math>a</math> 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. | Die lange Version der Gruppendefinition fordert, dass wenn das Einselement <math>e</math> sowohl rechtsseitig als auch linksseitig multipliziert mit einem beliebigen Gruppenelement <math>a</math> multipliziert eben dieses Element <math>a</math> 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. |
Version vom 2. Mai 2017, 11:39 Uhr
Beispiele für Gruppenendliche GruppenDie Gruppe der Deckabbildungen des RechtecksDie Gruppe der Deckabbildungen der Rauteunendliche Gruppen Gebrochene Zahlen:
Ganze Zahlen:
Gegenbeispiele für GruppenGruppendefinitionenDie "übliche" Gruppendefinition (lange Version)Definition 1a: (Gruppe Langfassung) Es sei
Die "übliche" Gruppendefinition (kurze Version)Definition 1b: (Gruppe, Kurzfassung) Es sei
HalbgruppeEine nichtleere Menge Das Linkseinslement ist auch RechtseinslementDie lange Version der Gruppendefinition fordert, dass wenn das Einselement Satz 1
Beweis von Satz 1Übungsaufgabe, Hinweise
|