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