No label defined (Q4948624)

In the article, the following theorems are proven. Theorem 1. Let \(N\) be a finite neofield of order \(n\) and let \(G\) be the group generated by the right translations \(x \mapsto x+a\) of the additive loop \((N, +)\). Then one of the following assertions is fulfilled: a) \(N\) is a field; b) \(G\) is equal to the alternating group \(A_{N}\) or to the symmetric group \(S_{N}\); c) \(n = 10\), the neofield \(N\) is isomorphic to \(N_{10}\), and \(G \cong S_{6}\); d) \(n = 12\), the neofield \(N\) is isomorphic to one of the three neofields \(N_{12}^{1}, N_{12}^{2}, N_{12}^{3}\), and the group \(G\) is isomorphic to the Mathieu group \(M_{12}\). Theorem 2. Let \((N, +)\) be a finite loop with regular group of automorphisms and let \(G\) be the group generated by the right translations \(x \mapsto x+a\). If the group \(G\) has a nontrivial solvable normal subgroup then \(N\) is an elementary abelian group.