Was ist eine Gruppe? SoSe 2017: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Ordnung einer Gruppe) |
(→Halbgruppe) |
||
(3 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
Zeile 65: | Zeile 65: | ||
<br /> | <br /> | ||
Bemerkung: Tutor Alex wies darauf hin, dass die Menge <math>H</math> auch die leere Menge sein darf. Er hat recht. Ich habe das geändert.--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 16:43, 14. Mai 2017 (CEST) | Bemerkung: Tutor Alex wies darauf hin, dass die Menge <math>H</math> auch die leere Menge sein darf. Er hat recht. Ich habe das geändert.--[[Benutzer:*m.g.*|*m.g.*]] ([[Benutzer Diskussion:*m.g.*|Diskussion]]) 16:43, 14. Mai 2017 (CEST) | ||
− | (Bitte dazu in die Diskussion schauen!) | + | (Bitte dazu in die Diskussion schauen! (Update)) |
==Monoid== | ==Monoid== | ||
Zeile 86: | Zeile 86: | ||
# Ersetzen Sie <math>e</math> durch das Produkt des Linksinversen vom Linksinversen von <math>g</math> mit dem Linksinversen von <math>g</math>: <math>(g^{-1})^{-1} \odot g^{-1}</math>. | # Ersetzen Sie <math>e</math> durch das Produkt des Linksinversen vom Linksinversen von <math>g</math> mit dem Linksinversen von <math>g</math>: <math>(g^{-1})^{-1} \odot g^{-1}</math>. | ||
# Der Rest ist geschicktes Klammern und Ausnutzung der Assoziativität... | # Der Rest ist geschicktes Klammern und Ausnutzung der Assoziativität... | ||
+ | |||
+ | '''Beweis:''' | ||
+ | ------ | ||
+ | Es sei <math>g^{-1}</math> das Linksinverse von <math>g</math>.<br /> | ||
+ | |||
+ | Wir muliplizieren <math>g^{-1}</math> von rechts mit <math>g</math>:<br /> | ||
+ | (I) <math>g \cdot g^{-1}</math><br /> | ||
+ | (II) <math>g \cdot g^{-1}= e \cdot g \cdot g^{-1}</math><br /> | ||
+ | Wissen: Auch <math>g^{-1}</math> hat ein Linksinverses: <math>(g^{-1})^{-1}</math><br /> | ||
+ | Ersetzen <math>e</math> durch <math>(g^{-1})^{-1}\cdot g^{-1}</math><br /> | ||
+ | |||
+ | (III) <math>g \cdot g^{-1}= (g^{-1})^{-1}\cdot g^{-1} \cdot g \cdot g^{-1}</math><br /> | ||
+ | (IV) geschicktes Klammern: <math>g \cdot g^{-1}= (g^{-1})^{-1}\cdot (g^{-1} \cdot g) \cdot g^{-1}</math><br /> | ||
+ | (V) Klammer berechnen:<math>g \cdot g^{-1}= (g^{-1})^{-1}\cdot e \cdot g^{-1}</math><br /> | ||
+ | (VI) Mit <math>e</math> multiplizieren ist geschenkt ... <math>g \cdot g^{-1}= (g^{-1})^{-1}\cdot g^{-1}</math><br /> | ||
+ | (VII) <math>(g^{-1})^{-1}\cdot g^{-1}</math> bedeutet, das Linksinverse vom Linksinversen von <math>g</math> mieinander multiplizieren. <br /> | ||
+ | (VII) also <math>(g^{-1})^{-1}\cdot g^{-1}=e</math> <br /> | ||
+ | (IX) und damit <math>g \cdot g^{-1}= (g^{-1})^{-1}\cdot g^{-1}=e</math> <br /> | ||
+ | (X) oder einfach: <math>g \cdot g^{-1}=e</math> und damit: Das Linksinverse <math>g^{-1}</math> von <math>g</math> ist auch sein Rechtsinverses <br /> | ||
<!--- Was hier drunter steht muss stehen bleiben ---> | <!--- Was hier drunter steht muss stehen bleiben ---> | ||
|} | |} | ||
</div> | </div> | ||
[[Kategorie:Algebra]] | [[Kategorie:Algebra]] |
Aktuelle Version vom 16. Mai 2017, 13:41 Uhr
Beispiele für Gruppenendliche GruppenDie Gruppe der Deckabbildungen des Rechtecks
Die 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
Ordnung einer GruppeDefinition 2: (Gruppenordnung)
Kurzschreibweise: Wenn Ordnung einer GruppenelementsDefinition 3: (Ordung eines Gruppenelements) Es sei HalbgruppeDefinition 4: (Halbgruppe)
MonoidDefinition 5: (Monoid)
Das Linkseinslement ist auch RechtseinselementDie lange Version der Gruppendefinition fordert, dass wenn das Einselement Satz 1
Beweis von Satz 1Übungsaufgabe, Hinweise
Beweis: Es sei Wir muliplizieren (III) |