A finite interval in the subsemigroup lattice of the full transformation monoid. (Q467525)

Let \(\Omega^\Omega\) be the full transformation semigroup of the countable infinite set \(\Omega\). It is known that there are five maximal subsemigroups of \(\Omega^\Omega\) containing the symmetric group \(\mathrm{Sym}(\Omega)\). Here it is shown that the interval of the subsemigroup lattice of \(\Omega^\Omega\) between the intersection of these five maximal subsemigroups and \(\Omega^\Omega\) consists of 38 subsemigroups; the proof is based on the same parameters of functions \(f\in\Omega^\Omega\) which were used for establishing the five maximal subsemigroups: defect \(d(f)=|\Omega\setminus\Omega f|\); collapse \(c(f)=|\Omega\setminus\Sigma|\), \(\Sigma\) any transversal of \(f\); infinite contraction index \(k(f)=|\{\alpha\in\Omega:|\alpha f^{-1}|=\infty\}|\).