The existence of strong complete mappings (Q426796)

Summary: A strong complete mapping of a group \(G\) is a bijection \(\theta\colon G\to G\) for which both mappings \(x\mapsto x\theta(x)\) and \(x\mapsto x^{-1}\theta(x)\) are bijections. We characterize finite abelian groups that admit strong complete mappings, thus solving a problem posed by \textit{J. D. Horton} in 1990 [Discrete Math. 79, No. 3, 265--278 (1990; Zbl 0738.05044)]. We also prove the existence of strong complete mappings for countably infinite groups.