Grundlagen: Mathematik

Was ist ein Ideal in einem Ring?

Ein Ideal $I$ eines Rings $R$ ist eine additive Untergruppe, die unter Multiplikation mit Ringelementen abgeschlossen ist.

Für kommutative Ringe: $r\in R$, $a\in I$ impliziert $ra\in I$.