Kommutative Algebra/Modulhomomorphismus/Faktorisierung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Der Faktorisierungssatz (Modul)

Sei ein kommutativer Ring, und zwei -Moduln und sei

ein Modulhomomorphismus.

Dann gibt es eine kanonische Faktorisierung

wobei die kanonische Projektion, ein Modulisomorphismus und die kanonische Inklusion der Bildgruppe ist.

Zum Beweis, Alternativen Beweis erstellen