Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be nonabelian?
Must a group of defficiency > 1 be nonabelian?
Pablo
- 11.3k
- 2
- 22
- 68