Weakly complete free topological groups

DOI10.1016/S0166-8641(99)00235-7MaRDI QIDQ5935978zbMATH OpenOpenAlexFDO

Authors Dikran Dikranjan, Mikhail Tkachenko

Publication date 18 February 2002

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

Full work available at URL https://doi.org/10.1016/s0166-8641(99)00235-7

\(k\)-complete sequentially complete topological group

Structure of general topological groups (22A05) General properties and structure of LCA groups (22B05) Consistency and independence results in general topology (54A35) Categorical methods in general topology (54B30) ``(P)-minimal and ``(P)-closed spaces (54D25) Compactness (54D30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Topological groups (topological aspects) (54H11) Topological fields, rings, etc. (topological aspects) (54H13)

Review text

Let \(\mathcal C\) denote in this review one of the possibilities ``sequentially, ``\(\omega\), ``\(k\) or ``\(b\) in the expressions \(\mathcal C\)-closed and \(\mathcal C\)-complete, where \(A\) is \(\omega\)-closed (or \(k\)-closed, or \(b\)-closed) in \(B\) if \(A\supset \overline C\) for all countable \(C\subset A\) (or \(A\cap C\) is closed in \(C\) for every compact (or functionally closed. resp.) \(C\subset B\)). A topological group is said to be \(\mathcal C\)-complete if it is \(\mathcal C\)-closed in its two-sided completion. It is shown that \(k\)-completeness and \(b\)-completeness coincide. The main results assert that for any Tikhonov space \(X\), the free topological group \(F(X)\) is \(\mathcal C\)-complete iff the free Abelian topological group \(A(X)\) is \(\mathcal C\)-complete iff \(X\) is \(\mathcal C\)-closed in its Dieudonné completion. Several examples to various relations between the above completions are given. For sequential completeness one may add to the main result: iff \(X\) is sequentially closed in \(\beta X\) iff the free precompact Abelian topological group over \(X\) is sequentially complete. (Question: Is it possible to remove ``Abelian from the last condition?).

Recommendations

Cites work

Cited in

(19)

This page was built for publication: Weakly complete free topological groups

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