Gruppendefinition (kurz): Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Definition 5: Gruppe (verkützte schreibweise)) |
K (→Definition 5: Gruppe (verkürzte Schreibweise)) |
||
Zeile 41: | Zeile 41: | ||
Eine nichtleere Menge <math>G</math> zusammen mit einer Verknüpfung <math>\oplus</math> heißt Gruppe, wenn gilt: | Eine nichtleere Menge <math>G</math> zusammen mit einer Verknüpfung <math>\oplus</math> heißt Gruppe, wenn gilt: | ||
# <math>\oplus</math> ist abgeschlossen auf <math>G</math>: <math>\forall a, b \in G: a \oplus b \in G</math> | # <math>\oplus</math> ist abgeschlossen auf <math>G</math>: <math>\forall a, b \in G: a \oplus b \in G</math> | ||
− | # <math>\oplus</math> ist assoziativ auf <math>G</math>: <math>\forall a, b, c: (a \oplus b) \oplus | + | # <math>\oplus</math> ist assoziativ auf <math>G</math>: <math>\forall a, b, c \in G: (a \oplus b) \oplus c = a \oplus (b \oplus c)</math> |
# Es gibt in <math>G</math> bzgl. <math>\oplus</math> ein neutrales Element <math>n</math>: <math>\exists n \in G \forall a \in G: a \oplus n = a</math> | # Es gibt in <math>G</math> bzgl. <math>\oplus</math> ein neutrales Element <math>n</math>: <math>\exists n \in G \forall a \in G: a \oplus n = a</math> | ||
# Jedes Element aus <math>G</math> hat in <math>G</math> ein inverses Element bzgl. <math>\oplus</math>: <math>\forall a \in G \exists -a \in G: a \oplus -a= n</math>. | # Jedes Element aus <math>G</math> hat in <math>G</math> ein inverses Element bzgl. <math>\oplus</math>: <math>\forall a \in G \exists -a \in G: a \oplus -a= n</math>. |
Version vom 9. Juli 2018, 13:58 Uhr
Linksinvers gleich RechtsinversSatz 1Es sei Beweis von Satz 1Es sei
Mit Gleichung (VI) haben wir gezeigt, dass das Linksinverse von Linkseins gleich RechtseinsSatz 2Es sei Beweis von Satz 2Es sei Verkürzte GruppendefinitionWegen der Gültigkeit von Satz 1 und Satz 2 können wir unsere Gruppendefinition kürzer schreiben: Definition 5: Gruppe (verkürzte Schreibweise)Eine nichtleere Menge
|