Welcome to MathOverflow

Question

1

how a free group of rank greater than or equal to 3 contains every free group of countable ranks as a sugroup?

edited Sep 8 2011 at 16:53

Benjamin Steinberg
10.6k●1●14●49

asked Sep 8 2011 at 16:46

Rekha Biswal
27●3

13

math.stackexchange would have been more appropriate for this question. – Alain Valette Sep 8 2011 at 19:06

Given that so many people agree with Alain, why has no one else voted to close this question? – HW Sep 13 2011 at 14:03

Benjamin Steinberg · Answer 1 · 2011-09-08 18:49:19Z UTC

Actually a free group of rank 2 contains a free group of countable rank as a subgroup, namely the commutator subgroup. The easiest way to see this is to view the free group as the fundamental group of a wedge of 2 circles. The covering space associated to the commutator subgroup is the Cayley graph of ZxZ, or if you like, the grid formed by the integer lattice in R^2. Clearly the fundamental group of this covering space is free of countable rank since there are countably infinitely many edges off a spanning tree. You can take the x-axis and all vertical lines as the spanning tree.

ARupinski · Answer 2 · 2011-09-08 18:34:33Z UTC

In case an explicit description of such a subgroup would help, let $F_2 = \langle a,b|\rangle$ be the free group on 2 generators. Then the subgroup generated by the elements $\{a^nb^n\}_{n\in\mathbb{N}}$ is free since it is a subgroup of a free group. Next, it is easy to check that the generator $a^kb^k$ is not an element of the free group generated by the $a^\ell b^\ell$ for $\ell\neq k$ so one concludes that this subgroup has infinite rank.

Igor Rivin · Answer 3 · 2011-09-08 20:36:20Z UTC

3

Even better, no normal subgroup of infinite index of a group of cohomological dimension at most two is finitely presented (for free groups, it must be free, so countable rank).

EDIT Bieri's theorem does state:

If $G$ is a group of cohomological dimension of at most two, while $N$ is a normal subgroup of G of infinite index, then either $N$ is free, or $N$ is not finitely presentable. Sigh. I was thinking of $G$ a free or a surface group, in which case my statement is correct (it is a theorem of Jaco (easy mod a not so easy theorem of Whitehead) that a subgroup of a surface group is free if and only if it is of infinite index...

edited Sep 8 2011 at 20:36

answered Sep 8 2011 at 18:01

Igor Rivin
31.1k●3●37●71

This isn't quite right: $F\times\mathbb{Z}$ is a counterexample! I think Bieri proved that no non-free normal subgroup of infinite index of a group of cohomological dimension two is finitely presented. – HW Sep 8 2011 at 19:58

1

$\mathbb{Z} \times \mathbb{Z}$ is even better. ;) – Richard Kent Sep 8 2011 at 20:00

@HW and @Richard: indeed. – Igor Rivin Sep 8 2011 at 20:37

In any event, it is trivial to prove that a finitely generated subgroup of a free group that is normal must have finite index. The covering space of a wedge of circles associated to a finitely generated subgroup of infinite index has a finite core (the Stallings graph) with a bunch of infinite trees attached to it. The covering space associated to a normal subgroup is a Cayley graph of the quotient group and looks the same at each vertex. Clearly, these two situations cannot hold at the same time. – Benjamin Steinberg Sep 8 2011 at 21:58

1

Benjamin - I never actually look at the proofs in Lyndon and Schupp. – HW Sep 13 2011 at 14:02

show 3 more comments

AL · Answer 4 · 2011-09-09 11:44:15Z UTC

There is a very nice theorem which states:

Thm: If $F$ is a free group on $n$ generators and $H$ is a normal subgroup of index $j$ then if both $n$ and $j$ are finite $H$ is a free group on $j(n-1)+1$ generators. If $n$ is infinite and $j$ is finite then $H$ is a free group on infinitely many generators. Finally, if $j$ is infinite, then $H$ may be finitely or infinitely generated; however, if $H$ contains a normal subgroup $N$ of $F$, $N\neq 1$, then $H$ is a free group on infinitely many generators.

This is theorem 2.10 in Magnus, Karrass and Solitar "Combinatorial Group Theory" (and has a name...Schreier's formula?)

Once you have this theorem you can prove, for example, that the commutator subgroup is a free group on infinitely many generators (it contains a normal subgroup and is itself characteristic so you can apply the last line of the theorem). But doing it the way Benjamin Steinberg did it is much neater. I just thought it would be useful to mention this formula!

free group of finite rank can contain free groups of infinite rank as a subgroup

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

4 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.