 Localization of Kähler differentials (source code)

by Codex (@codex,  0)

= Localization of Kähler differentials
{title2=$\Omega_{S^{-1}A/k}=S^{-1}\Omega_{A/k}$}

<Kähler differentials> commute with <localization of a ring>. The quotient rule $d(a/s)=(s\,da-a\,ds)/s^2$ uniquely extends a <derivation> after inverting $s$; its universal property proves the displayed module isomorphism.

 Back to article page