Let $H$ be a normal subgroup of $G$, and let $m=(G:H)$. Show that $a^m \in H$ for every $a \in G$.
I have been thinking about this question for a few days but I get something informal.
What am I missing?
- There are $m$ $H$-cosets.
- If we consider the cosets of $e$, $a$, $a^2$, $\cdots$, $a^{m-1}$, we get $m$ distinct cosets(actually I claim this without a valid proof, any hints?) Then the coset of $a^m$ should be one the above coset. (Then why must it be $eH$?)
Thanks in advance.
let xH be any element of G/H, then (xH)^m=H as |G:H|=n this implies that x^nH=H then x^n belongs to H for all x in G.