Colouring bijections of finite $3$-groups

Abstract

Let $G$ be a finite group. A bijection $\sigma :G\to G$ is a \emph{colouring bijection} if the three maps \[ Δ^{+}\colon x\mapsto x\,σ(x), \qquad Δ^{-}\colon x\mapsto x^{-1}σ(x), \qquad Δ^{c}\colon x\mapsto σ(x)^{-1}x\,σ(x) \] are again bijections of $G$. The first two conditions say that $\sigma$ is a strong complete mapping. The third is a genuinely nonabelian requirement. Our main theorem is that every noncyclic $3$-group not isomorphic to the modular group $M_{3^r}$ $(r\ge 4)$ admits a colouring bijection. This is the exact analogue, for colouring bijections, of the theorem of Akhtar and Gagola on strong complete mappings. The notion has three equivalent readings. A colouring bijection properly colours the Cayley graph ${\mathcal{G}}_3(G)=Cay(G^3,{\mathbf{S}}_3)$ with $|G|$ colours. It determines a triple of mutually orthogonal translation Latin squares based on $G$. In the orthomorphism graph of $G$ that triple is a triangle through the Cayley table. It also determines a common transversal of three arrays attached to $G$. These are the multiplication table, the division table, and the operation table of the conjugation quandle. The last of them is not a Latin square. Two consequences follow. Every noncyclic $3$-group $G\ncong M_{3^r}$ $(r\ge 4)$ carries three mutually orthogonal Latin squares of order $|G|$ based on $G$. Moreover $\chi ({\mathcal{G}}_3(G))=|G|$ for every such group.

arXiv commentExtended version with additional results and improved discussion, title correction