Maximally nonassociative quasigroups via quadratic orthomorphisms (Q2039615)

A quasigroup is maximally nonassociative if there is no triple of elements \((a,b,c)\) with \(a(bc)=(ab)c\) except for the triples with \(a=b=c\). It has been suggested that they could be used in cryptography but an early conjecture was that no such quasigroups exist. Computer search produced a maximally nonassociative quasigroup of order 9 but progress on the existence of such quasigroups was limited before this paper. Here, a large step to answering the question of existence is taken. The main theorem is that they exist for orders \(n\geq 9\) with a short list of possible exceptions. The construction is based on the existence of certain orthomorphisms of abelian groups and finite fields. The methods are intricate and bring in the Weil bound. The paper provides an interesting example of how problems in nonassociativity can stimulate results in wider areas.