0
$\begingroup$

I was looking at a paper, and I saw this claim,

It is obvious that if $H$ has finite index in $F_m$ then $H$ has non-trivial intersection with each of the non-trivial subgroups of $F_m$.

Why is this immediate?

$\endgroup$
2
  • 3
    $\begingroup$ Because $H$ intersects each subgroup in a finite index subgroup (bounded above by the index of $H$ in $F_m$) and because $F_m$ has no finite subgroups. $\endgroup$
    – Alex B.
    Dec 19, 2010 at 6:30
  • $\begingroup$ This is true, and easy to prove, for any torsion-free group. $\endgroup$
    – Angelo
    Dec 19, 2010 at 6:41

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.