Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A group $G$ is residually finite if for all $g\in G$ with $g\not=1$ there exists a normal subgroup of finite index, $N_g\lhd_f G$ such that $g\not\in N_g$. Note that $\cap_{g\in G} N_g=1$.

It is well-known that $F_2$ is residually finite. To prove this, simply recall that linear groups are residually finite, and $F_2$ is linear because the matrices, $$\left( \begin{array}{ccc} 1 & 2 \\ 0 & 1 \end{array} \right) \text{ & } \left( \begin{array}{cc} 1 & 0 \\ 2 & 1 \end{array} \right)$$ generate a free group. However, this proof is somewhat unsavoury. I would quite like to know what the subgroups $N_g$ are.

Does there exist a "nice" set of finite-index subgroups of $F_2$ which intersect trivially?

Nice is, of course, a subjective term. By "nice" I could mean "take the same form". However, I doubt this can happen (if they "take the same form" then presumably some rule dictates this form, and this rule is defined by a word, or a collection of words, and so the intersection of the subgroups is non-trivial). Alternatively, I could mean characteristic, which is nice in a different sense. I suppose if you can given a reason why I might think your set is nice that would be...nice.

share|improve this question
4  
You can take congruence subgroups; that is, $\Gamma_2(n)=\{g\in F_2\ |\ g\equiv I\pmod{n}\}$, where $I$ is the 2x2 identity matrix and $n$ is any integer. Of course, I am talking about the linear rep. of $F_2$ here. –  user641 Sep 26 '11 at 12:58
    
I have just realised that the characteristic property always happens. As in, for a given finite index subgroup $H$ of $G$ one can find a finite index subgroup of $H$ which is characteristic in $G$. This holds because there are only ever a finite number of subgroups for a given finite index, and because the intersection of finitely many finite index subgroups is again of finite index. So that nice-ness can always be made to happen... –  user1729 Sep 26 '11 at 15:23
    
Sorry for being ignorant, but what is $F_2$? A notation for $GL(2,F)$? Or $GL(2,\mathbb Z)$? –  Henning Makholm Sep 26 '11 at 18:17
    
@Henning: the free group on two generators. –  Chris Eagle Sep 26 '11 at 18:50

2 Answers 2

up vote 1 down vote accepted

Here is one possibility, among many. Fix a prime number $p$. For any group $G$, define $\gamma_{1}^{p}(G) = G$ and, for $n\geq 1$, define $$\gamma_{n+1}^{p}(G) = \left(\gamma_{n}^{p}(G)\right)^{p}[G,\gamma_{n}^{p}(G)],$$ where $[A,B]$ denotes the subgroup generated by commutators of the form $[a,b]$, with $a\in A$ and $b\in B$. If $G$ is finitely generated, then $G/\gamma_{n}^{p}(G)$ is a finite $p$-group, for all $n$. In particular, for the free group $F_{2}$ of rank two, the groups $F_{2}/\gamma_{n}^{p}(F_{2})$ are all finite. Moreover, since free groups are residually $p$-finite, we have $\bigcap_{n\geq 1}\gamma_{n}^{p}(F_{2}) = 1$.

share|improve this answer

Here is a topological argument:

In Hatcher's book, one may find the following easy lemma (chapter 1.A, exercice 10):

Lemma: Let $X$ be the wedge sum of $n$ circles, with its natural graph structure, and let $\tilde{X} \to X$ be a covering space with $Y \subset \tilde{X}$ a finite connected subgraph. Show there is a finite graph $Z \supset Y$ having the same vertices as $Y$, such that the projection $Y \to X$ extends to a covering space $Z \to X$.

Let $X$ be a bouquet of two circles and $\tilde{X}$ be its universal covering, namely the Cayley graph of $\mathbb{F}_2$. For all $n \geq 1$, let $X_n \to X$ be the covering extending the projection $B(1,n) \to \tilde{X}$ of the ball $B(1,n)$ of radius $n$ and centered at $1$ in the graph $\tilde{X}$; it is easy to see that $X_n$ is just $B(1,n)$ with additional edges between vertices of the sphere $S(1,n)$. Therefore, the non-trivial elements of $\mathbb{F}_2$ in the ball $B(1,n-1)$ are not in $\pi_1(X_n)$, hence $\bigcap\limits_{n \geq 1} \pi_1(X_n) = \{1\}$. Moreover, each $\pi_1(X_n)$ is a finite-index subgroup of $\pi_1(X)= \mathbb{F}_2$ since the graph $X_n$ is finite.

The subgroups $\pi_1(X_n)$ are not described quite explicitely, but it is easy to draw $X_n$ for small $n$, so one may hope to find a generator set for these groups.

share|improve this answer

Your Answer

 
discard

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.