Es sei R {\displaystyle {}R} ein kommutativer Ring und I ⊆ R {\displaystyle {}I\subseteq R} ein Ideal in R {\displaystyle {}R} .
Dann ist ein Element a ∈ R {\displaystyle {}a\in R} genau dann eine Einheit modulo I {\displaystyle {}I} , wenn a {\displaystyle {}a} und I {\displaystyle {}I} zusammen das Einheitsideal in R {\displaystyle {}R} erzeugen.
