w-divisible groups (Q2469562)

In an earlier article [Proc. Am. Math. Soc. 136, 1093--1103 (2008; Zbl 1138.22003)], the authors characterised the compact Abelian groups \(K\) admitting a proper totally dense pseudocompact subgroup. (A totally dense subgroup is one that intersects each closed subgroup and a pseudocompact space is one on which every continuous real-valued function is bounded.) In fact, they showed that having such a subgroup is intimately connected with various countability properties such as `property \(TD_\omega\),' namely that there exists a proper totally dense subgroup of \(K\) that contains an \(\omega\)-bounded dense subgroup of~\(K\), where \(\omega\)-bounded means that every countable subset is contained in a compact. In the current article, the authors again consider proper totally dense subgroups of compact Abelian groups satisfying some compactness-like properties but now these various properties are formulated with respect to a fixed infinite cardinal~\(\kappa\). There is the notion of a totally dense \(\kappa\)-pseudocompact subgroup and so on. A completely parallel characterisation of compact Abelian groups admitting such subgroups is obtained. Along the way, several other notions are introduced, including that of a topological Abelian group being `w-divisible' as a measure of non-singularity (one of the original five properties equivalent to the existence of a proper totally dense pseudocompact subgroup).