Kommutative Algebra/Modulhomomorphismus/Festlegung auf Erzeugendensystem/Fakt/Beweis

Beweis

Es sei mit der Darstellung

Für einen Homomorphismus mit für alle gilt

Dies legt auf ganz fest.