Equality of relative Davenport constants after removing a smaller coset

From papers

Let GG be a finite abelian group and H1<H2GH_1<H_2\leq G. For some gGg\in G, write

α=g+H1,β=g+H2,\alpha=g+H_1,\qquad \beta=g+H_2,

so that αβ\alpha\subsetneq\beta.

Relative Davenport equality conjecture. One has

dβ(G)=dβ\α(G).d_\beta(G)=d_{\beta\backslash\alpha}(G).

Equivalently, there exists a β\beta-sequence {g1,,gd}\{g_1,\dots,g_d\} of length d=dβ(G)d=d_\beta(G) with no zero-sum subsequence in GG whose sum does not lie in the proper subset α\alpha. The claim is presented as a conjectural extension of the preceding cyclic-group corollary to arbitrary finite abelian groups.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Jared Kettinger and Grant Moles, “Elasticity of Orders from the S-relative Davenport Constant: an Arithmetic Application of a Number-Theoretic Investigation”, arXiv:2605.17595 (2026).

Solutions 0

No solutions have been posted yet.