Modul/Komplettierung/Funktorialität/Fakt/Beweis

Aus Wikiversity
Beweis

Zu jedem gibt es natürliche -Modulhomomorphismen

da ja unter nach abgebildet wird. Dies ergibt einen Gruppenhomomorphismus

Dieser respektiert die in Fakt beschriebene Modulstruktur.