{"id":"arxiv/2608.18651","url":"https://arxiv.org/abs/2608.18651","tags":["math.CO"],"score":0,"title":"A Uniform Proof for the Small Davenport Constant of the Exponent-$p$ Heisenberg Group","domain":"math.CO","source":"arxiv","authors":["Andreas Volkmann"],"reviews":0,"subject":"math.CO","summary":"Let $p$ be an odd prime and let $H_{p^3}=\\operatorname{UT}_3(\\mathbb{F}_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. We prove $\\mathsf{d}(H_{p^3})=3p-3$. The main ingredient of the proof is an order-value growth theorem. If $B$ is a noncollinear zero-sum sequence of $n$ nonzero vectors in $\\mathbb{F}_p^2$, then the alternating areas obtained by ordering $B$ assume at least $\\min(p,n-1)$ distinct values. Its proof is a short contraction induction: contract a suitable independent pair, replace the contracted vector in both orders, and apply Cauchy--Davenport. A polynomial…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}