On the cardinality and structure of extremally disconnected groups with linear topology

DOI10.1016/J.TOPOL.2022.108297MaRDI QIDQ2105059zbMATH OpenOpenAlexFDO

Publication date 8 December 2022

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

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

extremally disconnected space linear group topology topological group

Consistency and independence results (03E35) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Topological groups (topological aspects) (54H11)

Abstract: A group topology is said to be linear if open subgroups form a base of neighborhoods of the identity element. It is proved that the existence of a nondiscrete extremally disconnected group of Ulam nonmeasurable cardinality with linear topology implies that of a nondiscrete extremally disconnected group of cardinality at most

2^{o} m e g a

with linear topology.

Review text

A topological space \(X\) is extremally disconnected if the closure of every open subset of \(X\) is open. A group topology on a group \(G\) is said to be linear if open subgroups form a local base at the identity of \(G\). The main result of the paper states that if there exists, in ZFC, a non-discrete extremally disconnected group with linear topology, then there must exist such a group with several additional properties some of which are quite technical. In particular, if there exists a ZFC example of a non-discrete extremally disconnected group with linear topology, then there exists an uncountable non-discrete extremally disconnected Boolean group \(G\) with linear topology such that \(|G|\leq 2^\omega\) and all countable subsets of \(G\) are closed and discrete.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: On the cardinality and structure of extremally disconnected groups with linear topology

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