Modul/Komplettierung/Funktorialität/Fakt

Es sei ein kommutativer Ring, ein Ideal und sei ein -Modulhomomorphismus.

Dann gibt es einen natürlichen -Modulhomomorphismus

wobei alle Komplettierungen bezüglich des gegebenen Ideals zu verstehen sind.