Discrete subsets and convergent sequences in topological groups (Q2352128)

In this paper, the authors present three results: (1) Assume there is no rapid ultrafilter. Let \((G,{\mathcal T})\) be a countable nondiscrete maximally almost periodic topological group, i.e., \((G,{\mathcal T})\) can be continuously and algebraically embedded into a compact group, and let \({\mathcal T}_0\) weaker than \(\mathcal T\) be a metrizable totally bounded group topology on \(G\), i.e., \((G,{\mathcal T}_0)\) can be topologically and algebraically embedded into a compact group. Then \((G,{\mathcal T})\) contains a discrete nonclosed subset which is a convergent sequence in \({\mathcal T}_0\). (2) Assume there is no rapid ultrafilter. Then every nondiscrete Abelian maximally almost periodic topological group containing a countable nondiscrete subset has a discrete nonclosed subset which is a convergent sequence in some weaker totally bounded group topology. (3) Let \(G\) be an extremally disconnected (closure of every open set is still open) topological group. If \(G\) contains a countable discrete nonclosed subset, then there is a \(P\)-point. Furthermore, if \(G\) contains a countable discrete nonclosed subset which is a convergent sequence in some weaker group topology on \(G\), then there is a selective ultrafilter.