Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 5/kontrolle

In dieser Vorlesung diskutieren wir Normalteiler, das sind Untergruppen, für die Links- und Rechtsnebenklassen übereinstimmen. Für Normalteiler kann man Restklassengruppen konstruieren.

Innere Automorphismen

Definition Referenznummer erstellen

Es sei ${}G$ eine Gruppe und ${}g\in G$ fixiert. Die durch ${}g$ definierte Abbildung

$\kappa _{g}\colon G\longrightarrow G,\,x\longmapsto gxg^{-1},$

heißt innerer Automorphismus.

Eine solche Abbildung nennt man auch Konjugation (mit ${}g$). Wenn ${}G$ eine kommutative Gruppe ist, so ist wegen ${}gxg^{-1}=xgg^{-1}=x$ die Identität der einzige innere Automorphismus. Der Begriff ist also nur bei nicht kommutativen Gruppen von Interesse. Ein wichtiges Beispiel für eine Konjugation tritt auf, wenn lineare Abbildungen durch Matrizen bezüglich verschiedener Basen beschrieben werden sollen, siehe Lemma 11.11 (Lineare Algebra (Osnabrück 2024-2025)). Man spricht auch von ähnlichen Matrizen (wobei der Ähnlichkeitsbegriff auch für nicht invertierbare Matrizen definiert ist).

Lemma Referenznummer erstellen

Ein innerer Automorphismus ist in der Tat

ein Automorphismus.

Die Zuordnung

$G\longrightarrow \operatorname {Aut} \,G,\,g\longmapsto \kappa _{g},$

ist ein Gruppenhomomorphismus.

Beweis

Es ist

${}\kappa _{g}(xy)=gxyg^{-1}=gxg^{-1}gyg^{-1}=\kappa _{g}(x)\kappa _{g}(y)\,,$

sodass ein Gruppenhomomorphismus vorliegt. Wegen

${}\kappa _{g}(\kappa _{h}(x))=\kappa _{g}(hxh^{-1})=ghxh^{-1}g^{-1}=ghx(gh)^{-1}=\kappa _{gh}\,$

ist einerseits

${}\kappa _{g^{-1}}\circ \kappa _{g}=\kappa _{g^{-1}g}=\operatorname {Id} _{G}\,,$

sodass ${}\kappa _{g}$ bijektiv, also ein Automorphismus, ist. Andererseits ist deshalb die Gesamtabbildung ${}\kappa$ ein Gruppenhomomorphismus.

$\Box$

Normalteiler

Definition Referenznummer erstellen

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 Lemma 5.4 ändern

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 Referenznummer erstellen

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 Lemma 5.6 ändern

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

Eine Untergruppe liegt aufgrund von Fakt ***** vor. Wir verwenden Lemma 5.4. Es sei also ${}x\in G$ beliebig und ${}h\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 Satz 5.7 ändern

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 Referenznummer erstellen

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

$G/H$

mit der aufgrund von Satz 5.7 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 Referenznummer erstellen

Die Untergruppen der ganzen Zahlen sind nach Satz 44.3 (Lineare Algebra (Osnabrück 2017-2018)) von der Form  (diese Aussage ist analog zu der in Vorlesung 3 bewiesenen Aussage, dass ${}K[X]$ ein Hauptidealbereich ist) ${}\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.

Die Homomorphiesätze für Gruppen

Satz Satz 5.10 ändern

Es seien ${}G,Q$ und ${}H$ Gruppen, es sei ${}\varphi \colon G\rightarrow H$ ein Gruppenhomomorphismus und ${}\psi \colon G\rightarrow Q$ ein surjektiver Gruppenhomomorphismus. Es sei vorausgesetzt, dass

${}\operatorname {kern} \psi \subseteq \operatorname {kern} \varphi \,$

ist.

Dann gibt es einen eindeutig bestimmten Gruppenhomomorphismus

${\tilde {\varphi }}\colon Q\longrightarrow H$

derart, dass ${}\varphi ={\tilde {\varphi }}\circ \psi$ ist.

Mit anderen Worten: das Diagramm

${\begin{matrix}G&{\stackrel {\varphi }{\longrightarrow }}&H&\\\!\!\!\!\!\psi \downarrow &\nearrow {\tilde {\varphi }}\!\!\!\!\!&\\Q&&&&\!\!\!\!\!\!\!\!\\\end{matrix}}$

ist kommutativ.

Beweis

Wir zeigen zuerst die Eindeutigkeit. Für jedes Element ${}u\in Q$ gibt es mindestens ein ${}g\in G$ mit ${}\psi (g)=u$. Wegen der Kommutativität des Diagramms muss

${}{\tilde {\varphi }}(u)=\varphi (g)\,$

gelten. Das bedeutet, dass es maximal ein ${}{\tilde {\varphi }}$ geben kann.
Wir haben zu zeigen, dass durch diese Bedingung eine wohldefinierte Abbildung gegeben ist. Es seien also ${}g,g'\in G$ zwei Urbilder von ${}u$. Dann ist

