A finite interval in the subsemigroup lattice of the full transformation monoid
Abstract
In this paper we describe a portion of the subsemigroup lattice of the \emph{full transformation semigroup} $\Omega^\Omega$, which consists of all mappings on the countable infinite set $\Omega$. Gavrilov showed that there are five maximal subsemigroups of $\Omega^\Omega$ containing the symmetric group $\sym(\Omega)$. The portion of the subsemigroup lattice of $\Omega^\Omega$ which we describe is that between the intersection of these five maximal subsemigroups and $\Omega^\Omega$. We prove that there are only 38 subsemigroups in this interval, in contrast to the $2^{2^{\aleph_0}}$ subsemigroups between $\sym(\Omega)$ and $\Omega^\Omega$.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2013
- DOI:
- 10.48550/arXiv.1301.2171
- arXiv:
- arXiv:1301.2171
- Bibcode:
- 2013arXiv1301.2171J
- Keywords:
-
- Mathematics - Group Theory;
- 20M20
- E-Print:
- 12 pages, slightly updated according to referee's comments