6b6c442556a6563f.tex
1: \begin{abstract}
2: Due to the theorems of Cayley and Vagner-Preston, the full transformation
3: monoids and the symmetric inverse monoids play analogous roles in the theory of
4: monoids and inverse monoids, as the symmetric group does in the theory of
5: groups. Every presentation for the finite full transformation monoids $T_n$,
6: symmetric inverse monoids $I_n$, and partial transformation monoids $PT_n$
7: contains a monoid presentation for the symmetric group. In this paper we show
8: that the number of relations required, in addition to those for the symmetric
9: group, for each of these monoids are at least $4$, $3$, and $8$, respectively.
10: We also give presentations for: $T_n$ with $4$ additional relations when $n$ is
11: odd and $n\geq 5$; and $5$ additional relations for all $n\geq 4$; for $I_n$ with
12: $3$ additional relations for all $n \geq 3$; and for $PT_n$ with $9$ relations
13: for all $n\geq 4$. The presentations for $T_n$ and $I_n$ answer open problems in
14: the literature. 
15: \end{abstract}
16: