7
$\begingroup$

Let $K \unlhd G$ be a normal subgroup of some group $G$ and let $|G/K|=n<\infty$. I want to show that $g^n\in K$ for all $g\in G$.

Let $g\in G$, if $g\in K$, then $g^n\in K$ and we are done. If $g^n\notin K$ then consider the set of left cosets $$ C=\{K, gK,g^2K,...,g^{n-1}K\} $$ I want to show that these cosets are all disjoint and hence $C=K$, then I want to show that $g^nK=K$, so $g^n\in K$. Suppose $$ g^lK=g^mK $$ for some $m,l<n$, then $g^{m-l}\in K$. I am not sure how to proceed from there.

$\endgroup$
3

3 Answers 3

7
$\begingroup$

Consider the canonical projection $\pi : G \to G/K$. We know $G/K$ is a finite group of order $n$ by assumption. Thus $\pi(g)^n = \pi(g^n) = 1$ in $G/K$, i.e. back in $G$ we have $g^n \in K$. Done.

$\endgroup$
7
$\begingroup$

Although, I think it is duplicate, you can use this fact that: $$[G:K]=n\longrightarrow \forall g\in G, (gK)^n=K\iff g^nK=K\iff g^n\in K$$

$\endgroup$
8
  • $\begingroup$ Nice suggestion! +1 $\endgroup$
    – amWhy
    Sep 30, 2013 at 14:52
  • $\begingroup$ Hello, Babak! I've missed you! ;-) $\endgroup$
    – amWhy
    Oct 2, 2013 at 11:41
  • $\begingroup$ Babak, are you okay? I've been worried about you...is it your internet again that's getting in your way? $\endgroup$
    – amWhy
    Oct 3, 2013 at 23:52
  • $\begingroup$ I was just worried, since you hadn't posted. I hope your trip went well! Welcome HOME! $\endgroup$
    – amWhy
    Oct 4, 2013 at 12:17
  • $\begingroup$ @amWhy: Thanks Amy for your charming words. :-) $\endgroup$
    – Mikasa
    Oct 4, 2013 at 13:09
2
$\begingroup$

You dont need to go that far. Since you know that $|G/K|=n<\infty$ and $G/K =\{K, gK,g^2K,...,g^{n-1}K\}$. Then for any $gK$ in $G/K$, $(gK)^n= g^nK=K $ which answers your question

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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