${}\psi {\left(g'g^{-1}\right)}=uu^{-1}=e_{Q}\,$

und somit ist ${}g'g^{-1}\in \operatorname {kern} \psi \subseteq \operatorname {kern} \varphi$. Daher ist ${}\varphi (g)=\varphi (g')$. Die Abbildung ist also wohldefiniert. Seien ${}u,v\in Q$ und seien ${}g,h\in G$ Urbilder davon. Dann ist ${}gh$ ein Urbild von ${}uv$ und daher ist

${}{\tilde {\varphi }}(uv)=\varphi (gh)=\varphi (g)\varphi (h)={\tilde {\varphi }}(u){\tilde {\varphi }}(v)\,.$

D.h. ${}{\tilde {\varphi }}$ ist ein Gruppenhomomorphismus.

$\Box$

Die im vorstehenden Satz konstruierte Abbildung heißt induzierte Abbildung oder induzierter Homomorphismus und entsprechend heißt der Satz auch Satz vom induzierten Homomorphismus.

Korollar Korollar 5.11 ändern

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

$\varphi \colon G\longrightarrow H$

ein surjektiver Gruppenhomomorphismus.

Dann gibt es eine kanonische Isomorphie

${\tilde {\varphi }}\colon G/\operatorname {kern} \varphi \longrightarrow H.$

Beweis

Wir wenden Satz 5.10 auf ${}Q=G/\operatorname {kern} \varphi$ und die kanonische Projektion ${}q\colon G\rightarrow G/\operatorname {kern} \varphi$ an. Dies induziert einen Gruppenhomomorphismus

${\tilde {\varphi }}\colon G/\operatorname {kern} \varphi \longrightarrow H$

mit ${}\varphi ={\tilde {\varphi }}\circ q$, der surjektiv ist. Sei ${}[x]\in G/\operatorname {kern} \varphi$ und ${}[x]\in \operatorname {kern} {\tilde {\varphi }}$. Dann ist

${}{\tilde {\varphi }}([x])=\varphi (x)=e_{H}\,,$

also ${}x\in \operatorname {kern} \varphi$. Damit ist ${}[x]=e_{Q}$, d.h. der Kern von ${}{\tilde {\varphi }}$ ist trivial und nach Lemma 4.9 ist ${}{\tilde {\varphi }}$ auch injektiv.

$\Box$

Satz Satz 5.12 ändern

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

$\varphi \colon G\longrightarrow H$

ein Gruppenhomomorphismus.

Dann gibt es eine kanonische Faktorisierung

$G{\stackrel {q}{\longrightarrow }}G/\operatorname {kern} \varphi {\stackrel {\theta }{\longrightarrow }}\operatorname {bild} \varphi {\stackrel {\iota }{\hookrightarrow }}H,$

wobei ${}q$ die kanonische Projektion, ${}\theta$ ein Gruppenisomorphismus und ${}\iota$ die kanonische Inklusion der Bildgruppe ist.

Beweis

Dies folgt aus Korollar 5.11, angewandt auf die Bildgruppe ${}U=\operatorname {bild} \varphi \subseteq H$.

$\Box$

Diese Aussage wird häufig kurz und prägnant so formuliert:

Bild ${}=$ Urbild modulo Kern.

Satz Referenznummer erstellen

Es sei ${}G$ eine Gruppe und ${}N\subseteq G$ ein Normalteiler mit der Restklassengruppe ${}Q=G/N$. Es sei ${}H\subseteq G$ ein weiterer Normalteiler in ${}G$, der ${}N$ umfasst.

Dann ist das Bild ${}{\overline {H}}$ von ${}H$ in ${}Q$ ein Normalteiler und es gilt die kanonische Isomorphie

${}G/H\cong Q/{\overline {H}}\,.$

Beweis

Für die erste Aussage siehe Aufgabe 5.25. Damit ist die Restklassengruppe ${}Q/{\overline {H}}$ wohldefiniert. Wir betrachten die Komposition

$p\circ q:G\longrightarrow Q\longrightarrow Q/{\overline {H}}.$

Wegen

${}{\begin{aligned}\operatorname {kern} \left(p\circ q\right)&={\left\{x\in G\mid (p\circ q)(x)=e\right\}}\\&={\left\{x\in G\mid q(x)\in \operatorname {kern} p\right\}}\\&={\left\{x\in G\mid q(x)\in {\overline {H}}\right\}}\\&=H\end{aligned}}$

ist ${}\operatorname {kern} \left(p\circ q\right)=H$. Daher ergibt Korollar 5.11 die kanonische Isomorphie

$G/H\longrightarrow Q/{\overline {H}}.$

$\Box$

Kurz gesagt ist also

${}G/H=(G/N)/(H/N)\,.$

Fußnoten