# Übersicht zur Restklassenbildung/Kommutativer Ring und Ideal/Textabschnitt

    Restklassenbildung
Restklassenbildung ist ein fundamentaler Prozess in der Algebra, an den wir kurz erinnern.

## Satz

Es seien $R$ und $S$ kommutative Ringe und sei
    $\varphi \colon R\longrightarrow S$
ein Ringhomomorphismus. Dann ist der Kern
    $\operatorname {kern} \varphi ={\left\{f\in R\mid \varphi (f)=0\right\}}\,$
ein Ideal in $R$.

### Beweis

Es sei
    $I:=\varphi ^{-1}(0)\,.$
Wegen $\varphi (0)=0$. ist $0\in I$. Es seien $a,b\in I$. Das bedeutet $\varphi (a)=0$ und $\varphi (b)=0$. Dann ist
    $\varphi (a+b)=\varphi (a)+\varphi (b)=0+0=0\,$
und daher $a+b\in I$.
Es sei nun $a\in I$ und $r\in R$ beliebig. Dann ist
    $\varphi (ra)=\varphi (r)\varphi (a)=\varphi (r)\cdot 0=0\,,$
also ist $ra\in I$.
$\Box$
Man kann umgekehrt zu jedem Ideal $I\subseteq R$ einen Ring $R/I$ konstruieren, und zwar zusammen mit einer surjektiven Abbildung
    $R\longrightarrow R/I,$
deren Kern gerade das vorgegebene Ideal $I$ ist.

## 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$.
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 wird eine Addition von Nebenklassen definiert.
    $(a+I)+(b+I):=(a+b+I)\,$
* Durch wird eine Multiplikation von Nebenklassen definiert.
    $(a+I)\cdot (b+I):=(a\cdot b+I)\,$
* ${\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.
Darüber hinaus ist die Abbildung
    $R\longrightarrow R/I,\,a\longmapsto a+I=:{\bar {a}}$
ein Ringhomomorphismus, die sogenannte Restklassenabbildung . 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 null, 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 $n$ zuordnet. Jeder Rest wird dann repräsentiert durch eine der Zahlen $0,1,2,\ldots ,n-1$. Im Allgemeinen gibt es nicht ein so übersichtliches Repräsentantensystem.
Ein typisches Beispiel, wie man mit Restklassen etwas beweist und wie man Eigenschaften von Elementen (oder anderen Objekten) in Eigenschaften von Restklassen übersetzt, liefert der folgende Satz (wir unterscheiden in der Notation nicht zwischen Klasse und Repräsentant; es sei zur Übung empfohlen, eine unterscheidende Notation einzufügen).

## Satz

Es sei $R$ ein kommutativer Ring und ${\mathfrak {p}}$ ein Ideal in $R$.
Dann ist ${\mathfrak {p}}$ genau dann ein Primideal, wenn der Restklassenring $R/{\mathfrak {p}}$ ein Integritätsbereich ist.

### Beweis

Es sei zunächst ${\mathfrak {p}}$ ein Primideal. Dann ist insbesondere
${\mathfrak {p}}\subset R$ und somit ist der Restklassenring $R/{\mathfrak {p}}$ nicht der Nullring. Sei $fg=0$ in $R/{\mathfrak {p}}$ wobei $f,g$ durch Elemente in $R$ repräsentiert seien. Dann ist $fg\in {\mathfrak {p}}$ und damit $f\in {\mathfrak {p}}$ oder $g\in {\mathfrak {p}}$. was in $R/{\mathfrak {p}}$ gerade $f=0$ oder $g=0$ bedeutet.
Ist umgekehrt $R/{\mathfrak {p}}$ ein Integritätsbereich, so handelt es sich nicht um den Nullring und daher ist ${\mathfrak {p}}\neq R$. Sei $f,g\notin {\mathfrak {p}}$. Dann ist $f,g\neq 0$ in $R/{\mathfrak {p}}$ und daher $fg\neq 0$ in $R/{\mathfrak {p}}$, also ist $fg\notin {\mathfrak {p}}$.
$\Box$