On the closure of \(B^ 2_{(-\infty,\infty)}\) (Q677099): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:24, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the closure of \(B^ 2_{(-\infty,\infty)}\) |
scientific article |
Statements
On the closure of \(B^ 2_{(-\infty,\infty)}\) (English)
0 references
11 June 1997
0 references
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 \}\).
0 references
topological inverse semigroup
0 references
inverse semigroup
0 references
topological closure
0 references