Sigue del teorema de Noether que cuando formula_3 es simple y formula_76 es un homomorfismo, entonces formula_8 es el homomorfismo trivial formula_78 o formula_8 es un isomorfismo sobre su imagen.