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

${}\Omega _{A_{S}{|}R}\cong {\left(\Omega _{A{|}R}\right)}_{S}\,.$

Einen Beweis erstellen