Inverse monoids of Möbius type (Q1969127)

Let \(G\) be a group acting on a Hausdorff space \(X\) as homeomorphisms and let \(Y\) be an open dense subset of \(X\). Each \(g\in G\) induces a homeomorphism \(g^*\) from \(X\) onto \(X\) where \(g^*(x)=g\cdot x\) and thus, each \(g\in G\) induces a partial injection of \(Y\) whose domain is \(\{y\in Y:g^*(y)\in Y\}\). Denote by \(\text{Part}(G,Y)\) the collection of all those partial injections and let \(\langle\text{Part}(G,Y)\rangle\) denote the subsemigroup of the symmetric inverse semigroup, \({\mathbf I}(Y)\), on \(Y\) which is generated by \(\text{Part}(G,Y)\). This is the semigroup which is the subject of investigation. The authors are particularly interested in the case where \(Y\) is not invariant under the action \(G\), in which case they refer to \(\langle\text{Part}(G,Y)\rangle\) as an inverse monoid of Möbius type. They show that \(\langle\text{Part}(G,Y)\rangle\) is of Möbius type if and only if it is not a semidirect product of a semilattice by a group. They show, however, that every inverse monoid of Möbius type can be embedded in such a product. Specifically, let \(G^*=\{g^*\in{\mathbf I}(X):g\in G\}\) and let \(\langle\text{Part}(G,Y)\rangle^*\) denote the inverse submonoid of \(I(X)\) which is generated by \(\langle\text{Part}(G,Y)\rangle\cup G^*\). They show that \(\langle\text{Part}(G,Y)\rangle^*\) is isomorphic to a semidirect product of the semilattice of idempotents of \(\langle\text{Part}(G,Y)\rangle^*\) by the group \(G^*\). The authors conclude by describing an inverse subsemigroup of \(E^*\times G^*\) in terms of McAlister triples where \(E^*\) is the semilattice of idempotents of \(\langle\text{Part}(G,Y)\rangle^*\).