導代數

設 為域 field 上的任意代數 ，定義 的導數為作用於 上的線性運算元 ，滿足

對於所有 。 則 的所有導數的集合 是作用於 上所有線性運算元的結合代數的 子空間 中的一個 李代數，稱為導代數。