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