Countably compact paratopological groups (Q2373418)

A paratopological group is a group equipped with a topology such that its group operation is continuous. Ravsky gave an example of a Hausdorff countably compact paratopological group which is not a topological group under CH. On the other hand, Ravsky and Reznichenko proved that every regular Hausdorff countably compact paratopological group is a topological group. In this paper, the authors characterize \(T_0\) countably compact paratopological groups which are a topological group. Indeed, they show that for a \(T_0\) countably compact paratopological group \((G, \tau)\) the following are equivalent: (1) \((G, \tau)\) is a topological group; (2) the topological group \((G, \tau\vee\tau^{-1})\) is \(\omega\)-bounded, where \(\tau^{-1}\) is the conjugate topology of \(\tau\); (3) \((G,\tau)\) is topologically periodic. Furthermore, they prove that a \(T_1\) countably compact paratopological group \((G,\tau)\) such that the diagonal of \(G\times G\) is countably compact in \((G\times G,\tau^{-1}\times\tau)\) is a topological group. In particular, totally countably compact paratopological groups are topological groups.