Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\phi : G \rightarrow G'$ be a group homomorphism. Show that if $|G|$ is finite, then $|\phi[G]|$ is finite and is a divisor of $|G|$.

share|cite|improve this question
What have you tried? What do you know? Also please formulate it as a question. – Julian Kuelshammer Nov 17 '12 at 10:48
Understood. Not a homework question, just reading through my book and wondering how to solve. Thanks. – achacttn Nov 17 '12 at 11:02
up vote 6 down vote accepted

HINT: If $A$ is any finite set, and $f:A\to B$ is any surjection, then $B$ is finite, so the finiteness of $|\varphi[G]|$ is immediate. For the rest, use the fact that $\varphi[G]\cong G/\ker\varphi$, and $\ker\varphi$ is a subgroup of $G$.

share|cite|improve this answer
Is it a requirement for every group homomorphism to be surjective? – achacttn Nov 17 '12 at 10:58
@FortDover: No, and $\varphi$ may not map $G$ onto $G'$; but $\varphi$ definitely does map $G$ onto $\varphi[G]$, by definition. – Brian M. Scott Nov 17 '12 at 10:59

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.