1: \begin{abstract}

2: In this paper we classify the maximal subsemigroups of the \emph{full transformation semigroup} $\Omega^\Omega$,

3:  which consists of all mappings on the 

4: infinite set $\Omega$, containing certain subgroups of the symmetric group $\sym(\Omega)$ on $\Omega$. 

5: In 1965 Gavrilov showed that there are five maximal subsemigroups of $\Omega^\Omega$ containing $\sym(\Omega)$

6: when $\Omega$ is countable and in  2005 Pinsker extended Gavrilov's result to sets of arbitrary cardinality.

7: 

8: We classify the maximal subsemigroups of $\Omega^\Omega$ on a set $\Omega$ of arbitrary infinite cardinality containing one 

9: of the following subgroups of  $\sym(\Omega)$: 

10: the pointwise stabiliser  of a non-empty finite subset of $\Omega$, 

11: the stabiliser of an ultrafilter on $\Omega$, or the stabiliser 

12: of a partition  of $\Omega$ into finitely many subsets of equal cardinality.  

13: If $G$ is any of these subgroups, then we deduce a characterisation of the 

14: mappings $f,g\in \Omega^\Omega$ such that the 

15: semigroup generated by $G\cup \{f,g\}$ equals $\Omega^\Omega$. 

16: \end{abstract}

17: