Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 7

Nebenklassen

Definition

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ eine Untergruppe. Wir setzen ${}x\sim _{H}y$ (und sagen, dass ${}x$ und ${}y$ äquivalent sind) wenn ${}x^{-1}y\in H$.

Dies ist in der Tat eine Äquivalenzrelation: Aus ${}x^{-1}x=e_{G}\in H$ folgt, dass diese Relation reflexiv ist. Aus ${}x^{-1}y\in H$ folgt sofort ${}y^{-1}x={\left(x^{-1}y\right)}^{-1}\in H$ und aus ${}x^{-1}y\in H$ und ${}y^{-1}z\in H$ folgt ${}x^{-1}z={\left(x^{-1}y\right)}{\left(y^{-1}z\right)}\in H$.

Definition

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ eine Untergruppe. Dann heißt zu jedem ${}x\in G$ die Teilmenge

${}xH={\left\{xh\mid h\in H\right\}}\,$

die Linksnebenklasse von ${}x$ in ${}G$ bezüglich ${}H$. Jede Teilmenge von dieser Form heißt Linksnebenklasse. Entsprechend heißt eine Menge der Form

${}Hy={\left\{hy\mid h\in H\right\}}\,$

Rechtsnebenklasse (zu ${}y$).

Die Äquivalenzklassen zu der oben definierten Äquivalenzrelation sind wegen

${}{\begin{aligned}{[}x{]}&={\left\{y\in G\mid x\sim y\right\}}\\&={\left\{y\in G\mid x^{-1}y\in H\right\}}\\&={\left\{y\in G\mid {\text{es gibt }}h\in H{\text{ mit }}x^{-1}y=h\right\}}\\&={\left\{y\in G\mid {\text{es gibt }}h\in H{\text{ mit }}y=xh\right\}}\\&=xH\end{aligned}}$

genau die Linksnebenklassen. Die Linksnebenklassen bilden somit eine disjunkte Zerlegung (eine Partition) von ${}G$. Dies gilt ebenso für die Rechtsnebenklassen. Im kommutativen Fall muss man nicht zwischen Links- und Rechtsnebenklassen unterscheiden.

Lemma

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ eine Untergruppe. Es seien ${}x,y\in G$ Elemente.

Dann sind folgende Aussagen äquivalent.

1. ${}x\in yH$.
2. ${}y\in xH$.
3. ${}y^{-1}x\in H$.
4. ${}x^{-1}y\in H$.
5. ${}xH\cap yH\neq \emptyset$.
6. ${}x\sim _{H}y$.
7. ${}xH=yH$.

Beweis

Die Äquivalenz von ${}(1)$ und ${}(3)$ (und die von ${}(2)$ und ${}(4)$) folgt aus Multiplikation mit ${}y^{-1}$ bzw. mit ${}y$. Die Äquivalenz von ${}(3)$ und ${}(4)$ folgt durch Übergang zum Inversen. Aus ${}(1)$ folgt ${}(5)$ wegen ${}1\in H$. Wenn ${}(5)$ erfüllt ist, so bedeutet das ${}xh_{1}=yh_{2}$ mit gewissen ${}h_{1},h_{2}\in H$. Damit ist ${}x=yh_{2}h_{1}^{-1}$ und ${}(1)$ ist erfüllt. (4) und (6) sind nach Definition 7.1 äquivalent. Da die Linksnebenklassen die Äquivalenzklassen sind, ergibt sich die Äquivalenz von (5) und (7).

$\Box$

Der Satz von Lagrange

Joseph-Louis Lagrange (1736 Turin - 1813 Paris)

Satz

Gruppe endlich/Situation und ${}H\subseteq G$ eine Untergruppe von ${}G$.

