Noetherscher Ring/Komplettierung/Modul/Tensorierung/Abbildung/Fakt/Beweis

Beweis

Nach Fakt besitzt eine -Modulstruktur, d.h es gibt eine Abbildung

die -multilinear ist. Dies definiert eine -lineare Abbildung