[SOLVED] group theory 1. The problem statement, all variables and given/known data Let [itex]\phi:G \to G'[/itex] be a group homomorphism. Show that if |G| is finite, then [itex]|\phi(G)|[/itex] is finite and is a divisor of |G|. 2. Relevant equations 3. The attempt at a solution Should the last word be |G'|? Then it would follow from Lagrange's Theorem.