Exponent-order element in extremal zero-sum-free sequences

Determine whether every zero-sum-free sequence over a finite abelian group of length equal to the small Davenport constant \(\mathsf d(G)\) contains an element whose order equals the exponent of the group.

Background

The paper studies the invariant ν(G)\nu(G), which concerns the structure of subsequence sums of long zero-sum-free sequences over a finite abelian group. The authors note that structural information about extremal zero-sum-free sequences is known only in limited settings, particularly for cyclic groups and certain low-rank groups.

The unresolved question asks whether an extremal zero-sum-free sequence—one attaining length d(G)\mathsf d(G)—must contain an element of maximal possible order, namely the exponent of GG. This issue is later connected in the paper to the behavior of the refined invariants νp(G)\nu_p(G).

References

Only sporadic structural results for sequences that are extremal with respect to given properties as above are known for groups of higher rank (e.g., for some recent contributions), and even a seemingly innocent question, whether every zero-sum free sequence of length \mathsf d (G) has an element whose order is the exponent of the group, is open.

On a classical zero-sum invariant  (2608.19090 - Geroldinger et al., 19 Aug 2026) in Section 1, Introduction