Jump to content

Derivation/Extension to localization/Exercise

From Wikiversity

Let denote a commutative -algebra and let denote a multiplicative system. Let denote a -derivation. Show that we get via

a derivation on the localization which extends .