0
$\begingroup$

Let H be a subgroup of finite index of an infinite group G. Prove that G has a normal subgroup of finite index which is contained in H.

I am not sure how to start on this problem, and would appreciate any suggestions.

$\endgroup$

marked as duplicate by Derek Holt group-theory Nov 17 '14 at 20:57

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.

  • 2
    $\begingroup$ If $[G:H] = n,$ try to define a group homomorphism $\phi: G \to S_{n},$ using the existence of $H.$ $\endgroup$ – Geoff Robinson Nov 17 '14 at 16:30
1
$\begingroup$

Let $\;X:=H/G:=$ the set of left cosets of $\;H\;$ in $\;G\;$ , and define an action

$$G\times X\to X\;,\;\;g'\cdot(gH):=(g'g)H\;,\;\;\forall\;g',g\in G$$

Show the above is indeed an action, and it thus determines a groups homomorphism $\;\phi:G\to Sym_X\cong S_n\;$ , with $\;n=[G:H]\;$ , given by $\;\phi(g')(gH):=(g'g)H\;$ .

Prove now that

$$\ker\phi\le H\;\;\text{and}\;\;G/\ker\phi\cong T\le S_n$$

so that $\;N:=\ker\phi\;$ is the wanted normal subgroup.

BTW, $\;N\;$ as above is called the core of $\;H\;$, and it is characterized for being the maximal normal subgroup of $\;G\;$ contained in H.

Extra exercise: prove that

$$N=\ker\phi=\bigcap_{g\in G}H^g\;,\;\;\text{with}\;\;H^g:=g^{-1}Hg$$

$\endgroup$

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