Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil II/Vorlesung 47/latex
\setcounter{section}{47}
\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.}
{}
\inputbeispiel{}
{
Wir betrachten die beiden surjektiven
\definitionsverweis {Gruppenhomomorphismen}{}{}
\maabbdisp {\varphi} {\Z} { \Z/(4)
} {}
und
\maabbdisp {\psi} {\Z} { \Z/(12)
} {.}
Es ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{kern} \psi
}
{ =} { \Z \cdot 12
}
{ \subseteq} { \Z \cdot 4
}
{ =} { \operatorname{kern} \varphi
}
{ } {
}
}
{}{}{.}
Daher gibt es nach
dem Homomorphiesatz
einen eindeutig bestimmten Gruppenhomomorphismus
\maabbdisp {\tilde{\varphi}} { \Z/(12) } {\Z/(4)
} {,}
der mit den Restabbildungen verträglich ist. Dieser bildet den Rest der Zahl bei Division durch $12$ auf den Rest bei Division durch $4$ ab. Der Satz beinhaltet insbesondere die Aussage, dass dieser letztere Rest allein vom ersten Rest abhängt, nicht von der Zahl selbst.
Wenn man hingegen
\maabbdisp {\varphi} {\Z} { \Z/(5)
} {}
und
\maabbdisp {\psi} {\Z} { \Z/(12)
} {}
betrachtet, so ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{kern} \psi
}
{ =} { \Z \cdot 12
}
{ \not\subseteq} { \Z \cdot 5
}
{ =} { \operatorname{kern} \varphi
}
{ } {
}
}
{}{}{}
und es gibt keine natürliche Abbildung
\maabbdisp {} { \Z/(12) } {\Z/(5)
} {.}
Beispielsweise haben
\mathl{1,13,25,37,49}{,} die alle modulo $12$ den Rest $1$ haben, modulo $5$ die Reste
\mathl{1,3,0,2,4}{.}
}
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 47.1
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 44.21
ist $\tilde{\varphi}$ auch injektiv.
\inputbeispiel{}
{
Es sei $G$ eine
\definitionsverweis {zyklische Gruppe}{}{}
mit einem Erzeuger $g$. Wir betrachten den im Sinne von
Lemma 44.12
zugehörigen
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbeledisp {\varphi} {\Z} {G
} {n} { g^n
} {.}
Da ein Erzeuger vorliegt, ist diese Abbildung
\definitionsverweis {surjektiv}{}{.}
Der
\definitionsverweis {Kern}{}{}
dieser Abbildung ist durch die
\definitionsverweis {Ordnung}{}{}
von $g$ gegeben, die wir $k$ nennen
\zusatzklammer {oder $0$, wenn die Ordnung $\infty$ ist} {} {.}
Aufgrund von
Korollar 47.3
gibt es eine kanonische Isomorphie
\maabbdisp {\tilde{\varphi}} { \Z/(k) } {G
} {.}
Insbesondere gibt es bis auf Isomorphie für jedes $k$ genau eine zyklische Gruppe, nämlich
\mathl{\Z/(k)}{.}
}
\inputbeispiel{}
{
Der
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbeledisp {} {\R} {S^1
} {t} { \begin{pmatrix} \cos t \\ \sin t \end{pmatrix}
} {,}
ist
\definitionsverweis {surjektiv}{}{}
und aufgrund
der Periodizität
der
\definitionsverweis {trigonometrischen Funktionen}{}{}
ist der
\definitionsverweis {Kern}{}{}
gleich
\mathl{\Z 2 \pi}{.} Nach
dem Isomorphiesatz
gibt es eine kanonische Isomorphie
\mavergleichskettedisp
{\vergleichskette
{ \R/ \Z 2 \pi
}
{ \cong} {S^1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Die
\definitionsverweis {komplexe Exponentialfunktion}{}{}
\maabbeledisp {} {({\mathbb C},0,+)} {( {\mathbb C}^{\times} ,1, \cdot)
} {z} { \exp z
} {,}
ist ein
\definitionsverweis {surjektiver}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{.}
Der
\definitionsverweis {Kern}{}{}
ist
\mathl{\Z 2 \pi { \mathrm i}}{.} Nach
dem Isomorphiesatz
gibt es eine kanonische Isomorphie
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb C}/ \Z 2 \pi { \mathrm i}
}
{ \cong} { {\mathbb C}^{\times}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Die
\definitionsverweis {Determinante}{}{}
\maabbeledisp {\det} { \operatorname{GL}_{ n } \! { \left( K \right) }} {K^\times
} {M} { \det M
} {,}
ist ein
\definitionsverweis {surjektiver}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{,}
der
\definitionsverweis {Kern}{}{}
ist nach Definition die
\definitionsverweis {spezielle lineare Gruppe}{}{}
\mathl{\operatorname{SL}_{ n } \! { \left( K \right) }}{.} Nach
dem Isomorphiesatz
gibt es eine kanonische Isomorphie
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{GL}_{ n } \! { \left( K \right) }/ \operatorname{SL}_{ n } \! { \left( K \right) }
}
{ \cong} { K^{\times}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\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 47.3,
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 46.14.
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 47.3
die kanonische Isomorphie
\maabbdisp {} {G/H} {Q/\overline{H}
} {.}
Kurz gesagt ist also
\mavergleichskettedisp
{\vergleichskette
{ G/H
}
{ =} {(G/N)/(H/N)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Restklassenringe}
Auf einer Restklassengruppe zu einem Normalteiler in einer Gruppe gibt es häufig zusätzliche Strukturen, wenn die Ausgangsgruppe und der Normalteiler zusätzliche Eigenschaften besitzen. In der nächsten Vorlesung werden wir Restklassenräume zu Untervektorräumen besprechen. Hier besprechen wir kurz Restklassenringe zu einem Ideal in einem kommutativen Ring. Gelegentlich sind uns schon Ringhomomorphismen begegnet, wir erinnern an die Definition.
\inputdefinition
{}
{
Es seien
\mathkor {} {R} {und} {S} {}
\definitionsverweis {Ringe}{}{.}
Eine Abbildung
\maabbdisp {\varphi} {R} {S
} {}
heißt \definitionswort {Ringhomomorphismus}{,} wenn folgende Eigenschaften gelten:
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{\varphi(a+b)
}
{ = }{\varphi(a) + \varphi(b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}{
\mavergleichskette
{\vergleichskette
{\varphi(1)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{ \varphi(a \cdot b)
}
{ = }{\varphi(a) \cdot \varphi(b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Nach
Aufgabe 47.14
ist der
\definitionsverweis {Kern}{}{}
eines
\definitionsverweis {Ringhomomorphismus}{}{}
ein
\definitionsverweis {Ideal}{}{.}
Man kann umgekehrt zu jedem Ideal
\mathl{I \subseteq R}{} in einem
\zusatzklammer {kommutativen} {} {}
Ring einen Ring
\mathl{R/I}{} konstruieren, und zwar zusammen mit einem surjektiven Ringhomomorphismus
\maabbdisp {} {R} {R/I
} {,}
dessen Kern gerade das vorgegebene Ideal $I$ ist. Ideale und Kerne von Ringhomomorphismen sind also im Wesentlichen äquivalente Objekte, so wie das bei Gruppen für Kerne von Gruppenhomomorphismen und Normalteilern gilt. In der Tat gelten die entsprechenden Homomorphiesätze hier wieder, und können weitgehend auf die Gruppensituation zurückgeführt werden. Wir werden uns bei den Beweisen also kurz fassen können.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mavergleichskette
{\vergleichskette
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{}
in $R$. Zu
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt die Teilmenge
\mavergleichskettedisp
{\vergleichskette
{ a+I
}
{ =} { { \left\{ a+f \mid f \in I \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Nebenklasse von}{} $a$ zum Ideal $I$. Jede Teilmenge von dieser Form heißt \definitionswort {Nebenklasse}{} zu $I$.
}
Diese Nebenklassen sind gerade die
\definitionsverweis {Nebenklassen}{}{}
zur Untergruppe
\mathl{I \subseteq R}{,} die wegen der Kommutativität ein
\definitionsverweis {Normalteiler}{}{}
ist. Zwei Elemente
\mathl{a,b \in R}{} definieren genau dann die gleiche Nebenklasse, also
\mathl{a+I=b+I}{,} wenn ihre Differenz
\mathl{a-b}{} zum Ideal gehört. Man sagt dann auch, dass
\mathkor {} {a} {und} {b} {}
dieselbe Nebenklasse \stichwort {repräsentieren} {.}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und
\mavergleichskette
{\vergleichskette
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{}
in $R$. Dann ist der \definitionswort {Restklassenring}{}
\mathl{R/I}{} \zusatzklammer {sprich \anfuehrung{R modulo I}{}} {} {}
ein kommutativer Ring, der durch folgende Daten festgelegt ist.
\aufzaehlungfuenf{Als Menge ist
\mathl{R/I}{} die Menge der Nebenklassen zu $I$.
}{Durch
\mavergleichskettedisp
{\vergleichskette
{ (a+I) + (b+I)
}
{ \defeq} { (a+b+I)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wird eine Addition von Nebenklassen definiert.
}{Durch
\mavergleichskettedisp
{\vergleichskette
{ (a+I) \cdot (b+I)
}
{ \defeq} {(a \cdot b+I)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wird eine Multiplikation von Nebenklassen definiert.
}{
\mavergleichskette
{\vergleichskette
{\bar{0}
}
{ = }{ 0+I
}
{ = }{I
}
{ }{
}
{ }{
}
}
{}{}{}
definiert das neutrale Element für die Addition
\zusatzklammer {die Nullklasse} {} {.}
}{
\mavergleichskette
{\vergleichskette
{ \bar{1}
}
{ = }{1+I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert das neutrale Element für die Multiplikation
\zusatzklammer {die Einsklasse} {} {.}
}
}
Man muss dabei zeigen, dass diese Abbildungen
\zusatzklammer {also Addition und Multiplikation} {} {}
wohldefiniert sind, d.h. unabhängig vom Repräsentanten, und dass die Ringaxiome erfüllt sind. Da $I$ insbesondere eine Untergruppe der kommutativen Gruppe
\mathl{(R,+,0)}{} ist, liegt ein Normalteiler vor, so dass
\mathl{R/I}{} eine Gruppe ist und die Restklassenabbildung
\maabbeledisp {} {R} { R/I
} {a} { a+ I =: \bar{a}
} {,}
ein Gruppenhomomorphismus ist. Das einzig Neue gegenüber der Gruppensituation ist also die Anwesenheit einer Multiplikation. Die Wohldefiniertheit der Multiplikation ergibt sich so: Seien zwei Restklassen gegeben mit unterschiedlichen Repräsentanten, also
\mathkor {} {\overline{ a }\,=\overline{ a' }\,} {und} {\overline{ b }\,=\overline{ b' }\,} {.}
Dann ist
\mathkor {} {a-a' \in I} {und} {b-b' \in I} {}
bzw.
\mathkor {} {a'=a+x} {und} {b'=b+y} {}
mit
\mathl{x,y \in I}{.} Daraus ergibt sich
\mavergleichskettedisp
{\vergleichskette
{a'b'
}
{ =} {(a+x)(b+y)
}
{ =} {ab+ay+xb+xy
}
{ } {}
{ } {}
}
{}{}{.}
Die drei hinteren Summanden gehören zum Ideal, so dass die Differenz
\mathl{a'b'-ab \in I}{} ist.
Aus der Wohldefiniertheit folgen die anderen Eigenschaften und insbesondere, dass ein Ringhomomorphismus in den Restklassenring vorliegt. Diesen nennt man wieder die
\definitionswortenp{Restklassenabbildung}{} oder den
\definitionswortenp{Restklassenhomomorphismus}{.} Das Bild von
\mathl{a \in R}{} in
\mathl{R/I}{} wird häufig mit $[a]$, $\bar{a}$ oder einfach mit $a$ selbst bezeichnet und heißt die
\definitionswortenp{Restklasse}{} von $a$. Bei dieser Abbildung gehen genau die Elemente aus dem Ideal auf $0$, d.h. der Kern dieser Restklassenabbildung ist das vorgegebene Ideal.
Das einfachste Beispiel für diesen Prozess ist die Abbildung, die einer ganzen Zahl $a$ den Rest bei Division durch eine fixierte Zahl $d$ zuordnet. Jeder Rest wird dann repräsentiert durch eine der Zahlen
\mathl{0,1,2 , \ldots , d-1}{.} Im Allgemeinen gibt es nicht immer ein solch übersichtliches Repräsentantensystem.
\zwischenueberschrift{Die Restklassenringe von $\Z$}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Anillo_cíclico.png } }
\end{center}
\bildtext {} }
\bildlizenz { Anillo cíclico.png } {Romero Schmidtke} {FrancoGG} {es.wikipedia.org} {CC-BY-SA-3.0} {}
Die Restklassengruppen
\mathl{\Z/(d)}{} haben wir bereits kennengelernt, es handelt sich um zyklische Gruppen der Ordnung $d$. Diese Gruppen bekommen jetzt aber noch zusätzlich eine Ringstruktur.
{Restklassenringe von Z/Ringhomomorphismus/Fakt}
{Korollar}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei
\mavergleichskette
{\vergleichskette
{ d
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine natürliche Zahl.}
\faktfolgerung {Dann gibt es eine eindeutig bestimmte Ringstruktur auf
\mathl{\Z/(d)}{} derart, dass die
\definitionsverweis {Restklassenabbildung}{}{}
\maabbeledisp {} {\Z} {\Z/(d)
} {a} {\overline{ a }\,
} {,}
ein
\definitionsverweis {Ringhomomorphismus}{}{}
ist.}
\faktzusatz {
\mathl{\Z/(d)}{} ist ein kommutativer Ring mit $d$ Elementen
\zusatzklammer {bei \mathlk{d \geq 1}{}} {} {.}}
\faktzusatz {}
{Dies ist ein Spezialfall der obigen Überlegungen.}
Die Restklassenringe
\mathl{S=K[X]/(P)}{} sind ebenfalls gut überschaubar. Wenn $P$ den Grad $d$ besitzt, so wird jede Restklasse in $S$ durch ein eindeutiges Polynom von einem Grad
\mathl{<d}{} repräsentiert. Dieses ist der Rest, den man erhält, wenn man durch $P$ durchdividiert.