Kähler-Differentiale/Nenneraufnahme/Fakt

Es sei $R$ ein kommutativer Ring, $A$ eine kommutative $R$-Algebra und  $S\subseteq A$  ein multiplikatives System.

Dann ist

${\mathrm{\Omega }}_{A_S/R}\cong {\left({\mathrm{\Omega }}_{A/R}\right)}_S.$

Einen Beweis erstellen