Kurs:Kommutative Algebra/Teil I/Vorlesung 7

Restklassenringe

Nach Lemma 4.6 ist der Kern eines Ringhomomorphismus ein Ideal. Man kann umgekehrt zu jedem Ideal ${}I\subseteq R$ in einem (kommutativen) Ring einen Ring ${}R/I$ konstruieren, und zwar zusammen mit einem surjektiven Ringhomomorphismus

R\longrightarrow 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.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}I\subseteq R$ ein Ideal in ${}R$ . Zu ${}a\in R$ heißt die Teilmenge

{}a+I=\left\{a+f\mid f\in I\right\}\,

die Nebenklasse von ${}a$ zum Ideal ${}I$ . Jede Teilmenge von dieser Form heißt Nebenklasse zu ${}I$ .

Diese Nebenklassen sind gerade die Nebenklassen zur (additiven) Untergruppe ${}I\subseteq R$ , die wegen der Kommutativität der Addition ein Normalteiler ist. Zwei Elemente ${}a,b\in R$ definieren genau dann die gleiche Nebenklasse, also ${}a+I=b+I$ , wenn ihre Differenz ${}a-b$ zum Ideal gehört. Man sagt dann auch, dass ${}a$ und ${}b$ dieselbe Nebenklasse repräsentieren.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}I\subseteq R$ ein Ideal in ${}R$ . Dann ist der Restklassenring ${}R/I$ (sprich „R modulo I“) ein kommutativer Ring, der durch folgende Daten festgelegt ist.

Als Menge ist ${}R/I$ die Menge der Nebenklassen zu ${}I$ .
Durch
${}(a+I)+(b+I):=(a+b+I)\,$

wird eine Addition von Nebenklassen definiert.
Durch
${}(a+I)\cdot (b+I):=(a\cdot b+I)\,$

wird eine Multiplikation von Nebenklassen definiert.
${}{\bar {0}}=0+I=I$ definiert das neutrale Element für die Addition (die Nullklasse).
${}{\bar {1}}=1+I$ definiert das neutrale Element für die Multiplikation (die Einsklasse).

Man muss dabei zeigen, dass diese Abbildungen (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 ${}(R,+,0)$ ist, liegt ein Normalteiler vor, sodass ${}R/I$ eine Gruppe ist und die Restklassenabbildung

R\longrightarrow R/I,\,a\longmapsto 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 ${}{\overline {a}}\,={\overline {a'}}\,$ und ${}{\overline {b}}\,={\overline {b'}}\,$ . Dann ist ${}a-a'\in I$ und ${}b-b'\in I$ bzw. ${}a'=a+x$ und ${}b'=b+y$ mit ${}x,y\in I$ . Daraus ergibt sich

{}a'b'=(a+x)(b+y)=ab+ay+xb+xy\,.

Die drei hinteren Summanden gehören zum Ideal, sodass die Differenz ${}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 Restklassenabbildung oder den Restklassenhomomorphismus. Das Bild von ${}a\in R$ in ${}R/I$ wird häufig mit ${}[a]$ , ${}{\bar {a}}$ oder einfach mit ${}a$ selbst bezeichnet und heißt die 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 ${}0,1,2,\ldots ,d-1$ . Im Allgemeinen gibt es nicht immer ein solch übersichtliches Repräsentantensystem.

Satz

Es seien ${}R,S$ und ${}T$ kommutative Ringe, es sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus und ${}\psi \colon R\rightarrow T$ ein surjektiver Ringhomomorphismus. Es sei vorausgesetzt, dass

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

ist.

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

${\tilde {\varphi }}\colon T\longrightarrow S$

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

Mit anderen Worten: das Diagramm

{\begin{matrix}R&{\stackrel {}{\longrightarrow }}&T&\\&\searrow &\downarrow &\\&&S&\!\!\!\!\!\!\!\!\\\end{matrix}}

ist kommutativ.

Beweis

Aufgrund von Satz 8.1 (Einführung in die Algebra (Osnabrück 2009)) gibt es einen eindeutig bestimmten Gruppenhomomorphismus

{\tilde {\varphi }}\colon T\longrightarrow S,

der die Eigenschaften erfüllt. Es ist also lediglich noch zu zeigen, dass ${}{\tilde {\varphi }}$ auch die Multiplikation respektiert. Es seien dazu ${}t,t'\in T$ , und diese seien repräsentiert durch ${}r$ bzw. ${}r'$ aus ${}R$ . Dann wird ${}tt'$ durch ${}rr'$ repräsentiert und daher ist

{}{\tilde {\varphi }}(tt')=\varphi (rr')=\varphi (r)\varphi (r')={\tilde {\varphi }}(t){\tilde {\varphi }}(t')\,.

Ferner ist

{}{\tilde {\varphi }}(1)={\tilde {\varphi }}(\psi (1))=\varphi (1)=1\,.

\Box

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

Korollar

Es seien ${}R$ und ${}S$ kommutative Ringe und sei

\varphi \colon R\longrightarrow S

ein surjektiver Ringhomomorphismus.

Dann gibt es eine kanonische Isomorphie von Ringen

${\tilde {\varphi }}\colon R/\operatorname {kern} \varphi \longrightarrow S.$

Beweis

Aufgrund von Korollar 8.2 (Einführung in die Algebra (Osnabrück 2009)) liegt ein natürlicher Gruppenisomorphismus vor, der wegen Satz 7.3 auch die Multiplikation respektiert, also ein Ringhomomorphismus ist.

\Box

Satz

Es seien ${}R$ und ${}S$ kommutative Ringe und sei

\varphi \colon R\longrightarrow S

ein Ringhomomorphismus.

Dann gibt es eine kanonische Faktorisierung

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

wobei ${}q$ die kanonische Projektion, ${}\theta$ ein Ringisomorphismus und ${}\iota$ die kanonische Inklusion des Bildes ist.

Beweis

Dies beruht auf Korollar 8.2 (Einführung in die Algebra (Osnabrück 2009)) und Satz 7.3.

\Box

Es gilt also wieder:

Bild ${}=$ Urbild modulo Kern.

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}I\subseteq R$ ein Ideal in ${}R$ mit dem Restklassenring ${}S=R/I$ . Es sei ${}J$ ein weiteres Ideal in ${}R$ , das ${}I$ umfasst.