Artinscher lokaler Ring/Freie Moduln/Homomorphismus/Injektiv und direkter Summand/Aufgabe
Erscheinungsbild
Es sei ein lokaler artinscher Ring und ein Modulhomomorphismus zwischen den endlich erzeugten freien -Moduls und . Zeige, dass genau dann injektiv ist, wenn ein direkter Summand von ist.