Article
Keywords:
quasigroup; loop; prolongation; involutory loop; associative triple; maximally nonassociative
Summary:
A loop of order $n$ possesses at least $3n^2-3n+1$ associative triples. However, no loop of order $n>1$ that achieves this bound seems to be known. If the loop is involutory, then it possesses at least $3n^2-2n$ associative triples. Involutory loops with $3n^2-2n$ associative triples can be obtained by prolongation of certain maximally nonassociative quasigroups whenever $n-1$ is a prime greater than or equal to $13$ or $n-1=p^{2k}$, $p$ an odd prime. For orders $n\le 9$ the minimum number of associative triples is reported for both general and involutory loops, and the structure of the corresponding loops is described.
References:
[1] Dickson L. E.: On finite algebras. Nachr. Ges. Wiss. Göttingen (1905), 358–393.
[2] Drápal A., Lisoněk P.:
Maximal nonassociativity via nearfields. Finite Fields Appl. 62 (2020), 101610, 27 pages.
MR 4032787
[4] Drápal A., Wanless I. M.: Maximally nonassociative quasigroups via quadratic orthomorphisms. accepted in Algebr. Comb., available at arXiv:1912.07040v1 [math.CO] (2019), 13 pages.
[6] Kepka T.:
A note on associative triples of elements in cancellation groupoids. Comment. Math. Univ. Carolin. 21 (1980), no. 3, 479–487.
MR 0590128
[8] Wanless I. M.:
Atomic Latin squares based on cyclotomic orthomorphisms. Electron. J. Combin. 12 (2005), Research Paper 22, 23 pages.
DOI 10.37236/1919 |
MR 2134185