An additive theorem and restricted sumsets (Q1000638)

Starting with a conjecture of \textit{H. S. Snevily} [The Cayley addition table of \(\mathbb Z_n\). Am. Math. Mon. 106, 584--585 (1999)] in this note the author proves the following Theorem: Let \(G\) be any additive abelian group with cyclic torsion subgroup, and let \(A_1,\dots,A_m\) be arbitrary subsets of \(G\) with cardinality \(n\in\mathbb Z^+=\{1,2,\dots\}\), where \(m\) is odd. Then the elements of \(A_i\) \((1\leq i\leq m)\) can be listed in a suitable order \(a_{i1}, \dots,a_{in}\), so that all the sums \(\sum^m_{i=1}a_{ij}\) \((1\leq j\leq n)\) are distinct. Hereby \(G\) cannot be replaced by an arbitrary abelian group, what is shown with the Klein quaternion group. For this theorem two proofs are given. The above theorem says, that for a certain subset \(A_{m+1}\) of \(G\) with \(|A_{m+1}|=n\), there is a matrix \((a_{ij})_{1 \leq i\leq m+1,1\leq j\leq n}\) such that \(\{a_{i1},\dots,a_{1n}\}=A_i\) for all \(i=1,\dots,m+1\) and the column sum \(\sum^{m+1}_{i=1}a_{1j}\) vanishes for every \(j=1,\dots,n\). Next some definitions are given: A line of an \(n\times n\) matrix is a row or column of the matrix. A line of an \(n\times n\times n\) cube is defined in a similar way. A Latin cube over a set \(S\) of cardinality \(n\) is an \(n\times n\times n\) cube whose entries are from the set \(S\) and no line of which contains a repeated element. A transversal of an \(n\times n\times n\) cube is a collection of \(n\) cells no two of which lie in the same line. A Latin transversal of a cube is a transversal whose cells contain no repeated element. Then as a Corollary it is shown: For the \(N\times N\times N\) Latin cube over \(\mathbb Z/N\mathbb Z\) formed by the Cayley addition table, each \(n\times n\times n\) subcube with \(n\leq N\) contains a Latin transversal.