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

Question: If $f\colon G\to H$ is a group homomorphism, and $|G:\mathrm{Ker}(f)|$ and $|H|$ are coprime, then show that $f(G)=1$

Has anyone experienced the ":" notation before? Does it have something to do with cosets? any hints would be greatly appreciated. Thanks for reading.

share|cite|improve this question
"Modern algebra" was modern some 90 years ago. Nowadays it is just "Algebra" :) – Mariano Suárez-Alvarez Mar 11 '11 at 1:58

$|G\colon\mathrm{ker}(f)|$ is the index of $\mathrm{ker}(f)$ in $G$; that is, the cardinality of the set of cosets of $\mathrm{ker}(f)$ in $G$. You may have seen it denoted by $[G:\mathrm{ker}(f)]$, or $[G:K]$ where $K$ is an arbitrary subgroup of $G$.

Since you are talking about finite groups here, $|G\colon \mathrm{ker}(f)|$ is just the number of left (equivalently, right) cosets of $\mathrm{ker}(f)$ in $G$.

share|cite|improve this answer

Your Answer


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