Kähler-Differentiale/Relative Differentialsequenz/Fakt/Beweis

Aus Wikiversity
Beweis

Die Surjektivität rechts ist klar. Zur Exaktheit an der zweiten Stelle verwenden wir die Beschreibung aus Fakt  (2). Die beiden Moduln und besitzen das gleiche Erzeugendensystem und auch die Leibnizrelationen sind für beide gleich. Der Modul ergibt sich aus gerade dadurch, dass man den von den , , erzeugten -Untermodul zu macht. Dieser Untermodul ist genau das Bild der Abbildung links.