Weak completions of paratopological groups

Abstract

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

10 pages