Como ϕ é um homomorfismo de grupos, injetor e sobrejetor, então ϕ é um isomorfismo de grupos.

A afirmação é verdadeira. Se um homomorfismo de grupos é injetor e sobrejetor, então ele é um isomorfismo de grupos. Isso significa que a função preserva a estrutura do grupo, mantendo a operação binária e a identidade do grupo, além de preservar a inversa de cada elemento.