Definition 10.130.1. Let $\varphi : R \to S$ be a ring map and let $M$ be an $S$-module. A derivation, or more precisely an $R$-derivation into $M$ is a map $D : S \to M$ which is additive, annihilates elements of $\varphi (R)$, and satisfies the Leibniz rule: $D(ab) = aD(b) + bD(a)$.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).