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$.