Kurze exakte Sequenz/Modul/Duale Sequenz/Aufgabe/Lösung
Erscheinungsbild
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.