Def:
R: commutative ring
A: R-algebra
M: A-module

R-derivation of A into M is a linear map

d: A → M s.t. d(ab) = bd(a) + ad(b)（∀a, b∈A）.

We denote the set of R-derivation of A into M by Der_R(A, M).