The existence of complete mappings of \(\text{SL}(2,q)\), \(q\equiv 1\) modulo \(4\) (Q5942477)

For a finite group \(G\), a bijection \(\Theta\colon G\to G\) is said to be a complete mapping of \(G\) if the mapping \(x\to x\Theta(x)\) is also a bijection. \textit{M. Hall} and \textit{L. J. Paige} [Pac. J. Math. 5, 541-549 (1955; Zbl 0066.27703)] conjectured that any finite group with a noncyclic Sylow 2-subgroup admits complete mappings. There is now much evidence to support this conjecture (see, for example, the author's survey [Congr. Numerantium 90, 65-75 (1992; Zbl 0794.20034)]). So, for the groups \(\text{GL}(2,q)\), \(\text{SL}(2,q)\), \(\text{PSL}(2,q)\), and \(\text{PGL}(2,q)\), this conjecture has been proved except for \(\text{SL}(2,q)\), \(q\) odd. In this paper, the author proves that \(\text{SL}(2,q)\), \(q\equiv 1\pmod 4\), admits complete mappings.