On a pair of orthogonal golf designs (Q6041537)

A golf design is a set of \(n-2\) idempotent symmetric quasigroups of order \(n\) that are mutually disjoint, i.e.\ any two of them have distinct off-diagonal entries. It is known that golf designs exist if \(n\ge 3\) is odd and \(n\neq 5\). The existence of a pair of orthogonal golf designs was not known. This paper displays the first examples by giving starters and adders for \(n=13\), \(15\), and \(17\). Furthermore, an infinite family is given for \(n=13^k+2\) by a recursive construction.