On a permutation problem for finite abelian groups (Q510328)

Summary: Let \(G\) be a finite additive abelian group with exponent \(n>1\), and let \(a_1,\ldots,a_{n-1}\) be elements of \(G\). We show that there is a permutation \(\sigma\in S_{n-1}\) such that all the elements \(sa_{\sigma(s)}\;(s=1,\ldots,n-1)\) are nonzero if and only if \[ |{1\leqslant s<n:\frac{n}{d}a_s\neq 0}|\geqslant d-1\,\,\text{for any positive divisor}\,\,d\,\,\text{of}\,\,n. \] When \(G\) is the cyclic group \(\mathbb Z/n\mathbb Z\), this confirms a conjecture of Z.-W. Sun.