Countably compact groups and sequential order

DOI10.1016/J.TOPOL.2019.106943MaRDI QIDQ2291591zbMATH OpenOpenAlexFDO

Authors Dmitri Shakhmatov, Alexander Y. Shibakov

Publication date 31 January 2020

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.08041

zbMATH Keywords

countably compact topological groupsequential ordersequential space

Mathematics Subject Classification ID

Sequential spaces (54D55) Topological groups (topological aspects) (54H11)

Abstract: We use $diamondsuit$ to construct, for every $alphaleqomeg{a}_1$ a sequential countably compact topological group of sequential order $alpha$. This establishes the independence of the existence of sequential countably compact non Fr'echet groups from the usual axioms of ZFC and answers several questions of D.~Shakhmatov.

Review text

The rich study of sequential topological groups started some decades ago. Question 7.5. of [\textit{D. Shakhmatov}, in: Recent progress in general topology II. Based on the Prague topological symposium, Prague, Czech Republic, August 19--25, 2001. Amsterdam: Elsevier. 463--484 (2002; Zbl 1029.54003)] asked whether there exists a countably compact sequential group that is not Fréchet. In [\textit{A. Shibakov}, Topology Appl. 228, 125--138 (2017; Zbl 1379.54021)], it was shown that it is consistent with respect to ZFC that the answer is negative. In this paper, the authors show that the positive answer is also consistent, thus establishing the independence. The authors use Jensen's \(\diamondsuit\) principle to construct, given an ordinal \(\alpha\leq\omega_1\), a countably compact sequential Abelian group \(G\) whose sequential order is \(\alpha\). This also answers (consistently) Question 7.4. of [\textit{D. Shakhmatov}, loc. cit.], which asks whether countably compact sequential groups of arbitrary sequential orders exist. The construction is rather long and sophisticated, and is divided into several lemmas. In the end, the authors ask if it is possible to use CH instead of \(\diamondsuit\), if it is consistent that there exists a countably compact sequential group \(G\) such that there exists a compact subspace \(K\subseteq G\) of sequential order \(\geq2\). They also ask if their construction can be made Cohen-indestructible.

Recommendations

• No interesting sequential groups
• Sequential group topology on rationals with intermediate sequential order
• scientific article; zbMATH DE number 1139526
• Precompact groups and convergence
• Convergence in topological groups and the Cohen reals
• scientific article; zbMATH DE number 1959537
• scientific article; zbMATH DE number 510317
• Regular semitopological groups of every countable sequential order
• On large sequential groups
• scientific article; zbMATH DE number 1036696

Cites work

• scientific article; zbMATH DE number 3647732 (Why is no real title available?)
• scientific article; zbMATH DE number 3848213 (Why is no real title available?)
• scientific article; zbMATH DE number 57908 (Why is no real title available?)
• scientific article; zbMATH DE number 3509416 (Why is no real title available?)
• scientific article; zbMATH DE number 1139526 (Why is no real title available?)
• scientific article; zbMATH DE number 1959537 (Why is no real title available?)
• scientific article; zbMATH DE number 2119453 (Why is no real title available?)
• Malykhin's problem
• Metrizability and the Frechet-Urysohn Property in Topological Groups
• Metrizability of sequential topological groups with point-countable 𝑘-networks
• No interesting sequential groups
• On large sequential groups
• Sequential group topology on rationals with intermediate sequential order
• Sequential order of product spaces
• Set theory. An introduction to independence proofs
• Spaces in which sequences suffice
• Topological groups and related structures
• TOPOLOGIES ON ABELIAN GROUPS
• Topologies on groups determined by compacta

Cited in

(11)

• Countable Fréchet topological groups under CH
• Precompact groups and convergence
• Cardinal invariants and convergence properties of locally minimal groups
• No interesting sequential groups
• Convergent sequences in topological groups
• scientific article; zbMATH DE number 510317 (Why is no real title available?)
• scientific article; zbMATH DE number 1036696 (Why is no real title available?)
• scientific article; zbMATH DE number 1139526 (Why is no real title available?)
• On large sequential groups
• Invariant Ideal Axiom
• Invariant ideal axiom, beyond the countable sequential groups

This page was built for publication: Countably compact groups and sequential order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291591)