Some three-space properties of semitopological and paratopological groups (Q2417915)

All spaces are assumed to be Hausdorff. Recall that a \textit{semitopological group} is a group with a topology such that the multiplication in the group is separately continuous, a \textit{quasitopological group} is a semitopological group with the additional property that the inverse mapping is continuous and a \textit{paratopological group} is a group with a topology such that the multiplication is jointly continuous. A (topological, algebraic or mixed nature) property \(\mathcal P\) is called a \textit{three-space property} if whenever a closed invariant subgroup \(H\) of a topological group \(G\) and the quotient group \(G/H\) have \(\mathcal P\), so does \(G\). It is known that many properties, such as compactness, local compactness, pseudocompactness, precompactness, metrizability, second-countability, connectedness, completeness and so on are three-space properties in a topological group. There are also several papers which contain some results related to the three-space problem in the class of paratopological groups, quasitopological groups and semitopological groups. In this paper, the authors consider some three-space properties in semitopological groups and paratopological groups and obtain the following results: If \(G\) is a regular semitopological group and \(H\) is a closed invariant subgroup of \(G\) such that \(H\) and \(G/H\) have a \(G_{\delta}\)-diagonal, then \(G\) has a \(G_{\delta}\)-diagonal. If \(H\) is a compact invariant subgroup of a paratopological group \(G\) such that \(H\) and \(G/H\) have countable tightness, then \(G\) has countable tightness. To prove the above second result, they show that if \(H\) is a compact invariant subgroup of a paratopological group \(G\), then the canonical quotient mapping from \(G\) to \(G/H\) is perfect. However, they also show that the last result does not hold if \(G\) is a quasitopological group. Indeed, the give an example of a quasitopological group \(G\) and a compact invariant subgroup \(H\) of \(G\) such that the canonical quotient mapping from \(G\) to \(G/H\) is not closed.