Compositions and parities of complete mappings and of orthomorphisms

DOI10.1016/J.JCTA.2022.105723MaRDI QIDQ6405503arXivFDO

Authors Alexander Bors, Qiang Wang

Publication date 20 July 2022

Mathematics Subject Classification ID

Cryptography (94A60) Orthogonal arrays, Latin squares, Room squares (05B15) Abstract finite groups (20D99) Permutation groups (20B99)

Abstract: We determine the permutation groups $P_{mathrmcomp}(mathbb{F}_q),P_{mathrmorth}(mathbb{F}_q)leqoperatornameSym(mathbb{F}_q)$ generated by the complete mappings, respectively the orthomorphisms, of the finite field $mathbb{F}_q$ -- both are equal to $operatornameSym(mathbb{F}_q)$ unless $qin2,3,4,5,8$. More generally, denote by $P_{mathrmcomp}(G)$, respectively $P_{mathrmorth}(G)$, the subgroup of $operatornameSym(G)$ generated by the complete mappings, respectively the orthomorphisms, of the group $G$. Using recent results of Eberhard-Manners-Mrazovi'c and M"uyesser-Pokrovskiy, we show that for each large enough finite group $G$ that has a complete mapping (i.e., whose Sylow $2$-subgroups are trivial or noncyclic), $P_{mathrmcomp}(G)=operatornameSym(G)$ and $P_{mathrmorth}(G)geqoperatornameAlt(G)$. We also prove that $P_{mathrmorth}(G)=operatornameSym(G)$ for every large enough finite solvable group $G$ that has a complete mapping. Proving these results requires us to study the parities of complete mappings and of orthomorphisms. Some connections with known results in cryptography and with parity types of Latin squares are also discussed.

This page was built for publication: Compositions and parities of complete mappings and of orthomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405503)