Exterior algebras and two conjectures on finite Abelian groups. (Q532621)

The challenging conjecture of \textit{H. S. Snevily} [Am. Math. Mon. 106, No. 6, 584-585 (1999)] on subsets in Abelian groups of odd order which is described as follows has attracted much attention: let \(A=\{a_1,\dots,a_k\}\) and \(B=\{b_1,\dots,b_k\}\) be two \(k\)-subsets of Abelian group \(G\) of odd order (written multiplicatively), then there is a permutation \(\pi\in S_k\) such that \(a_1b_{\pi(1)},\dots,a_kb_{\pi(k)}\) are distinct. \textit{N. Alon} [Isr. J. Math. 117, 125-130 (2000; Zbl 1047.11019)] proved the conjecture when the order of the group is an odd prime, and in 2001, \textit{S. Dasgupta, G. Károlyi, O. Serra} and \textit{B. Szegedy}, [Isr. J. Math. 126, 17-28 (2001; Zbl 1011.05014)] proved it for any cyclic group of odd order. In this paper, the authors consider Snevily's conjecture in a general finite Abelian group, and using the exterior algebra approach, they prove the conjecture when the length \(k\) of the subsets is smaller than the least prime divisor of \(|G|\), and any other prime divisor of \(|G|\) is greater than \(k!\).