3-nets realizing a diassociative loop in a projective plane (Q281299)

A \textit{\(3\)-net} of order \(n\) is a finite incidence structure consisting of points and three pairwise disjoint classe of lines, each of size \(n\), such that every point incident with two lines from distinct classes is incident with exactly one line from each of the three classes. In the paper under review, the authors deal with \(3\)-nets embedded on \(\mathrm{PG}(2, \mathbb K)\), the projective plane over a field \(\mathbb K\) of characteristic \(p\geq 0\). It is well known that a \(3\)-net may be coordinatized by a loop. A \(3\)-net embedded in \(\mathrm{PG}(2, \mathbb K)\) with coordinatizing loop \(G =(G, \cdot)\) may be equivalently defined by a triple of bijective maps, \(\alpha, \beta, \gamma\) from \(G\) to the set of the three classes of lines respectively, such that \(a\cdot b = c\) if and only if the the three lines \(\alpha(a), \beta (b), \gamma(c)\) are concurrent in \(\mathrm{PG}(2, \mathbb K)\), for any \(a, b, c\in G\) (and one says that the \(3\)-net in \(\mathrm{PG}(2, \mathbb K)\) \textit{realizes} \(G\)). In this paper, the authors prove two structural theorems on the loop \(G\) realized by \(3\)-nets in \(\mathrm{PG}(2, \mathbb K)\), with \(\mathbb K\) an algebraically closed field.