Si "A" es una "K"-álgebra asociativa, entonces el producto ("x","y") formula_24 ["x","y"] definido por el conmutador es alternado y satisface la identidad de Jacobi, de modo A es también una "K"-álgebra de Lie.