Kommutative Algebra/Modulhomomorphismus/Festlegung auf Basis/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein kommutativer Ring und , zwei -Moduln, wobei frei sei. Seien , eine Basis von und , Elemente aus .

Dann gibt es genau einen -Modulhomomorphismus , für den

für alle gilt.
Zum Beweis, Alternativen Beweis erstellen