Zum Inhalt springen

Kurze exakte Sequenz/Modul/Duale Sequenz/Aufgabe/Lösung

Aus Wikiversity


Aus der Surjektivität

folgt mit Fakt direkt, dass

injektiv ist, da eine -lineare Abbildung

deren Verknüpfung mit die Nullabbildung ist, selbst die Nullabbildung sein muss.

Da die Hintereinanderschaltung die Nullabbildung ist, folgt dies auch für die zugehörige duale Abbildung.

Wir müssen also noch zeigen, dass eine Linearform  ,  die auf in abbildet, von einer Dualform aus herrührt. Die Bedingung besagt, dass die Einschränkung auf den Untermodul    die Nullabbildung ist. Das bedeutet, dass zum Kern von gehört. Nach dem Homomorphiesatz gibt es einen induzierten Homomorphismus

dessen Verknüpfung mit

gleich ist. Wegen   

ist dies die Behauptung.