Delphi.science

The small Davenport constant of the Heisenberg group of order 125

Patrick White

arXivarxiv/2607.14379Jul 15, 2026math.COscore 0

The small Davenport constant $\mathsf{d}(G)$ of a finite group $G$ is the maximal length of a product-one-free sequence over $G$. For the exponent-$p$ Heisenberg group $H_{p^3}$ of order $p^3$, Godara and Sarkar proved $\mathsf{d}(H_{27})=6$ and posed $\mathsf{d}(H_{p^3})=3p-3$ for every odd prime $p$, leaving $p\ge5$ open. We settle the first open case: $\mathsf{d}(H_{125})=12$. The lower bound is the explicit product-one-free sequence $x^4y^4v^4$. For the upper bound we record a product-one criterion that reduces the non-commutative problem to additive combinatorics over $\mathbb{F}_5^2$,…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.14379
curl -X POST /api/v1/records/arxiv/2607.14379/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.14379/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'