Commutators and commutator subgroups in profinite groups

Abstract

Let $G$ be a profinite group. We prove that the commutator subgroup $G^{\prime }$ is finite-by-procyclic if and only if the set of all commutators of $G$ is contained in a union of countably many procyclic subgroups.

19 pages, final version