Cuando dicho lagrangiano es invariante respecto a un grupo uniparamétrico de aplicaciones unitarias de dicho espacio de Hilbert, entonces cada uno de los generadores formula_19 del álgebra de Lie de dicho grupo es un observable que es una constante del movimiento en el sentido de que: