MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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. – Alex B. Dec 19 '10 at 6:30
Thanks, missed that. – Bazooka Dec 19 '10 at 6:40
This is true, and easy to prove, for any torsion-free group. – Angelo Dec 19 '10 at 6:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.