Optimal bounds for zero-sum cycles

For a finite (not necessarily abelian) group Γ, let n(Γ) denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order n using elements from Γ, there exists a directed cycle such that the arc-labels along the cycle multiply to the identity. Alon and Krivelevich [2] initiated the study of the parameter n(.) on cyclic groups and proved n(Z_q) = O(q log q). This was later improved to a linear bound of n(Γ) <= 8|Γ| for every finite abelian group Γ by Mészáros and the last author [8], and then further to n(Γ) <= 2|Γ|-1 for every non-trivial finite group independently by Berendsohn, Boyadzhiyska and Kozma [3] as well as by Akrami, Alon, Chaudhury, Garg, Mehlhorn and Mehta [1]. In this series of two papers we conclude this line of research by proving that n(Γ) < |Γ|+1 for every finite group Γ, which is the best possible such bound in terms of the group order and precisely determines the value for all cyclic groups as n(Z_q) = q+1. In the present paper we prove the above result for all groups of odd order. The proof for groups of even order needs to overcome substantial additional obstacles and will be presented in the second part of this series.