Es sei R {\displaystyle {}R} ein noetherscher Ring und a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} ein Ideal. Es sei M {\displaystyle {}M} ein endlich erzeugter R {\displaystyle {}R} -Modul.
Dann ist
wobei R {\displaystyle {}R} bezüglich a {\displaystyle {}{\mathfrak {a}}} und M {\displaystyle {}M} bezüglich a M {\displaystyle {}{\mathfrak {a}}M} komplettiert wird.
