Skip to main content
1 of 3
Pablo
  • 11.3k
  • 2
  • 22
  • 68

What is the corank of the commutator of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, and let $L \leq F$ be a finite index subgroup. Denote by $M = L' = [L,L]$ the commutator subgroup of $L$. Is it possible that there exists a finite subset $S \subseteq F$ for which $\langle M,S \rangle = F$ ?

Note that if $L = F$ then the answer is clearly negative.

Pablo
  • 11.3k
  • 2
  • 22
  • 68