Kommutative Ringtheorie/Restklassenring/Definition

Restklassenring

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.

1. Als Menge ist ${}R/I$ die Menge der Nebenklassen zu ${}I$.
2. Durch

   ${}(a+I)+(b+I):=(a+b+I)\,$

   wird eine Addition von Nebenklassen definiert.

3. Durch

   ${}(a+I)\cdot (b+I):=(a\cdot b+I)\,$

   wird eine Multiplikation von Nebenklassen definiert.

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