Forcing hereditarily separable compact-like group topologies on Abelian groups
type: Item
instance of: scholarly article
title: Forcing hereditarily separable compact-like group topologies on Abelian groups
zbMATH Open document ID: 1068.22001
author: Dikran Dikranjan
author: Dmitri Shakhmatov
published in: Topology and its Applications
publication date: 2005-06-10T00:00:00Z
review text: The major achievement of this paper is a forcing construction of a (class of) special model(s) of ZFC in which Abelian groups of size at most \(2^{\mathfrak c}\) admit hereditarily separable group topologies with several compact-like properties and without infinite compact subsets. This is done in two steps. First, for every cardinal \(\kappa \geq \omega_2\), a new set-theoretic axiom \(\nabla_\kappa\) is introduced which implies \({\mathfrak c}=\omega_1\) and \(2^{\mathfrak c}=\kappa\). This new axiom is then applied to derive all major results of the paper ``in ZFC''. Second, the authors use forcing to prove \((\text{ConZFC} +{\mathfrak c}=\omega_1\;\&\;2^{\omega_1}=\kappa)\rightarrow \text{Con(ZFC}+\nabla_\kappa)\). In particular, \(\nabla_\kappa\) is consistent with ZFC and the power \(2^{\mathfrak c}\) of the continuum \({\mathfrak c}\) can be made ``arbitrarily large''. As a consequence, under \(\nabla_\kappa\), a characterization is accomplished of the Abelian groups \(G\) (necessarily of size at most \(2^{\mathfrak c}\)) which admit: (i) a hereditarily separable group topology, (ii) a group topology making \(G\) into an \(S\)-space, (iii) a hereditarily separable group topology that is either precompact, or pseudocompact, or countably compact (and that can be made to contain no infinite compact subsets), (iv) a group topology making \(G\) into an \(S\)-space that is either precompact, or pseudocompact, or countably compact (and that can also be made without infinite compact subsets, if necessary). As a by-product, the algebraic structure of the Abelian groups of size at most \(2^{\mathfrak c}\) which possess, consistently, a countably compact group topology (without infinite compact subset, if desired) is completely described. The paper also contains several other interesting results and open questions.
reviewed by: Salvador Hernández
Mathematics Subject Classification ID: 22A05
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E99
Mathematics Subject Classification ID: 54A20
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 54D05
Mathematics Subject Classification ID: 54D10
Mathematics Subject Classification ID: 54D20
Mathematics Subject Classification ID: 54D30
Mathematics Subject Classification ID: 54D65
Mathematics Subject Classification ID: 54G15
Mathematics Subject Classification ID: 54G99
Mathematics Subject Classification ID: 54H11
zbMATH DE Number: 2174903
zbMATH Keywords: topological group
zbMATH Keywords: countably compact group
zbMATH Keywords: pseudocompact
zbMATH Keywords: hereditarily separable
zbMATH Keywords: convergent sequence
zbMATH Keywords: S-space
zbMATH Keywords: consistency results
zbMATH Keywords: independence results
zbMATH Keywords: forcing
MaRDI profile type: Publication
full work available at URL: j.topol.2004.07.012
OpenAlex ID: W2052644834
cites work: Q4308652
cites work: Concerning connected, pseudocompact Abelian groups
cites work: Q4314813
cites work: Abelian torsion groups with a pseudocompact group topology
cites work: Topologies induced by groups of characters
cites work: Pseudocompactness and uniform continuity in topological groups
cites work: Groups without convergent sequences
cites work: Zero-Dimensionality of Some Pseudocompact Groups
cites work: Q4692983
cites work: Q3485086
cites work: Q4285437
cites work: Algebraic structure of pseudocompact groups
cites work: The Markov-Zariski topology of an abelian group
cites work: Varieties generated by countably compact Abelian groups
cites work: Algebraic structure of small countably compact Abelian groups
cites work: The Product of Two Countably Compact Topological Groups
cites work: The Weight of a Pseudocompact (Homogeneous) Space Whose Cardinality Has Countable Cofinality
cites work: Remarks on dyadic spaces, II
cites work: Q4097900
cites work: Fully closed maps, scannable spectra and cardinality of hereditarily separable spaces
cites work: Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
cites work: TOPOLOGICAL GROUP STRUCTURES OF INFINITE SYMMETRIC GROUPS
cites work: Q4043743
cites work: A separable normal topological group need not be Lindelöf
cites work: Comment on the real line
cites work: Infinite Abelian groups and homological methods
cites work: Q5723435
cites work: Q3249801
cites work: Q3928647
cites work: HFD and HFC type spaces, with applications
cites work: On cardinal numbers related with a compact abelian group
cites work: Q5829819
cites work: Q4424991
cites work: Set theory. An introduction to independence proofs
cites work: Q3934621
cites work: Q3662271
cites work: Cartesian products of Fréchet topological groups and function spaces
cites work: Pseudocompact groups without converging sequences
cites work: Q5203044
cites work: Cardinality of a space containing a dense part of a given cardinality
cites work: Easy S and L Groups
cites work: A normal hereditarily separable non-Lindelöf space
cites work: Q4080379
cites work: Q3906762

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: S and L fields

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Q4228838

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Q5576209

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Indestructible properties of \(S\)- and \(L\)-spaces

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Q3199667

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Independent group topologies on abelian groups

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Forcing Positive Partition Relations

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Partition Problems in Topology

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Q4955963

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: On the number of countably compact group topologies on a free Abelian group

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Two countably compact topological groups: One of size $\aleph _\omega $ and the other of weight $\aleph _\omega $ without non-trivial convergent sequences

Forcing hereditarily separable compact-like group topologies on Abelian groups (cites work)
cites work: Pseudocompact groups

Forcing hereditarily separable compact-like group topologies on Abelian groups (DOI)
DOI: 10.1016/J.TOPOL.2004.07.012

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q4424991
Similarity Score: 0.9017349
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q3633274
Similarity Score: 0.8860128
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: On hereditarily normal topological groups
Similarity Score: 0.8837264
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q4314813
Similarity Score: 0.879905
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q3148504
Similarity Score: 0.87173665
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q3033954
Similarity Score: 0.87075853
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q4723978
Similarity Score: 0.87042195
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Q4923740
Similarity Score: 0.8703933
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Locally compact topologies on abelian groups
Similarity Score: 0.86952037
Recommender Run: Recommender Run 3

Forcing hereditarily separable compact-like group topologies on Abelian groups (Recommended article)
Recommended article: Hereditarily minimal topological groups
Similarity Score: 0.8692396
Recommender Run: Recommender Run 3