Kähler-Differentiale/Jacobi-Matrix/Kokern-Darstellung/Bemerkung

Aus Wikiversity

Es sei ein kommutativer Ring und es sei eine kommutative endlich erzeugte -Algebra, die als gegeben sei. Dann ist nach Fakt  (4)

und nach Fakt gibt es eine exakte Sequenz

wobei

die transponierte Jacobi-Matrix (ohne Auswertung an einem Punkt) ist. Die Standardvektoren werden auf abgebildet und die Spaltenvektoren , die die Nullelemente repräsentieren, sind die Bilder der durch die Matrix gegebenen Abbildung.