 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