Transversals of additive Latin squares (Q5957364)

The authors prove Snevely's conjecture: For any odd \(n\), every \(k\times k\)-submatrix of the Cayley table of the cyclic group of residues modulo \(n\) contains a Latin transversal (i.e., a transversal for which all entries are pairwise distinct). They also discuss some related problems and prove a few stronger results.