Skip to main content
2 of 3
added 43 characters in body; edited tags
Pablo
  • 11.3k
  • 2
  • 22
  • 68

Must a group of defficiency > 1 be nonabelian?

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?

What if $F$ is free profinite instead?

Pablo
  • 11.3k
  • 2
  • 22
  • 68