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