Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-2/24f/a/solution

A derivation of centred at the -point is a -linear map satisfying the twisted Leibniz rule
The Zariski tangent space is
Since , extends uniquely to the localization by . Restriction gives a linear map
Conversely, every has the unique extension
The quotient rule verifies the Leibniz identity, and the assumption that is not a zero divisor makes the localization representation compatible with equality of fractions. Extension and restriction are inverse, so the natural map is an isomorphism.

New to topics? Read the docs here!