Weakly complete free topological groups (Q5935978)

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?).