Notes on questions about spaces with algebraic structures (Q715657)

This paper consists of several new and important results. In Section 2, the authors answer an Open Problem 2.2.1 posed in [\textit{A. V. Arhangel'skii} and \textit{M. Tkachenko}, Topological Groups and Related Structures. Atlantis Studies in Mathematics 1. Hackensack, NJ: World Scientific; Paris: Atlantis Press. (2008; Zbl 1323.22001)]. By considering a topology on an infinite discrete group \(\mathbb{Z}\) of integers generated by a free ultrafilter \(p\) on \(\mathbb{Z}\), they show that this topology can be Hausdorff even if \(p\) is not an idempotent which answers the Open Problem 2.2.1. In Section 3, the authors construct two open continuous homomorphisms \(f\) of a paratopological group \(G\) onto a paratopological group \(H\) to show that some results on topological groups cannot be extended to paratopological groups. These examples answer Open Problems 3.2.6, 3.2.7 and 3.3.8 in [loc. cit.]. It is well-known that every first-countable topological group is metrizable. But this does not hold for paratopological groups (for example, the Sorgenfrey line). By constructing a non-metrizable Moore paratopological group, the authors answer the Open Problem 5.7.5 in [loc. cit.]. In Section 4, the authors provide a positive answer to a question posed in [loc. cit., Proposition 3.4.5]. They prove that every first-countable \(\omega\)-narrow semitopological group is separable.