Infinite dual symmetric inverse monoids (Q1705830)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite dual symmetric inverse monoids |
scientific article |
Statements
Infinite dual symmetric inverse monoids (English)
0 references
16 March 2018
0 references
Here, the dual symmetric inverse monoid \(\mathcal{I}_X^*\) on an infinite set \(X\) is studied, i.e. the semigroup of all bijections between quotients of \(X\). If \({\mathcal{S}_X}\) is the symmetric group, then the relative rank (Sierpinski rank) \({\text{rank}}(\mathcal{I}_X^*:{\mathcal{S}_X}) = 2\). From this, it follows that the semigroup \(\mathcal{I}_X^*\) can be generated by the symmetric group \({\mathcal{S}_X}\) together with two elements \(\alpha ,\beta \in \mathcal{I}_X^*\). The characterization of all such pairs \(\alpha ,\beta \) depends on whether the cardinal \(| X| \) is regular or singular. If \({\mathcal{E}_X}\) is the set of idempotents of \(\mathcal{I}_X^*\) and \(\mathcal{I}_X^*\) is generated by a set \({\mathcal{E}_X} \cup \Sigma \), \(\Sigma \subseteq \mathcal{I}_X^*\), then \(| \Sigma | \geqslant {2^{| X|}}\) and \(\mathcal{I}_X^*\) is generated by the set \(\Sigma \) alone. The semigroup \(\mathcal{I}_X^*\) also has the semigroup Bergman property, i.e. any countable subset of \(\mathcal{I}_X^*\) is contained in a 4-generator subsemigroup.
0 references
dual symmetric inversemonoids
0 references
symmetric groups
0 references
generators idempotents
0 references
semigroup Bergman property
0 references
Sierpinski rank
0 references
0 references
0 references