Disproof of a Conjectured Upper Bound for the Davenport Constant

Guoqing Wang

In the authors' words

Let $G ≅ C_{n_{1}} \oplus \dots \oplus C_{n_{r}}$ be a finite abelian group with $1 < n_{1} ∣ \dots ∣ n_{r}$ , and let $r (G) = r$ denote its rank. The Davenport constant $D (G)$ is the least integer $ℓ$ such that every sequence of $ℓ$ elements of $G$ contains a nonempty zero-sum subsequence, and $D^{*} (G) = 1 + \sum_{i = 1}^{r} (n_{i} - 1)$ is its classical lower bound. A long-standing conjecture (\cite[Conjecture 3.7]{GG06}) on the general upper bound of $D (G)$ asserts that $D (G) \leq D^{*} (G) + r (G) - 1$ . In this paper, we disprove this conjecture. More strongly, we prove that $sup_{r (G) = r} (D (G) - D^{*} (G)) = \infty \qquadfor e v er y f i x e d r \geq 8.$ Thus the classical lower bound does not approximate the Davenport constant within an additive error depending only on the rank, contrary to what has long been believed in the past some decades.

Main resultThe abstract does not state a limitation.

Disproof of a Conjectured Upper Bound for the Davenport Constant

In the authors' words

More on Algebra & number theory that day

Proof of the positive trace gap conjecture

A solution to Michael's problem for Fr\'echet algebras

High Rank and Multiplicity in Random and Perfect Profinite Groups

A quasisymmetric analog of Grassmannian Schubert varieties

A Secondary Multiplicative Structure on Lawson Homology