On the closure of \(B^ 2_{(-\infty,\infty)}\) (Q677099)

A topological inverse semigroup is an inverse semigroup endowed with a Hausdorff topology such that both operations are continuous. On the set \((-\infty ,\infty )\times ( -\infty ,\infty )\) define a multiplication such that \[ (a,b)(c,d)=(a+c-\min\{b,c\},b+d-\min\{b,c\}) \] and a topology such that a base of neighbourhoods of \((a,b)\) is \[ \{\{(x,y);y-x=b-a\text{ and }|a-x|<\varepsilon \};\varepsilon >0\}. \] The set \((-\infty ,\infty )\times (-\infty ,\infty )\) with the defined multiplication and topology forms a locally compact topological inverse semigroup which is denoted by \(B^2_{(-\infty ,\infty )}\). Let \(S\) be a topological inverse semigroup with a subsemigroup \(B\) isomorphic to a closed subsemigroup of \(B^2_{(- \infty ,\infty )}\) and let \(T\) be a topological closure of \(B\) in \(S\). If \(T\setminus B\neq\emptyset\) then \(T\setminus B\) is an ideal of \(T\) and \(T\setminus B\) is a group. If \(B\) is isomorphic to \(B^2_{(- \infty ,\infty )}\) and \(S\) is locally compact then \(T\) is locally compact and \(T^{-}\) is isomorphic to a subgroup of the reals with addition whenever \(T^{-}\neq\emptyset\) where \(T^{-}=\{(x,y);\text{ there exists a net }(x_{\alpha},y_{\alpha} )\text{ in }B\text{ such that }(x_{\alpha},y_{\alpha})\mapsto (x,y),x_{\alpha}\mapsto -\infty ,y_{\alpha}\mapsto -\infty \}\).