Lie algebra
不難驗證formula_69滿足李代數的抽象定義。李括積蘊含了群乘法的無窮小性質，例如：連通李群formula_1是交換群若且唯若formula_55是交換李代數。