# A normal subgroup $H$ of $G$, $[G:H] = n$ [duplicate]

Let $H\triangleleft G$, and H is a subgroup of G such that $[G:H] = k$, where $[G:H]$ states the number of left cosets of $H$ in $G$.

1) How may I show that for all $a\in G, a^k\in H$?

2) If we do NOT assume the normality of $H$, can I have any counterexample showing that 1) is not true?

## marked as duplicate by Watson, Dietrich Burde, Community♦Nov 3 '16 at 16:52

• Oh, I meant "of the index $[G:H]$". – omosiroiP. Nov 3 '16 at 16:18
• One typically says "is a subgroup of index $k$", without the "the". – Daniel Fischer Nov 3 '16 at 16:25
I assume, $[G:H]=k$, then the order of $G/H$ is $k$ and $\bar a^k=1$ where $\bar a$ is the class of $a$ in $G/H$ and $a^k\in H$, since its class in $G/H$ is $1$.