{{ Mathematischer Text/Fakt |Text= {{ Faktstruktur|typ= |Situation= Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}R}$ eine lokale kommutative ${\displaystyle {}K}$-Algebra und es sei die Gesamtabbildung

${\displaystyle K\longrightarrow R\longrightarrow R/{\mathfrak {m}}}$

ein Isomorphismus. |Voraussetzung= |Übergang= |Folgerung= Dann ist die Abbildung {{ Ma:abbele/disp |name= | / ^2 | \Omega_{R {{|}} K} \otimes_{ R } R/ {\mathfrak m} | [f]| df \otimes 1 |SZ=, }} ein ${\displaystyle {}R/{\mathfrak {m}}}$-Modulisomorphismus. |Zusatz= }} |Textart=Fakt |Kategorie=Theorie der Kähler-Differentiale |Kategorie2= |Kategorie3= |Objektkategorie= |Stichwort= |Faktname= |Abfrage=Kotangentialraum und Modul der Kähler-Differentiale |Variante= |Autor= |Bearbeitungsstand= }}