English

Weak completions of paratopological groups

Group Theory 2022-02-08 v1 General Topology

Abstract

Given a T0T_0 paratopological group GG and a class C\mathcal C of continuous homomorphisms of paratopological groups, we define the C\mathcal C-semicompletionsemicompletion C[G)\mathcal C[G) and C\mathcal C-completioncompletion C[G]\mathcal C[G] of the group GG that contain GG as a dense subgroup, satisfy the T0T_0-separation axiom and have certain universality properties. For special classes C\mathcal C, we present some necessary and sufficient conditions on GG in order that the (semi)completions C[G)\mathcal C[G) and C[G]\mathcal C[G] be Hausdorff. Also, we give an example of a Hausdorff paratopological abelian group GG whose C\mathcal C-semicompletion C[G)\mathcal C[G) fails to be a T1T_1-space, where C\mathcal C is the class of continuous homomorphisms of sequentially compact topological groups to paratopological groups. In particular, the group GG contains an ω\omega-bounded sequentially compact subgroup HH such that HH is a topological group but its closure in GG fails to be a subgroup.

Keywords

Cite

@article{arxiv.2012.14479,
  title  = {Weak completions of paratopological groups},
  author = {Taras Banakh and Mikhail Tkachenko},
  journal= {arXiv preprint arXiv:2012.14479},
  year   = {2022}
}

Comments

10 pages