El teorema anterior resulta útil para probar que dos grupos son isomorfos, ya que para esto basta con mostrar que existe un epimorfismo formula_37 entre ellos cuyo núcleo es trivial (en cuyo caso formula_37 es también un monomorfismo y por tanto un isomorfismo).