Equality of relative Davenport constants after removing a smaller coset

Let GG be a finite abelian group and H1<H2≤GH_1<H_2\leq G. For some g∈Gg\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.

References

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).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.