Kommutative Algebra/Modulhomomorphismus/Festlegung auf Basis/Fakt
Es sei ein kommutativer Ring und , zwei -Moduln, wobei frei sei. Es seien , eine Basis von und , Elemente aus .
Dann gibt es genau einen -Modulhomomorphismus , für den
Es sei ein kommutativer Ring und , zwei -Moduln, wobei frei sei. Es seien , eine Basis von und , Elemente aus .
Dann gibt es genau einen -Modulhomomorphismus , für den