= Uniqueness of finite-index subgroups forces infinite cyclic abelianization
If a finitely generated group $S$ has exactly one <subgroup> of each finite index, every such <subgroup> is normal. The quotients of prime order give <surjections> of its finitely generated abelianization onto $C_p$ for all primes, forcing positive free rank. A free rank of at least two gives two distinct index-$p$ <subgroups>. Positive finite torsion together with the free rank-one factor also gives two index-$p$ <subgroups> for a suitable prime. Hence $S_{\mathrm{ab}}\cong\mathbb Z$.
// Target: algebra.bigb
Back to article page
