Abstract:For a finite (not necessarily Abelian) group $(\Gamma,\cdot)$, let $n(\Gamma) \in \mathbb{N}$ denote the smallest positive integer $n$ such that for every labelling of the arcs of the complete digraph of order $n$ using elements from $\Gamma$, there exists a directed cycle such that the arc-labels along the cycle multiply to the identity. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved $n(\mathbb{Z}_q)=O(q \log q)$. This was later improved to a linear bound of $n(\Gamma)\le 8|\Gamma|$ for every finite Abelian group by Mészáros and the last author, and then further to $n(\Gamma)\le 2|\Gamma|-1$ for every non-trivial finite group independently by Berendsohn, Boyadzhiyska and Kozma as well as by Akrami, Alon, Chaudhury, Garg, Mehlhorn and Mehta. In this series of two papers we conclude this line of research by proving that $n(\Gamma)\le |\Gamma|+1$ for every finite group $(\Gamma,\cdot)$, which is the best possible such bound in terms of the group order and precisely determines the value of $n(\Gamma)$ for all cyclic groups as $n(\mathbb{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.

Additive Latin Transversals and Group Rings

Exterior Algebras and Two Conjectures on Finite Abelian Groups

An additive theorem related to Latin transversals

An Additive Theorem and Restricted Sumsets

SOME NEW PROBLEMS IN ADDITIVE COMBINATORICS

On Snevily's conjecture and restricted sumsets

Additive triples in groups of odd prime order

Inverse Zero-Sum Problems III

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

Small doublings in abelian groups of prime power torsion

Common transversals and complements in abelian groups

additive bases of abelian groups of rank 2

STUDY COVERS OF GROUPS VIA CHARACTERS AND NUMBER THEORY

Addendum to “trivial Intersection of Blocks and Nilpotent Subgroups” [J. Algebra 559 (2020) 510–528]

Optimal bounds for zero-sum cycles. I. Odd order

The invariant polynomials degrees of the Kronecker sum of two linear operators and additive theory

Goldbach Theorems for Group Semidomains

On the Gowers trick for classical simple groups

Absolutely irreducible quasisimple linear groups containing elements of order a specified Zsigmondy prime

Some Primitive Linear Groups of Prime Degree