The Erdős–Ginzberg–Ziv theorem with units

AbstractLet x1,…,xr be a sequence of elements of Zn, the integers modulo n. How large must r be to guarantee the existence of a subsequence xi1,…,xin and units α1,…,αn with α1xi1+⋯+αnxin=0? Our main aim in this paper is to show that r=n+a is large enough, where a is the sum of the exponents of primes in the prime factorisation of n. This result, which is best possible, could be viewed as a unit version of the Erdős–Ginzberg–Ziv theorem. This proves a conjecture of Adhikari, Chen, Friedlander, Konyagin and Pappalardi.We also discuss a number of related questions, and make conjectures which would greatly extend a theorem of Gao