SSGP topologies on free groups of infinite rank (Q2415942)

Let $G$ be a topological group. For $A\subseteq G$ let $\langle A\rangle$ denote the subgroup of $G$ generated by $A$ and $\operatorname{Cyc}(A)=\{x\in G:\langle\{x\}\rangle\subseteq A\}$. It is said that $G$ has the small subgroup generating property (SSGP) if $\operatorname{Cyc}(U)$ is dense in $G$ for every neighbourhood of the identity of $G$. It is said that $G$ has the algebraic small subgroup generating property (ASSGP) if $G=\operatorname{Cyc}(U)$ for every neighbourhood $U$ of the identity of $G$. Comfort and Gould asked this question: What are the (abelian) groups which admit an SSGP group topology? This question has been completely solved for abelian groups but it is open for non-abelian groups. The main results of the paper are these two theorems: Every free group with countable infinite set of generators admits a metric ASSGP group topology. Every free group with infinitely many generators admits an ASSGP group topology. These results provide a positive answer to a question of Comfort and Gould in the case of free groups with infinitely many generators. The case of free groups with finitely many generators remains open.