Es sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}A}$ eine kommutative ${\displaystyle {}R}$-Algebra. Zeige, dass durch

${\displaystyle A^{\times }\longrightarrow \Omega _{A{|}R},\,f\longmapsto {\frac {df}{f}},}$

ein Gruppenhomomorphismus von der Einheitengruppe in den Modul der Kähler-Differentiale