Dann ist ihre Kardinalität ${}{\#\left(H\right)}$ ein Teiler von ${}{\#\left(G\right)}$.

Beweis

Betrachte die Linksnebenklassen ${}gH:={\left\{gh\mid h\in H\right\}}$ für sämtliche ${}g\in G$. Es ist

$H\longrightarrow gH,\,h\longmapsto gh,$

eine Bijektion zwischen ${}H$ und ${}gH$, sodass alle Nebenklassen gleich groß sind (und zwar ${}{\#\left(H\right)}$ Elemente haben). Die Nebenklassen bilden (als Äquivalenzklassen) zusammen eine Zerlegung von ${}G$, sodass ${}{\#\left(G\right)}$ ein Vielfaches von ${}{\#\left(H\right)}$ sein muss.

$\Box$

Korollar

Es sei ${}G$ eine endliche Gruppe und sei ${}g\in G$ ein Element.

Dann teilt die Ordnung von ${}g$ die Gruppenordnung.

Beweis

Es sei ${}H$ die von ${}g$ erzeugte Untergruppe. Nach Lemma 2.3 ist

${}\operatorname {ord} \,(g)=\operatorname {ord} \,(H)\,.$

Daher teilt diese Zahl nach Satz 7.4 die Gruppenordnung von ${}G$.

$\Box$

Definition

Zu einer Untergruppe ${}H\subseteq G$ heißt die Anzahl der (Links- oder Rechts-)Nebenklassen der Index von ${}H$ in ${}G$, geschrieben

$\operatorname {ind} _{G}H.$

In der vorstehenden Definition ist Anzahl im allgemeinen als die Mächtigkeit einer Menge zu verstehen. Der Index wird aber hauptsächlich dann verwendet, wenn er endlich ist, wenn es also nur endlich viele Nebenklassen gibt. Das ist bei endlichem ${}G$ automatisch der Fall, kann aber auch bei unendlichem ${}G$ der Fall sein, wie schon die Beispiele ${}\mathbb {Z} n\subseteq \mathbb {Z}$, ${}n\geq 1$, zeigen. Wenn ${}G$ eine endliche Gruppe ist und ${}H\subseteq G$ eine Untergruppe, so gilt aufgrund des Satzes von Lagrange die einfache Indexformel

${}{\#\left(G\right)}={\#\left(H\right)}\cdot \operatorname {ind} _{G}H\,.$

Normalteiler

Definition

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ eine Untergruppe. Man nennt ${}H$ einen Normalteiler, wenn

${}xH=Hx\,$

für alle ${}x\in G$ ist, wenn also die Linksnebenklasse zu ${}x$ mit der Rechtsnebenklasse zu ${}x$ übereinstimmt.

Bei einem Normalteiler braucht man nicht zwischen Links- und Rechtsnebenklassen zu unterscheiden und spricht einfach von Nebenklassen. Statt ${}xH$ oder ${}Hx$ schreiben wir meistens ${}[x]$. Die Gleichheit ${}xH=Hx$ bedeutet nicht, dass ${}xh=hx$ für alle ${}h\in H$ ist, sondern lediglich, dass es zu jedem ${}h\in H$ ein ${}{\tilde {h}}\in H$ mit ${}xh={\tilde {h}}x$. gibt.

Lemma

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ eine Untergruppe.

Dann sind folgende Aussagen äquivalent.

1. ${}H$ ist ein Normalteiler von ${}G$.
2. Es ist ${}xhx^{-1}\in H$ für alle ${}x\in G$ und ${}h\in H$.
3. ${}H$ ist invariant unter jedem inneren Automorphismus von ${}G$.

Beweis

(1) bedeutet bei gegebenem ${}h\in H$, dass man ${}xh={\tilde {h}}x$ mit einem ${}{\tilde {h}}\in H$ schreiben kann. Durch Multiplikation mit ${}x^{-1}$ von rechts ergibt sich ${}xhx^{-1}={\tilde {h}}\in H$, also ${}(2)$. Dieses Argument rückwärts ergibt die Implikation ${}(2)\Rightarrow (1)$. Ferner ist ${}(2)$ eine explizite Umformulierung von ${}(3)$.

$\Box$

Beispiel

Wir betrachten die Permutationsgruppe ${}G=S_{3}$ zu einer dreielementigen Menge, d.h. ${}S_{3}$ besteht aus den bijektiven Abbildungen der Menge ${}\{1,2,3\}$ in sich. Die triviale Gruppe ${}\{\operatorname {id} \}$ und die ganze Gruppe sind Normalteiler. Die Teilmenge ${}H=\{\operatorname {id} \,,\varphi \}$, wobei ${}\varphi$ die Elemente ${}1$ und ${}2$ vertauscht und ${}3$ unverändert lässt, ist eine Untergruppe. Sie ist aber kein Normalteiler. Um dies zu zeigen, sei ${}\psi$ die Bijektion, die ${}1$ fest lässt und ${}2$ und ${}3$ vertauscht. Dieses ${}\psi$ ist zu sich selbst invers. Die Konjugation ${}\psi \varphi \psi ^{-1}=\psi \varphi \psi$ ist dann die Abbildung, die ${}1$ auf ${}3$, ${}2$ auf ${}2$ und ${}3$ auf ${}1$ schickt, und diese Bijektion gehört nicht zu ${}H$.

Lemma

Es seien ${}G$ und ${}H$ Gruppen und sei

$\varphi \colon G\longrightarrow H$

ein Gruppenhomomorphismus.

Dann ist der Kern ${}\operatorname {kern} \varphi$ ein Normalteiler in ${}G$.

Beweis

Wir verwenden Lemma 7.8. Es sei also ${}x\in G$ beliebig und ${}k\in \operatorname {kern} \varphi$. Dann ist

${}\varphi {\left(xhx^{-1}\right)}=\varphi (x)\varphi (h)\varphi {\left(x^{-1}\right)}=\varphi (x)e_{H}\varphi {\left(x^{-1}\right)}=\varphi (x)\varphi (x)^{-1}=e_{H}\,,$

also gehört ${}xhx^{-1}$ ebenfalls zum Kern.

$\Box$

Restklassenbildung

Wir zeigen nun umgekehrt, dass jeder Normalteiler sich als Kern eines geeigneten, surjektiven Gruppenhomomorphismus realisieren lässt.

Die Multiplikation der Nebenklassen zu einem Normalteiler ${}N\subseteq G$.

Satz

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ ein Normalteiler. Es sei ${}G/H$ die Menge der Nebenklassen (die Quotientenmenge) und

$q\colon G\longrightarrow G/H,\,g\longmapsto [g],$

die kanonische Projektion.

Dann gibt es eine eindeutig bestimmte Gruppenstruktur auf ${}G/H$ derart, dass ${}q$ ein Gruppenhomomorphismus ist.

Beweis

Da die kanonische Projektion zu einem Gruppenhomomorphismus werden soll, muss die Verknüpfung durch

${}[x][y]=[xy]\,$

gegeben sein. Wir müssen also zeigen, dass durch diese Vorschrift eine wohldefinierte Verknüpfung auf ${}G/H$ definiert ist, die unabhängig von der Wahl der Repräsentanten ist. D.h. wir haben für $[x]=[x']$ und $[y]=[y']$ zu zeigen, dass ${}[xy]=[x'y']$ ist. Nach Voraussetzung können wir $x'=xh$ und $hy'={\tilde {h}}y=yh'$ mit ${}h,{\tilde {h}},h'\in H$ schreiben. Damit ist

${}x'y'=(xh)y'=x(hy')=x(yh')=xyh'\,.$

Somit ist ${}[xy]=[x'y']$. Aus der Wohldefiniertheit der Verknüpfung auf ${}G/H$ folgen die Gruppeneigenschaften, die Homomorphieeigenschaft der Projektion und die Eindeutigkeit.

$\Box$

Definition

Es sei ${}G$ eine Gruppe und ${}H\subseteq G$ ein Normalteiler. Die Quotientenmenge

$G/H$

mit der aufgrund von Satz 7.11 eindeutig bestimmten Gruppenstruktur heißt Restklassengruppe von ${}G$ modulo ${}H$. Die Elemente ${}[g]\in G/H$ heißen Restklassen. Für eine Restklasse ${}[g]$ heißt jedes Element ${}g'\in G$ mit ${}[g']=[g]$ ein Repräsentant von ${}[g]$.

Beispiel

Die Untergruppen der ganzen Zahlen sind nach Satz 3.2 von der Form ${}\mathbb {Z} n$ mit ${}n\geq 0$. Die Restklassengruppen werden mit

$\mathbb {Z} /(n)$

bezeichnet (sprich „${}\mathbb {Z}$ modulo ${}n$“). Bei ${}n=0$ ist das einfach ${}\mathbb {Z}$ selbst, bei ${}n=1$ ist das die triviale Gruppe. Im Allgemeinen ist die durch die Untergruppe ${}\mathbb {Z} n$ definierte Äquivalenzrelation auf ${}\mathbb {Z}$ dadurch gegeben, dass zwei ganze Zahlen ${}a$ und ${}b$ genau dann äquivalent sind, wenn ihre Differenz ${}a-b$ zu ${}\mathbb {Z} n$ gehört, also ein Vielfaches von ${}n$ ist. Daher ist (bei ${}n\geq 1$) jede ganze Zahl zu genau einer der ${}n$ Zahlen

$0,1,2,\ldots ,n-1$

äquivalent (oder, wie man auch sagt, kongruent modulo ${}n$), nämlich zum Rest, der sich bei Division durch ${}n$ ergibt. Diese Reste bilden also ein Repräsentantensystem für die Restklassengruppe, und diese besitzt ${}n$ Elemente. Die Tatsache, dass die Restklassenabbildung

$\mathbb {Z} \longrightarrow \mathbb {Z} /(n),\,a\longmapsto [a]=a\!\!\!\mod n,$

ein Homomorphismus ist, kann man auch so ausdrücken, dass der Rest einer Summe von zwei ganzen Zahlen nur von den beiden Resten, nicht aber von den Zahlen selbst, abhängt. Als Bild der zyklischen Gruppe ${}\mathbb {Z}$ ist auch ${}\mathbb {Z} /(n)$ zyklisch, und zwar ist ${}1$ (aber auch ${}-1$) stets ein Erzeuger.

<< | Kurs:Einführung in die Algebra (Osnabrück 2009) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)