The small Davenport constant of $E_2\times C_3^r$ for $0\le r\le 3$

Abstract

Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. We prove that $d(E_2\times C_3^r)=2r+10$ for $0\le r\le 3$. The upper bounds follow from signed zero-block identities and two finite statements in the four-dimensional symplectic space over ${\mathbb{F}}_3$. The first supplies edge weights for all completable balanced triangles on any indexed list of at most sixteen nonzero vectors. The second supplies weights for the direction families that can occur in a critical list with no central terms. We give complete coverage arguments, exact certificate files, and separately implemented checking programs. A compression argument removes any need for an induction through smaller list lengths in the sixteen-term potential theorem. The formula for $r\ge 4$ remains open.

arXiv comment11 pages; computer-assisted proof; source code, exact certificates, and verification programs included as ancillary files