Gruppentheorie/Gleichungen/Einführung/Textabschnitt

Wir besprechen Gruppen. Mit dieser Struktur kann man viele strukturelle Gemeinsamkeiten zwischen der Menge der bijektiven Abbildungen auf einer Menge oder der Addition in einem kommutativen Ring wie ${}\mathbb {Z}$ oder der Multiplikation in einem Körper, wenn man die ${}0$ herausnimmt (wie in ${}\mathbb {Q} \setminus \{0\}$ oder in ${}\mathbb {R} \setminus \{0\}$), erfassen.

Definition

Eine Menge ${}G$ mit einem ausgezeichneten Element ${}e\in G$ und mit einer Verknüpfung

$G\times G\longrightarrow G,\,(g,h)\longmapsto g\circ h,$

heißt Gruppe, wenn folgende Eigenschaften erfüllt sind.

1. Die Verknüpfung ist assoziativ, d.h. für alle ${}f,g,h\in G$ gilt

   ${}(f\circ g)\circ h=f\circ (g\circ h)\,.$

2. Das Element ${}e$ ist ein neutrales Element, d.h. für alle ${}g\in G$ gilt

   ${}g\circ e=g=e\circ g\,.$

3. Zu jedem ${}g\in G$ gibt es ein inverses Element, d.h. es gibt ein ${}h\in G$ mit

   ${}h\circ g=g\circ h=e\,.$

Eine Gruppe ist also ein Monoid, in dem jedes Element ein inverses Element besitzt.

Definition

Eine Gruppe ${}(G,e,\circ )$ heißt kommutativ (oder abelsch), wenn die Verknüpfung kommutativ ist, wenn also ${}x\circ y=y\circ x$ für alle ${}x,y\in G$ gilt.

Lemma

Es sei ${}(G,e,\circ )$ eine Gruppe.

Dann ist zu jedem ${}x\in G$ das Element ${}y\in G$ mit

${}x\circ y=y\circ x=e\,$

eindeutig bestimmt.

Beweis

Es sei

${}x\circ y=y\circ x=e\,$

und

${}x\circ z=z\circ x=e\,.$

Dann ist

${}y=y\circ e=y\circ (x\circ z)=(y\circ x)\circ z=e\circ z=z\,.$

$\Box$

Allgemeiner gilt in Gruppen die eindeutige Lösbarkeit von mit der Verknüpfung formulierten Gleichungen.

Lemma

Es sei ${}(G,e,\circ )$ eine Gruppe.

Dann besitzen zu je zwei Gruppenelementen ${}a,b\in G$ die beiden Gleichungen

$a\circ x=b{\text{ und }}y\circ a=b$

eindeutige Lösungen ${}x,y\in G$.

Beweis

Wir betrachten die linke Gleichung. Aus beidseitiger Multiplikation mit ${}a^{-1}$ (bzw. mit ${}a$) von links folgt, dass nur

${}x=a^{-1}\circ b\,$

als Lösung in Frage kommt. Wenn man dies einsetzt, so sieht man, dass es sich in der Tat um eine Lösung handelt.

$\Box$