×

Maximal nonassociativity via nearfields. (English) Zbl 1484.20120

For a finite quasigroup \(Q\), we let \(a(Q) := |\{ (x,y,z) \in Q^3 \,:\, (xy)z = x(yz)\}|\) be the number of associative triples of \(Q\). O. Grošek and P. Horák [Des. Codes Cryptography 64, No. 1–2, 221–227 (2012; Zbl 1250.94036)] proved that \(a(Q) \ge 2 |Q| - i(Q)\), where \(i(Q)\) denotes the number of idempotent elements of \(Q\) and conjectured that \(a (Q) > |Q|\) for all \(Q\) (with \(|Q| > 1\)). The paper under review refutes this conjecture by proving that for every \(k \ge 0\) and every odd number \(r\), there is a quasigroup \(Q\) with \(a (Q) = |Q| = 2^{6k} r^2\); a quasigroup with \(a (Q) = |Q|\) is called maximally nonassociative. Such quasigroups are constructed as direct products of quasigroups obtained from finite (left) Dickson nearfields. For an odd prime power \(q\), the nearfield \(N_{q^2} : = (\mathbb{F}_{q^2}, +,\circ)\) is defined by \(x \circ y = xy\) if \(x\) is a square in \(\mathbb{F}_{q^2}\) and \(x \circ y = xy^q\) otherwise. Then for \(c \in N_{q^2} \setminus \{0,1\}\), an operation \(*_c\) is defined by \(x*_c y := x + (y-x) \circ c\). The authors show that if \(q \ge 14293\), there is a \(c\) such such that \((N_{q^2}, *_c)\) is maximally nonassociative by an involved estimation of the number of solutions of certain polynomial equations using the Weil bound on multiplicative character sums; smaller \(q\) are investigated using a computer algebra system. Computer generated results indicate that for \(q \to \infty\), the density of those \(c\) such that \((N_{q^2}, *_c)\) is maximally nonassociative converges to a number in the interval \((0.288, 0.290)\) (Conjecture 5.10).

MSC:

20N05 Loops, quasigroups
12K05 Near-fields
16Y30 Near-rings

Citations:

Zbl 1250.94036

Software:

Magma
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bosma, W.; Cannon, J.; Playoust, C., The magma algebra system. I. The user language, J. Symb. Comput., 24, 3-4, 235-265 (1997) · Zbl 0898.68039
[2] Dickson, L. E., On finite algebras, Nachr. Akad. Wiss. Gött. Math.-Phys. Kl., II, 358-393 (1905) · JFM 36.0138.03
[3] Drápal, A.; Valent, V., High nonassociativity in order 8 and an associative index estimate, J. Comb. Des., 27, 205-228 (2019) · Zbl 1434.20052
[4] Drápal, A.; Valent, V., Extreme nonassociativity in order nine and beyond, J. Comb. Des. (2019), (accepted)
[5] Evans, R. J., Exponential and character sums, (Mullen, G. L.; Panario, D., Handbook of Finite Fields (2013), CRC Press)
[6] Grošek, O.; Horák, P., On quasigroups with few associative triples, Des. Codes Cryptogr., 64, 221-227 (2012) · Zbl 1250.94036
[7] Kepka, T., A note on associative triples of elements in cancellation groupoids, Comment. Math. Univ. Carol., 21, 479-487 (1980) · Zbl 0444.20069
[8] Kotzig, A.; Reischer, C., Associativity index of finite quasigroups, Glas. Mat. Ser. III, 18, 243-253 (1983) · Zbl 0528.20055
[9] Perron, O., Bemerkungen über die Verteilung der quadratischen Reste, Math. Z., 56, 122-130 (1952) · Zbl 0048.03002
[10] Stein, S. K., Homogeneous quasigroups, Pac. J. Math., 14, 1091-1102 (1964) · Zbl 0132.26502
[11] Zassenhaus, H., Über endliche Fastkörper, Abh. Math. Semin. Univ. Hamb., 11, 187-220 (1936) · JFM 61.0126.01
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.