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

This question already has an answer here:

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

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

• 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
• @DietrichBurde The last correction may help you clarify...? – omosiroiP. Nov 3 '16 at 16:25
• Oh, I got it....@DanielFischer – omosiroiP. Nov 3 '16 at 16:25
• Concerning question 2), look at the smallest group having a non-normal subgroup. Look at a non-normal subgroup of that. – Daniel Fischer Nov 3 '16 at 16:25

## 1 Answer

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$.