Artinscher lokaler Ring/Freie Moduln/Homomorphismus/Injektiv und direkter Summand/Aufgabe

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.