Let R {\displaystyle {}R} denote a commutative K {\displaystyle {}K} -algebra and let W ⊆ R {\displaystyle {}W\subseteq R} denote a multiplicative system. Let D : R → R {\displaystyle {}D\colon R\rightarrow R} denote a K {\displaystyle {}K} -derivation. Show that we get via
a derivation on the localization R W {\displaystyle {}R_{W}} which extends D {\displaystyle {}D} .