The strong admissibility of finite Moufang loops (Q2312809)

Let \(Q\) be a quasigroup. A bijection \(\theta:Q\to Q\) is called complete if \(x\mapsto x\theta(x)\) is also bijective; it is called an orthomorphism if \(x\mapsto x\backslash \theta(x)\) is bijective. A complete orthomorphism is called strongly complete. The existence of a complete map implies the existence of an orthomorphism, and vice versa. \(Q\) is called (strongly) admissible if there exists a (strongly) complete map on \(Q\). The authors prove that certain finite loops with a normal subloop, whose quotient loop is a group are not admissible, and hence not strongly admissible. On the other side, \(L^{n}\) for a loop \(L\) and \(n\ge2\) is always strongly admissible. Moreover, they study the strong admissibility of two classes of finite Moufang loops. Both classes have been constructed by \textit{O. Chein} [Trans. Am. Math. Soc. 188, 31--51 (1974; Zbl 0286.20088); Moufang loops of small order. Providence, RI: American Mathematical Society (AMS) (1978; Zbl 0378.20053)] from finite, nonabelian groups by a certain doubling process. Some examples are strongly admissible, others are not.