A twelve-term exclusion for the small Davenport constant of E2times C3r

Andreas Volkmann

In the authors' words

Let $E_{2}$ be the extraspecial group of order $3^{5}$ and exponent three. For every $r \geq 1$ , we prove that a product-one-free sequence of length $2 r + 11$ over $E_{2} \times C_{3}^{r}$ cannot contain exactly $2 r - 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 $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 on every triangle. A dual cycle argument reduces this assertion to a potential condition on branching edges. All remaining configurations contain one of eleven minimal frames; two separately implemented exhaustive checks verify all their admissible extensions. The unrestricted check has 9544046 leaves. Complete source code and execution records are supplied. The exact value of $d (E_{2} \times C_{3}^{r})$ for arbitrary $r$ is not determined by this result.

Main resultLimitation the authors admit

A twelve-term exclusion for the small Davenport constant of E2​×C3r​

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

A twelve-term exclusion for the small Davenport constant of $E_{2} \times C_{3}^{r}$

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three