\(C\)-extensions of topological groups (Q683970)

In this paper, many results on the interaction between properties of a Tychonoff space and its dense \(C\)-embedded subspaces, which are homeomorphic to a topological group, are compared. Following this direction, within several propositions of this study, the following main results are proved: 1. Let \(X\) be a pseudo-\(\omega _{1}\)-compact Tychonoff space. If \(X\) contains a dense \(C\)-embedded subspace homeomorphic to a topological group \(G\), then the group \(G\) is pseudo-\(\omega _{1}\)-compact, \(\omega\)-narrow, and the cellularity of \(X\) is not greater than \(2^{\omega}\). 2. Let a topological group \(G\) be a dense \(C\)-embedded subspace of a regular Lindelöf \(\Sigma\)-space \(X\). Then \(X\) is homeomorphic to a topological group containing \(G\) as a dense topological subgroup, and both groups \(G\) and \(X\) are \(\mathbb R\)-factorizable. Furthermore, \(X\) is the Dieudonné completion of \(G\), so \(G\) is a \(PT\)-group. In addition, new notions of topological groups, called \(sm\)-factorizable, simply \(sm\)-factorizable and densely \(sm\)-factorizable, and properties of these topological groups are presented such as the following main theorem: 3. A (para)topological group \(G\) is \(\mathbb R\)-factorizable if and only if \(G\) is \(sm\)-factorizable. Moreover, the study of Moscow and \(\omega\)-steady topological groups tends to the following essential results: 4. Let \(G\) be a dense \(C\)-embedded subspace of a Dieudonné complete space \(X\). Assume also that \(G\) is a topological group which is a Moscow space and has Ulam non-measurable cellularity. Then \(X\) is a topological group, and \(G\) is a subgroup of \(X\). 5. Let \(G\) be an \(\mathbb R\)-factorizable, \(\omega\)-steady topological group. Then every continuous homomorphic image of \(G\) is \(\mathbb R\)-factorizable. Finally, open problems and comments for the topics that are discussed in the whole paper are given.