Gruppendefinition (kurz): Unterschied zwischen den Versionen
K (→Definition 5: Gruppe (verkürzte Schreibweise)) |
K (→Beweis von Satz 1) |
||
Zeile 7: | Zeile 7: | ||
<math>\forall a \in G: a \odot b = e \land c \odot a = e \Rightarrow b=c</math> | <math>\forall a \in G: a \odot b = e \land c \odot a = e \Rightarrow b=c</math> | ||
==Beweis von Satz 1== | ==Beweis von Satz 1== | ||
− | Es sei <math>b</math> das Linksinverse bzgl. <math>\odot</math> von <math>a</math>. <br /> | + | Es sei <math>b</math> das Linksinverse bzgl. <math>\odot</math> von <math>a</math>. Also <math>b\odot a = e</math> ist unsere Voraussetzung.<br /> |
Wir multiplizieren <math>b</math> von rechts mit <math>a</math>: | Wir multiplizieren <math>b</math> von rechts mit <math>a</math>: | ||
{| | {| |
Aktuelle Version vom 27. Mai 2019, 13:32 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
|