Es sei R {\displaystyle {}R} ein kommutativer Ring und I ⊆ R {\displaystyle {}I\subseteq R} ein Ideal in R {\displaystyle {}R}
