English

On the Davenport constant and group algebras

Combinatorics 2010-12-30 v2 Number Theory

Abstract

For a finite abelian group GG and a splitting field KK of GG, let d(G,K)d(G, K) denote the largest integer lNl \in \N for which there is a sequence S=g1...glS = g_1 \cdot ... \cdot g_l over GG such that (Xg1a1)...(Xglal)0K[G](X^{g_1} - a_1) \cdot ... \cdot (X^{g_l} - a_l) \ne 0 \in K[G] for all a1,...,alK×a_1, ..., a_l \in K^{\times}. If D(G)D(G) denotes the Davenport constant of GG, then there is the straightforward inequality D(G)1d(G,K)D(G)-1 \le d (G, K). Equality holds for a variety of groups, and a standing conjecture of W. Gao et.al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups GG for which D(G)1<d(G,K)D(G) -1 < d(G, K) holds. Thus we disprove the conjecture.

Keywords

Cite

@article{arxiv.0907.4913,
  title  = {On the Davenport constant and group algebras},
  author = {Daniel Smertnig},
  journal= {arXiv preprint arXiv:0907.4913},
  year   = {2010}
}

Comments

12 pages; fixed typos and clearer proof of Lemma 3.9