Inverse monoids of Möbius type (Q1969127)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inverse monoids of Möbius type |
scientific article |
Statements
Inverse monoids of Möbius type (English)
0 references
9 August 2000
0 references
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^*\).
0 references
semigroups of partial transformations
0 references
partial injections
0 references
symmetric inverse semigroups
0 references
inverse monoids of Möbius type
0 references
semidirect products
0 references
semilattices of idempotents
0 references
McAlister triples
0 references