Un homomorfismo formula_17 entre las álgebra de Lie formula_1 y formula_19 sobre el mismo cuerpo de base formula_2 es una función formula_2-lineal tal que formula_22 para todo "x" y "y" en formula_1.