6
$\begingroup$

The celebrated Nielsen-Schreier theorem in group theory says subgroup of a free group is free. This was proved for finitely generated subgroups of free groups by Jakob Nielsen in 1921, which involved the machinery of Nielsen transformations. It was proven in full generality by Otto Schreier in 1926.

But the standard proof of the theorem is done using topology in modern days. If $F$ is a free group, one can realize $F$ as fundamental group of wedge of circles $X$ with circles labelled by the generators of $F$. If $H$ is a subgroup of $F$, then using covering space theory pick a covering space $p : E \to X$ with $p_*\pi_1(E) = H$. Since covering space of a graph is a graph, and fundamental group of a graph is free (quotient the maximal tree out), $H$ is free and we're done.

Whom was this proof originally done by? I always thought it was done by Serre in his famous Trees. But apparently there are controversies about this, as someone recently told me that this might have been done by Dehn earlier than Serre. I'd appreciate a definitive answer to this one.

$\endgroup$
3
  • $\begingroup$ Did you look at the Wikipeda page on this theorem? It attributes the topological proof (or at least a topological proof) to Baer and Levi in the 1930s. $\endgroup$
    – KCd
    Dec 16, 2015 at 12:19
  • 1
    $\begingroup$ Oh, of course you saw the Wikipedia page: it is the link in your first sentence! Evidently you did not read it carefully enough. $\endgroup$
    – KCd
    Dec 16, 2015 at 12:32
  • $\begingroup$ @KCd Right, oh well! I guess that should be an answer. I'd be happy to accept if you answer it. $\endgroup$ Dec 16, 2015 at 14:02

1 Answer 1

6
$\begingroup$

See the end of the Wikipedia link in your first sentence. The source is Rotman's Introduction to the Theory of Groups (1995), which reads on p.383:"There are today several different proofs of this theorem, some "algebraic" and some "geometric". The first geometric proof was given by Baer and Levi in 1936, and this is the proof we present. There is another elegant geometric proof, due to J.-P.Serre, using the notion of groups acting on trees".

$\endgroup$
2
  • $\begingroup$ The question should not have been asked, since the OP could have answered it just by reading the Wikipedia link more carefully. I prefer to leave my answer as is to make a point that everything needed is already on Wikipedia (including the original paper, as the first reference there). $\endgroup$
    – KCd
    Dec 16, 2015 at 21:05
  • $\begingroup$ @Danu, I have edited the answer to be CW now. You're welcome to edit it further if you wish. $\endgroup$
    – KCd
    Dec 16, 2015 at 23:51

Your Answer

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

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