Dense inverse subsemigroups of a topological inverse semigroup (Q2391161)

The author investigates some general properties of dense inverse topological subsemigroups of topological inverse semigroups. The author constructs a topological inverse semigroup by starting with a semilattice \(E\). The construction is based on the construction of the Munn semigroup of a semilattice \(E\). This is done by starting with a semilattice which is also a metric space and then by defining a topological structure on a subsemigroup of the Munn semigroup obtained from this semilattice. In this paper, \(B^1_{(-\infty,\infty)}=(-\infty,\infty)\times (-\infty,\infty)\) is the special example, a locally compact topological inverse semigroup with the operation of multiplication \((a,b)(c,d)=(a+c-b\wedge c,b+d-b\wedge c)\) where \(a,b,c,d\) are real numbers , \(b\wedge c=min\{b,c\}\) and the topology is the usual topology of the real plane. This space plays an important role in this paper. The author investigates the closure \(T\) of \(B^1_{(-\infty,\infty)}\) in a locally compact topological inverse semigroup \(S\) and shows that \(T\) is a disjoint union of \(B^1_{(-\infty,\infty)}\), a group \(T^+\) containing the set of real numbers under addition which is also an ideal of \(T\) and a group \(T^-\) of the units contained in the set of real numbers and containing the set of integers under addition.