Definición, existencia y propiedades de la raíz de un álgebra de Lie