Derivation/Extension to localization/Exercise
Appearance
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 .
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 .