Un álgebra de Lie formula_1 es un espacio vectorial sobre un cierto cuerpo formula_2 junto con una operación binaria [·, ·]: formula_3, llamada corchete de Lie, que satisface las propiedades siguientes: