A group $G$ endowed with a topology is called a paratopological group if the multiplication $G\times G\to G$ is continuous.
It is known every $T_1$ topological group is completely regular, and I've seen mentioned in several places that in the class of paratopological groups $T_1$ does not even imply the Hausdorff separation axiom. But I don't know examples. Can anyone help me to find some example about this?
In section 2.1 of this paper there is an explicit example:
take $G= (\mathbb{Z},+)$ as the group, and a basic neighbourhood of $0$ looks like $U_n(0) = \{0\} \cup \{k \in \mathbb{Z}: k \ge n\}$, $ n \in \mathbb{N}$. At $p \in \mathbb{Z}$ we of course get the shifted neighbourhoods $U_n(p) = \{p\} \cup \{k+p: k \ge n\}$ base of neighbourhoods.
This is a $T_1$ topology, as can easily be checked, but any two non-empty open sets intersect, so $G$ is anti-Hausdorff even. And one checks that the addition map is continuous as $+[U_n(p) \times U_n(q)] \subseteq U_n(p+q)$, so $+$ is continuous at $(p,q) \in G \times G$.