Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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 just got a little confused reading the formulation on wiki. Let $F_X$ denote the free group on the set $X$ and let the symbol $\leq$ denote "is subgroup of".

From what I know, the theorem reads: $H\leq F_X$ $\Rightarrow$ $\exists Y$: $H\cong F_Y$.

Is my formulation of this theorem also correct: $H\leq F_X$ $\Rightarrow$ $\exists Y\subseteq X$: $H=F_Y$

share|cite|improve this question
No, certainly not. Consider $X = \{a,b\}$ and the subgroup $H \cong \mathbb{Z}$ generated by $ab$ in $F_X$. Another example is the commutator subgroup $[F_X,F_X]$, which can be shown to be free on a countably infinite set (as soon as $|X| \geq 2$), so anything can happen in terms of the size of the generating set. – t.b. Apr 24 '11 at 16:53
my goodness, well this is a surprise. didn't expect that subgroups can have larger rank that the whole group. Thank you. – Leon Apr 24 '11 at 22:11
up vote 2 down vote accepted

Consider the lovely example that arises from studying the usual presentation of $S_3$, namely $<a,b: a^3=b^2=(ab)^2=1>$. The presentation leads to a free group on $a$ and $b$, and the subgroup of this free group `normally generated' by the three relations $a^3$, $b^2$ and $(ab)^2$ is of rank 7. For your interpretation $X= \{a,b\}$ whilst clearly your $Y$ is not a subset of that as it has 7 elements, Doh!

One of the clearest ways of looking at Neilsen-Schreier is via covering graphs. This can be found in several places. The example of $S_3$ can be found in Ronnie Brown's book: Topology and Groupoids, page 400.

share|cite|improve this answer
thanks, nice reference. – Leon Apr 24 '11 at 22:35

Your Answer


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

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