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.

Bounds in terms of the number of cyclic subgroups

On Prime Spectrum of Maximal Subgroups in Finite Groups

Exact bounds for the sum of the inverse-power of element orders in non-cyclic finite groups

Maximal subgroups and chief factors of certain generalized soluble groups.

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

Nonsolvable Groups Satisfying the Prime-Power Hypothesis

Finite groups with small number of cyclic subgroups

On 2-maximal subgroups of finite groups

An upper bound for Davenport constant of finite groups

A lower bound on the size of maximal abelian subgroups

A new lower bound for the number of conjugacy classes

Finite Covers of Groups by Cosets or Subgroups

On an Open Problem of Guo-Skiba

Finite simple groups with two maximal subgroups of coprime orders

Small doublings in abelian groups of prime power torsion

On a bijection between a finite group to a non-cyclic group with divisibility of element orders

Bounds on the exceptional set in the $abc$ conjecture

A Note on Indices of Maximal Subgroups

Arithmetical Conditions on Element Orders and Group-Structure

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

The critical number of finite abelian groups