设R为
交换幺环,A为R上
代数,M为A上
双模,
线性映射d:A→M为导子,若满足莱布尼茨法则,即对A中任意a,b均有
A到E的所有导子的集合Der(A,E),Der(A)为End A的
子空间,故Der(A)为
一般线性代数的
子代数,即
线性李代数。
设M为
光滑流形,M上
光滑函数集为C∞(M),C∞(M)为函数代数,线性映射v:C∞(M)→若满足莱布尼茨法则,便称v为导子。在p点的导子集记作TpM,称为M在p点的
切空间,TpM中每个导子称为p点的
切向量。
导子在不同的数学领域以许多不同的面貌出现。关于一个变量的偏导数是 Rn 上实值可微函数组成的代数上的一个R-导子。关于一个向量场的李导数是可微流形上可微函数代数上的 R-导子;更一般地,它是流形上张量代数的导子。Pincherle 导数是一个抽象代数上的导子的例子。如果代数A非交换,则关于A中一个元素的交换子定义了A到自身的线性映射,这是A的一个k-导子。一个代数A装备一个特定的导子d组成了一个微分代数,这自身便是一些研究领域的一个重要对象,比如微分伽罗瓦理论。