Concerning connected, pseudocompact Abelian groups (Q912417)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Concerning connected, pseudocompact Abelian groups
scientific article

    Statements

    Concerning connected, pseudocompact Abelian groups (English)
    0 references
    0 references
    0 references
    1989
    0 references
    To avoid repetition, all groups in the sequel are assumed to be completely regular topological abelian groups. It is known [\textit{W. W. Comfort} and \textit{T. Soundararajan}, Pac. J. Math. 100, 61-84 (1982; Zbl 0451.22002)] that for every infinite cardinal \(\alpha\), there is an \(\omega\)-bounded (i.e., every countable subset has compact closure) group G whose weight w(G) is \(\alpha\), and such that no proper dense subgroup of G is countably compact (i.e., every countable open cover has a finite subcover). The group G can be made connected or 0-dimensional, the constructions are similar. Clearly every \(\omega\)-bounded space is countably compact; weaker, but closely related, is pseudocompactness (i.e., every continuous real-valued function is bounded). So it is natural to conjecture that for each infinite \(\alpha\) there is a pseudocompact group G with \(w(G)=\alpha\), and such that no proper dense subgroup of G is pseudocompact. When \(\alpha =\omega\), every pseudocompact group of weight \(\alpha\) is metrizable, hence compact. Thus there can never be a proper dense pseudocompact subgroup. When \(\alpha >\omega\), however, the conjecture is quite dramatically false. In \textit{W. W. Comfort} and \textit{L. C. Roberson} [Diss. Math. 272, 1-42 (1988)] it is shown that every 0-dimensional pseudocompact group of uncountable weight has a proper dense pseudocompact subgroup. In the present paper, the connected case is investigated, but the picture is much less complete. If G is any connected pseudocompact group of uncountable weight \(\alpha\), then G has a proper dense pseudocompact subgroup if any of the following conditions holds: w(G)\(\leq c\); \(| G| \geq \alpha^{\omega}\); \(\alpha\) is a strong limit cardinal of uncountable cofinality; \(| tor(G)| >c\); or G is nondivisible.
    0 references
    0 references
    weight
    0 references
    \(\omega\)-bounded space
    0 references
    pseudocompactness
    0 references
    pseudocompact group
    0 references
    proper dense pseudocompact subgroup
    0 references

    Identifiers