Augmentation conjecture for odd powers of the fundamental ideal in dihedral quandle rings

Let R2n+1R_{2n+1} denote the dihedral quandle of odd order 2n+12n+1, let Δ(R2n+1)\Delta(R_{2n+1}) be its fundamental ideal, and let Δ2n+1(R2n+1)\Delta^{2n+1}(R_{2n+1}) be its (2n+1)(2n+1)-st power. Let ε\varepsilon be the augmentation map. Augmentation conjecture. For every aΔ2n+1(R2n+1)a\in\Delta^{2n+1}(R_{2n+1}), its image under the augmentation map, restricted to Δ2n+1(R2n+1)\Delta^{2n+1}(R_{2n+1}), satisfies

ε(a)(2n+1)Z.\varepsilon(a)\in(2n+1)\mathbb{Z}.

The claim predicts a divisibility property for augmentations of elements in odd powers of the fundamental ideal of integral dihedral quandle rings. The supplied text does not indicate whether it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Valeriy Bardakov and Mohamed Elhamdadi, “Idempotents and Powers of Ideals in Quandle Rings”, arXiv:2601.07057 (2026).

Additional references

3 papers in this index state this conjecture (2022–2026). The statement above is taken from the most recent of them; the others are arXiv:2506.23175, arXiv:2207.09257.

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.