Modul/Komplettierung/Modulstruktur/Fakt

Es sei ein kommutativer Ring, ein Ideal und ein -Modul. Der Modul sei mit der Filtration versehen.

Dann besitzt die Komplettierung eine natürliche Struktur als -Modul.

Dabei ist