Es sei R {\displaystyle {}R} ein kommutativer Ring und sei S ⊆ R {\displaystyle {}S\subseteq R} ein Unterring
