2
$\begingroup$

How do you find the rank of a subgroup(of finite index) of a free group?

I was thinking of looking at the fundamental group of a graph.

3 Answers 3

2

Assuming the free group $\,F\,$ has rank $\,n\,$ and the index of the subgroup $\,K\leq F\,$ is $\,k\,$, the group $\,K\,$ is free on $\,k(n-1)+1\,$ generators.

You can find this formula in several books, for example in the classic Magnus-Karrass-Solitar (theorem 2.10), or in Lyndon-Schupp (Proposition 3.9)

  • 0
    I'm basically interested to know how to show this by use of covering spaces.??2012-11-19
2

You can use the Euler characteristic. For a free group of rank n, this is easily seen to $n-1$. For a subgroup of index $k$ we get Euler characteristic $k(n-1)$. Hence the rank $M$ satisfies $M-1=k(n-1)$ or $M=kn-k+1$.

  • 0
    do you mean $1-n$?2018-05-08
1

Take a wedge of $n$ spheres. This has fundamental group the free group on $n$ generators $F_n$. Let $G$ be a subgroup of $F_n$ of index $k$. Associated to $G$ is a $k$-fold connected covering space $P$ of the wedge of spheres. This covering space is again a 1-dimensional CW complex (or a graph, if you prefer) with $k$ vertices and $nk$ edges. A maximal tree in this graph has $k-1$ edges. Contracting this maximal tree, we obtain a wedge of $nk-(k-1)$ spheres. Hence the fundamental group of $P$ is free on $nk-k+1$ generators. But by definition of the cover associated to $G$, this fundamental group is isomorphic to $G$ and we are home.