Kommutative Algebra/Modulhomomorphismus/Festlegung auf Erzeugendensystem/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutativer Ring und , zwei -Moduln. Seien ein Erzeugendensystem von und Elemente aus .

Dann gibt es höchstens einen -Modulhomomorphismus , für den

für alle gilt.

Zum Beweis, Alternativen Beweis erstellen