A twelve-term exclusion for the small Davenport constant of $E_2\times C_3^r$
Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. For every $r\ge1$, we prove that a product-one-free sequence of length $2r+11$ over $E_2\times C_3^r$ cannot contain exactly $2r-1$ central terms. Thus the critical layer with twelve noncentral terms is excluded. The proof combines a relative moment criterion for abelian normal subgroups with a finite theorem in a symplectic four-space over $\mathbb F_3$. Under explicit subspace occupancy bounds, the family of balanced triangles that can actually be completed to a nonfull zero-sum block admits edge weights summing to one…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.22972
curl -X POST /api/v1/records/arxiv/2609.22972/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.22972/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'