Por los resultados sobre homomorfismos, tendremos que el núcleo de este homomorfismo, o sea el conjunto de todos los enteros n tales que f(n) = a = e, es un subgrupo de formula_5.