Es sei R {\displaystyle {}R} ein kommutativer Ring. Es sei T ⊆ R {\displaystyle {}T\subseteq R} eine Teilmenge der Grundmenge von R {\displaystyle {}R} .
Dann ist T {\displaystyle {}T} genau dann ein Ideal von R {\displaystyle {}R} , wenn T {\displaystyle {}T} ein Untermodul des R {\displaystyle {}R} -Moduls R {\displaystyle {}R} ist.
