Cardinality constraints for pseudocompact and for totally dense subgroups of compact topological groups (Q1075444): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(4 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.2140/pjm.1985.119.265 / rank
Normal rank
 
Property / author
 
Property / author: W. Wistar Comfort / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Douglas L. Grant / rank
Normal rank
 
Property / author
 
Property / author: W. Wistar Comfort / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Douglas L. Grant / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2140/pjm.1985.119.265 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2015799955 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.2140/PJM.1985.119.265 / rank
 
Normal rank

Latest revision as of 15:17, 10 December 2024

scientific article
Language Label Description Also known as
English
Cardinality constraints for pseudocompact and for totally dense subgroups of compact topological groups
scientific article

    Statements

    Cardinality constraints for pseudocompact and for totally dense subgroups of compact topological groups (English)
    0 references
    0 references
    0 references
    1985
    0 references
    For a compact Hausdorff group K, let m(K) be the minimum cardinality of a dense pseudocompact subgroup of K. Then: m(K) is a function of \(w(K)=\alpha\); \(m(K)<| K|\) if \((\log\alpha)^{\omega} < 2^{\alpha}\); and, assuming SCH, \(m(K)=(\log \alpha)^{\omega}\), whence \(m(K)=| K|\) if \((\log\alpha)^{\omega}= 2^{\alpha}\). Cardinals \(\alpha\) such that \((\log\alpha)^{\omega}\neq 2^{\alpha}\) are characterized and shown to abound in all models of ZFC. A subgroup G of K is totally dense if, for each closed subgroup H of K, \(G\cap H\) is dense in H. If K is connected, every totally dense subgroup D of K satisfies \(| D| =| K|\). Some K with \(w(K)=\alpha\) has a totally dense subgroup D with \(| D| <| K|\) if and only if \(cf(\alpha)=\omega\) and \(\alpha =\log (2^{\alpha})\); w.l.o.g., K is totally disconnected. The characterization of these two classes of cardinals are incompatible in some models of ZFC, compatible in others. The existence of a compact Hausdorff group K with a totally dense pseudocompact subgroup D with \(| D| <| K|\) is therefore undecidable in ZFC.
    0 references
    compact Hausdorff group
    0 references
    pseudocompact
    0 references
    SCH
    0 references
    totally dense
    0 references
    models of ZFC
    0 references
    undecidable
    0 references

    Identifiers