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