2025/06/03 by Allsop, Jack
#05B15 #20B25 #20N05 #Combinatorics (math.CO) #FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.2506.02446
A quasigroup is a pair (Q, ⋅) where Q is a non-empty set and ⋅ is a binary operation on Q such that for every (u, v) ∈ Q2 there exists a unique (x, y) ∈ Q2 such that u ⋅ x = v = y ⋅ u. Let q be an odd prime power, let \mathbbFq denote the finite field of order q, and let Rq denote the set of non-zero squares in \mathbbFq. Let \a, b\ ⊆ \mathbbFq be such that \ab, (a-1)(b-1)\ ⊆ Rq. Let Qa, b denote the quadratic quasigroup (\mathbbFq, *a, b) where *a, b is defined by
\
x+a(y-x) · amp; if y-x ∈ Rq,
x+b(y-x) · amp; otherwise.
. The operation table of a quadratic quasigroup is a quadratic Latin square. Recently, it has been determined exactly when two quadratic quasigroups are isomorphic and the automorphism group of any quadratic quasigroup has been determined. In this paper, we extend these results. We determine exactly when two quadratic quasigroups are isotopic and we determine the autotopism group of any quadratic quasigroup. In the process, we count the number of 2 × 2 subsquares in quadratic Latin squares.