Es seien R {\displaystyle {}R} ein kommutativer Ring und I , J {\displaystyle {}I,J} Ideale in R {\displaystyle {}R} . Es sei weiter