导代数

设 为域 field 上的任意代数 ，定义 的导数为作用于 上的线性算子 ，满足

对于所有 。 则 的所有导数的集合 是作用于 上所有线性算子的结合代数的 子空间 中的一个 李代数，称为导代数。