La subalgebra es entonces un álgebra de Lie.