Kommutative Ringtheorie/Ideal/Untermodul/Bemerkung

Ein Ideal ist eine Untergruppe der additiven Gruppe von ${}R$, die zusätzlich unter Skalarmultiplikation abgeschlossen ist. Ein Ideal ist das Gleiche wie ein ${}R$-Untermodul von ${}R$.