1: \begin{abstract}
2: A complete mapping of a group $G$ is a permutation $\phi:G\rightarrow G$ such
3: that $g\mapsto g\phi(g)$ is also a permutation. Complete mappings of $G$ are equivalent to
4: tranversals of the Cayley table of $G$, considered as a latin square. In 1953, Hall and Paige
5: proved that a finite group admits a complete mapping only if its Sylow-2 subgroup is trivial or
6: non-cyclic. They conjectured that this condition is also sufficient. We
7: prove that it is sufficient to check the conjecture for the 26 sporadic simple groups and the Tits group.
8: \end{abstract}
9: