Version vom 25. November 2017, 15:09 Uhr

Inhaltsverzeichnis

1 Eindeutigkeit des Einslementes
- 1.1 Satz 3
- 1.2 Beweis von Satz 3
2 Eindeutigkeit der inversen Elemente
- 2.1 Satz 4
- 2.2 Beweis von Satz 4
3 Kürzbarkeit
- 3.1 Satz 5

Eindeutigkeit des Einslementes

Satz 3

Jede Gruppe hat genau ein Einslement.

Beweis von Satz 3

Es sei $[G, \odot]$ eine Gruppe. Nach der Definition des Begriffs Gruppe hat $[G, \odot]$ eine Einslement $e_1$ . Es bleibt zu zeigen, dass $[G, \odot]$ kein weiteres Einslement $e_2$ hat. Wir nehmen an es gibt $e_2$ mit $e_2 \neq e_1$ . Nach Satz 2 sind $e_1$ und $e_2$ von links und von rechts Einselemente. Wir gehen aus von der Gleichung $e_1 \odot e_2=e_1 \odot e_2$ . Aus dieser Gleichung folgt wegen der Einslement eigenschaft beider Elemente $e_1$ und $e_2$ (und das sowohl von rechts, wie auch von links) $e_1=e_2$ .

Eindeutigkeit der inversen Elemente

Satz 4

In jeder Gruppe $[G, \odot]$ gilt: Jedes Gruppenelement $g \in G$ hat genau ein inverses Element.

Beweis von Satz 4

Es sei $g \in G$ eine Gruppe mit dem Einslement $e$ . Nach der Definition des Begriffs Gruppe hat $g$ in $G$ ein Inverses $g_1^{-1}$ bezüglich $\odot$ . Wir nehmen an, $g$ hat in $G$ ein weiteres Inverses $g_2^{-1}$ , das natürlich von $g_1^{-1}$ verschieden ist. Nach Satz 1 wissen wir, dass $g_1^{-1}$ und $g_2^{-1}$ von links und von rechts invers zu $g$ bzgl. $\odot$ sind.

Die triviale Gleichung $(I) e=e$ "pumpen" wir zu $(II) g \odot g_1^{-1} = g \odot g_2{-1}$ auf.

$(II)$ multiplizieren wir auf beiden Seiten von links mit $g_1^{-1}$ und erhalten $(III) g_1^{-1} \odot g \odot g_1^{-1}= g_1^{-1} \odot g \odot g_2{-1}$ .

$(III)$ verkürzt sich zu $g_1^{-1}=g_2^{-1}$ , was ein Widerspruch zu unserer Annahme $g_1^{-1} \neq g_2^{-1}$ ist.

Kürzbarkeit

Satz 5

Es sei $[G, \odot]$ eine Gruppe. Für alle Elemente $a, b, c \in G$ gilt:

$a\odot b = a \odot c \Rightarrow b=c$
$b \odot a= c \odot a \Rightarrow b=c$

@@ Zeile 18: / Zeile 18: @@
 <math>(III)</math> verkürzt sich zu <math>g_1^{-1}=g_2^{-1}</math>, was ein Widerspruch zu unserer Annahme <math>g_1^{-1} \neq g_2^{-1}</math> ist.
+=Kürzbarkeit=
+==Satz 5==
+Es sei <math>[G, \odot]</math> eine Gruppe. Für alle Elemente <math>a, b, c \in G</math> gilt: <br />
+# <math>a\odot b = a \odot c \Rightarrow b=c</math>
+# <math>b \odot a= c \odot a \Rightarrow b=c</math>
 <!--- Was hier drunter steht muss stehen bleiben --->
 |}
 </div>
 [[Kategorie:Algebra]]

Gruppendefinition (Gleichung): Unterschied zwischen den Versionen

Version vom 25. November 2017, 15:09 Uhr

Inhaltsverzeichnis

Eindeutigkeit des Einslementes

Satz 3

Beweis von Satz 3

Eindeutigkeit der inversen Elemente

Satz 4

Beweis von Satz 4

Kürzbarkeit

Satz 5

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge