Gruppendefinition (Gleichung): Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) (→Ein Monoid in dem die Gleichungen lösbar sind ist eine Gruppe) |
||
Zeile 37: | Zeile 37: | ||
===Eindeutigkeitsbeweis=== | ===Eindeutigkeitsbeweis=== | ||
Es seien <math>x_1</math> und <math>x_2</math> Lösungen der Gleichung <math>a \odot x= b</math>. Damit folgt <math>a \odot x_1 = a \odot x_2</math>. Nach Satz 5 gilt <math>x_1=x_2</math> | Es seien <math>x_1</math> und <math>x_2</math> Lösungen der Gleichung <math>a \odot x= b</math>. Damit folgt <math>a \odot x_1 = a \odot x_2</math>. Nach Satz 5 gilt <math>x_1=x_2</math> | ||
− | =Ein Monoid in dem die Gleichungen lösbar sind ist eine Gruppe= | + | =Ein Monoid in dem die Gleichungen lösbar sind, ist eine Gruppe= |
==Satz 7== | ==Satz 7== | ||
Es sei <math>[M, \odot]</math> ein Monoid. <math>e</math> sei das Einslement dieses Monoids. Wenn die Gleichungen | Es sei <math>[M, \odot]</math> ein Monoid. <math>e</math> sei das Einslement dieses Monoids. Wenn die Gleichungen |
Version vom 25. November 2017, 15:43 Uhr
Eindeutigkeit des EinslementesSatz 3Jede Gruppe hat genau ein Einslement. Beweis von Satz 3Es sei Eindeutigkeit der inversen ElementeSatz 4In jeder Gruppe Beweis von Satz 4Es sei Die triviale Gleichung
KürzbarkeitSatz 5Es sei Beweis von Satz 5Jeweils von rechts bzw. links beide Seiten der Gleichung mit Lösbarkeit der GleichungenSatz 6In jeder Gruppe
jeweils eindeutig lösbar. Beweis von Satz 6Wir führen den Beweis nur für die Gleichung ExistenzbeweisWir setzen EindeutigkeitsbeweisEs seien Ein Monoid in dem die Gleichungen lösbar sind, ist eine GruppeSatz 7Es sei
in Beweis von Satz 7Wir haben zu zeigen, dass zu jedem Element
lösbar. |