Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 12/latex
\setcounter{section}{12}
\zwischenueberschrift{Restklassenbildung}
In der letzten Vorlesung haben wir in Lemma 11.12 gesehen, dass der Kern eines Gruppenhomomorphismus ein Normalteiler ist. Wir zeigen nun umgekehrt, dass sich jeder Normalteiler als Kern eines geeigneten, surjektiven Gruppenhomomorphismus realisieren lässt.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Coset_multiplication.svg} }
\end{center}
\bildtext {Die Multiplikation der Nebenklassen zu einem Normalteiler $N \subseteq G$.} }
\bildlizenz { Coset multiplication.svg } {} {Cronholm 144} {Commons} {CC-by-sa 2.5} {}
\inputfaktbeweis
{Gruppe/Normalteiler/Restklassengruppe/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{ H
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Normalteiler}{}{.} Es sei
\mathl{G/H}{} die Menge der
\definitionsverweis {Nebenklassen}{}{}
\zusatzklammer {die Quotientenmenge} {} {}
und
\maabbeledisp {q} {G} {G/H
} {g} {[g]
} {,}
die
\definitionsverweis {kanonische Projektion}{}{.}}
\faktfolgerung {Dann gibt es eine eindeutig bestimmte Gruppenstruktur auf
\mathl{G/H}{} derart, dass $q$ ein
\definitionsverweis {Gruppenhomomorphismus}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Da die kanonische Projektion zu einem Gruppenhomomorphismus werden soll, muss die Verknüpfung durch
\mavergleichskettedisp
{\vergleichskette
{ [x] [y]
}
{ =} { [xy]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben sein. Wir müssen also zeigen, dass durch diese Vorschrift eine wohldefinierte Verknüpfung auf
\mathl{G/H}{} definiert ist, die unabhängig von der Wahl der Repräsentanten ist. D.h. wir haben für \mathkon { [x]=[x'] } { und } { [y]=[y'] }{ } zu zeigen, dass
\mavergleichskette
{\vergleichskette
{[xy]
}
{ = }{[x'y']
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Nach Voraussetzung können wir \mathkon { x'=xh } { und } { hy'= \tilde{h} y=yh' }{ } mit
\mathl{h, \tilde{h}, h' \in H}{} schreiben. Damit ist
\mavergleichskettedisp
{\vergleichskette
{x'y'
}
{ =} {(xh)y'
}
{ =} {x(hy')
}
{ =} {x(yh')
}
{ =} {xyh'
}
}
{}{}{.}
Somit ist
\mavergleichskette
{\vergleichskette
{ [xy]
}
{ = }{ [x'y']
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Aus der Wohldefiniertheit der Verknüpfung auf
\mathl{G/H}{} folgen die Gruppeneigenschaften, die Homomorphieeigenschaft der Projektion und die Eindeutigkeit.
\inputdefinition
{}
{
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{ H
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Normalteiler}{}{.} Die
\definitionsverweis {Quotientenmenge}{}{}
\mathdisp {G/H} { }
mit der aufgrund von
Satz 12.1
eindeutig bestimmten Gruppenstruktur heißt \definitionswort {Restklassengruppe von }{} $G$ \definitionswort {modulo}{} $H$. Die Elemente
\mavergleichskette
{\vergleichskette
{ [g]
}
{ \in }{ G/H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \definitionswort {Restklassen}{.} Für eine Restklasse $[g]$ heißt jedes Element
\mathkor {} {g' \in G} {mit} {[g'] = [g]} {}
ein \definitionswort {Repräsentant}{} von $[g]$.
}
\inputbeispiel{}
{
Die
\definitionsverweis {Untergruppen}{}{}
der ganzen Zahlen sind nach
Satz 5.2
von der Form
\mathkor {} {\Z n} {mit} {n \geq 0} {.}
Die
\definitionsverweis {Restklassengruppen}{}{}
werden mit
\mathdisp {\Z/(n)} { }
bezeichnet
\zusatzklammer {sprich \anfuehrung{$\Z$ modulo $n$}{}} {} {.}
Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das einfach $\Z$ selbst, bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das die
\definitionsverweis {triviale Gruppe}{}{.}
Im Allgemeinen ist die durch die Untergruppe $\Z n$ definierte Äquivalenzrelation auf $\Z$ dadurch gegeben, dass zwei ganze Zahlen
\mathkor {} {a} {und} {b} {}
genau dann äquivalent sind, wenn ihre Differenz
\mathl{a-b}{} zu $\Z n$ gehört, also ein Vielfaches von $n$ ist. Daher ist
\zusatzklammer {bei $n \geq 1$} {} {}
jede ganze Zahl zu genau einer der $n$ Zahlen
\mathdisp {0,1,2 , \ldots , n-1} { }
äquivalent
\zusatzklammer {oder, wie man auch sagt, \stichwort {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
\maabbeledisp {} {\Z} { \Z/(n)
} {a} {[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
\definitionsverweis {zyklischen Gruppe}{}{}
$\Z$ ist auch
\mathl{\Z/(n)}{} zyklisch, und zwar ist $1$
\zusatzklammer {aber auch $-1$} {} {}
stets ein Erzeuger.
}
Wie bei jeder Äquivalenzrelation $\sim$ auf $G$ nennt man eine Teilmenge
\mathl{R \subseteq G}{} ein Repräsentantensystem für die Äquivalenzrelation, wenn jede Äquivalenzklasse genau ein Element aus $R$ enthält. Dies bedeutet, dass die Abbildung
\maabb {} {R} {G/ \sim
} {}
bijektiv ist. Solche Repräsentantensysteme gibt es immer. In unserem gruppentheoretischen Kontext gibt es manchmal eine Untergruppe
\mathl{F \subseteq G}{} mit der Eigenschaft, dass die Gesamtabbildung
\maabbeledisp {} {F} {G/H
} {f} {[f]
} {,}
bijektiv und damit ein Isomorphismus ist. Dies liefert dann eine einfache Beschreibung der Restklassengruppe, wie im folgenden Beispiel.
\inputbeispiel{}
{
Wir betrachten die Einheitengruppe von ${\mathbb C}$, also
\mathl{({\mathbb C}^\times, 1 , \cdot)}{.}
Zur Untergruppe
\mathl{\R_+ \subseteq {\mathbb C}^\times}{} ist die Abbildung
\mathdisp {S^1={ \left\{ z \in {\mathbb C} \mid \betrag { z } = 1 \right\} } \longrightarrow {\mathbb C}^{\times} \longrightarrow {\mathbb C}/\R_+} { }
ein Isomorphismus, die Restklassengruppe ist also isomorph zur Kreisgruppe. Der Kern der Gesamtabbildung besteht aus dem Durchschnitt
\mavergleichskettedisp
{\vergleichskette
{S^1 \cap \R_+
}
{ =} { \{1\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
daher ist die Abbildung nach
Lemma 10.13
injektiv. Zum Beweis der Surjektivität müssen wir zeigen, dass die Äquivalenzklasse zu jedem
\mathl{x \in {\mathbb C}^{\times}}{} durch ein Element des Einheitskreises repräsentiert werden kann. Hierzu kann man
\mathl{{ \frac{ x }{ \betrag { x } } }}{} nehmen.
Zur Untergruppe
\mathl{S^1 \subseteq {\mathbb C}^\times}{} ist die Abbildung
\mathdisp {\R_+ \longrightarrow {\mathbb C}^{\times} \longrightarrow {\mathbb C}/S^1} { }
bijektiv, die Restklassengruppe ist also isomorph zur Gruppe der positiven reellen Zahlen. Die Injektivität ergibt sich wie eben. Die Surjektivität ergibt sich daraus, dass
\mathl{x \in {\mathbb C}^{\times}}{} zu
\mathl{\betrag { x }}{}
\zusatzklammer {bezüglich der Untergruppe $S^1$} {} {}
äquivalent ist.
}
\zwischenueberschrift{Homomorphie- und Isomorphiesatz}
\inputfaktbeweis
{Gruppenhomomorphismus/Homomorphiesatz/Surjektiv und Kern/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {G, Q} {und} {H} {}
\definitionsverweis {Gruppen}{}{,}
es sei
\maabb {\varphi} {G} { H
} {}
ein
\definitionsverweis {Gruppenhomomorphismus}{}{}
und
\maabb {\psi} {G} {Q
} {}
ein
\definitionsverweis {surjektiver}{}{}
Gruppenhomomorphismus.}
\faktvoraussetzung {Es sei vorausgesetzt, dass
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{kern} \psi
}
{ \subseteq} { \operatorname{kern} \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.}
\faktfolgerung {Dann gibt es einen eindeutig bestimmten Gruppenhomomorphismus
\maabbdisp {\tilde{\varphi}} {Q } {H
} {}
derart, dass
\mavergleichskette
{\vergleichskette
{\varphi
}
{ = }{ \tilde{\varphi} \circ \psi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.}
\faktzusatz {Mit anderen Worten: das Diagramm
\mathdisp {\begin{matrix}G & \stackrel{ \varphi }{\longrightarrow} & H & \\ \!\!\! \!\! \psi \downarrow & \nearrow \tilde{\varphi} \!\!\! \!\! & \\ Q & & & & \!\!\!\!\! \!\!\! \\ \end{matrix}} { }
ist kommutativ.}
\faktzusatz {}
}
{
\teilbeweis {Wir zeigen zuerst die Eindeutigkeit.\leerzeichen{}}{}{}
{Für jedes Element
\mavergleichskette
{\vergleichskette
{ u
}
{ \in }{ Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es mindestens ein
\mathkor {} {g \in G} {mit} {\psi (g)=u} {.}
Wegen der Kommutativität des Diagramms muss
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi} (u)
}
{ =} {\varphi(g)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten. Das bedeutet, dass es maximal ein $\tilde{\varphi}$ geben kann.}
{}
\teilbeweis {Wir haben zu zeigen, dass durch diese Bedingung eine wohldefinierte Abbildung gegeben ist.\leerzeichen{}}{}{}
{Es seien also
\mavergleichskette
{\vergleichskette
{ g,g'
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zwei Urbilder von $u$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \psi { \left( g' g^{-1} \right) }
}
{ =} { u u^{-1}
}
{ =} { e_Q
}
{ } {
}
{ } {
}
}
{}{}{}
und somit ist
\mavergleichskette
{\vergleichskette
{ g'g^{-1}
}
{ \in }{ \operatorname{kern} \psi
}
{ \subseteq }{ \operatorname{kern} \varphi
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist
\mavergleichskette
{\vergleichskette
{ \varphi(g)
}
{ = }{ \varphi(g')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Abbildung ist also wohldefiniert. Seien
\mavergleichskette
{\vergleichskette
{ u,v
}
{ \in }{ Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und seien
\mavergleichskette
{\vergleichskette
{ g,h
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Urbilder davon. Dann ist $gh$ ein Urbild von $uv$ und daher ist
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi} (uv)
}
{ =} { \varphi(gh)
}
{ =} { \varphi(g) \varphi (h)
}
{ =} { \tilde{\varphi} (u) \tilde{\varphi} (v)
}
{ } {}
}
{}{}{.}
D.h. $\tilde{\varphi}$ ist ein Gruppenhomomorphismus.}
{}
Die im vorstehenden Satz konstruierte Abbildung heißt
\definitionswortenp{induzierte Abbildung}{} oder
\definitionswortenp{induzierter Homomorphismus}{} und entsprechend heißt der Satz auch
\stichwort{Satz vom induzierten Homomorphismus}{.}
\inputfaktbeweis
{Gruppenhomomorphismus/Surjektiv und Restklassengruppe/Fakt}
{Korollar}
{}
{
\faktsituation {Es seien
\mathkor {} {G} {und} {H} {}
\definitionsverweis {Gruppen}{}{}
und sei
\maabbdisp {\varphi} {G} {H
} {}
ein \definitionsverweis {surjektiver}{}{}
\definitionsverweis {Gruppenhomomorphismus}{}{.}}
\faktfolgerung {Dann gibt es eine kanonische
\definitionsverweis {Isomorphie}{}{}
\maabbdisp {\tilde{\varphi}} {G/ \operatorname{kern} \varphi } {H
} {.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir wenden
Satz 12.5
auf
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{ G/ \operatorname{kern} \varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die
\definitionsverweis {kanonische Projektion}{}{}
\maabb {q} {G} {G/\operatorname{kern} \varphi
} {}
an. Dies induziert einen Gruppenhomomorphismus
\maabbdisp {\tilde{\varphi}} {G/\operatorname{kern} \varphi } {H
} {}
mit
\mavergleichskette
{\vergleichskette
{ \varphi
}
{ = }{ \tilde{\varphi} \circ q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
der surjektiv ist. Sei
\mathkor {} {[x] \in G/\operatorname{kern} \varphi} {und} {[x] \in \operatorname{kern} \tilde{\varphi}} {.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi} ([x])
}
{ =} { \varphi(x)
}
{ =} { e_H
}
{ } {}
{ } {}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ \operatorname{kern} \varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist
\mavergleichskette
{\vergleichskette
{ [x]
}
{ = }{ e_Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
d.h. der Kern von $\tilde{\varphi}$ ist trivial und nach
Lemma 10.13
ist $\tilde{\varphi}$ auch injektiv.
\inputfaktbeweis
{Gruppenhomomorphismus/Faktorisierung/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {G} {und} {H} {}
\definitionsverweis {Gruppen}{}{}
und sei
\maabbdisp {\varphi} {G} {H
} {}
ein
\definitionsverweis {Gruppenhomomorphismus}{}{.}}
\faktfolgerung {Dann gibt es eine kanonische Faktorisierung
\mathdisp {G \stackrel{q}{\longrightarrow} G/ \operatorname{kern} \varphi \stackrel{\theta}{\longrightarrow} \operatorname{bild} \varphi \stackrel{\iota} {\hookrightarrow} H} { , }
wobei $q$ die
\definitionsverweis {kanonische Projektion}{}{,}
$\theta$ ein
\definitionsverweis {Gruppenisomorphismus}{}{}
und $\iota$ die kanonische Inklusion der
\definitionsverweis {Bildgruppe}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus
Korollar 12.6,
angewandt auf die Bildgruppe
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{ \operatorname{bild} \varphi
}
{ \subseteq }{ H
}
{ }{
}
{ }{
}
}
{}{}{.}
Diese Aussage wird häufig kurz und prägnant so formuliert:
\einrueckung{
\betonung{Bild $=$ Urbild modulo Kern}{.}}
\inputfaktbeweis
{Gruppentheorie/Isomorphiesatz für Restklassengruppen/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{ N
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Normalteiler}{}{} mit der
\definitionsverweis {Restklassengruppe}{}{}
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{G/N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein weiterer Normalteiler in $G$, der $N$ umfasst.}
\faktfolgerung {Dann ist das
\definitionsverweis {Bild}{}{}
$\overline{H}$ von $H$ in $Q$ ein Normalteiler und es gilt die kanonische
\definitionsverweis {Isomorphie}{}{}
\mavergleichskettedisp
{\vergleichskette
{ G/H
}
{ \cong} { Q/ \overline{H}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Für die erste Aussage siehe
Aufgabe 11.16.
Damit ist die Restklassengruppe
\mathl{Q/\overline{H}}{} wohldefiniert. Wir betrachten die Komposition
\mathdisp {p \circ q : G \longrightarrow Q \longrightarrow Q/\overline{H}} { . }
Wegen
\mavergleichskettealign
{\vergleichskettealign
{ \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
}
}
{}
{}{}
ist
\mavergleichskette
{\vergleichskette
{ \operatorname{kern} \left( p \circ q \right)
}
{ = }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ergibt
Korollar 12.6
die kanonische Isomorphie
\maabbdisp {} {G/H} {Q/\overline{H}
} {.}
Kurz gesagt ist also
\mavergleichskettedisp
{\vergleichskette
{ G/H
}
{ =} {(G/N)/(H/N)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}