Higher Degree Erdos-Ginzburg-Ziv Constants
We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao and the first author that relates these two parameters extends to this higher degree setting. Two simple examples that capture the essence of these higher degree Erdős-Ginzburg-Ziv constants are the following. 1) Let νp(m) denote the p−adic valuation of the integer m. Suppose we have integers t∣(2m) and n=t+2ν2(m), then every sequence S over Z2 of length ∣S∣≥n contains a subsequence S′ of length t for which ∑ai1,…,aim∈S′ai1⋯aim≡0(mod2), and this is sharp. 2) Suppose k=3α for some integer α≥2. Then every sequence S over Z3 of length ∣S∣≥k+6 contains a subsequence S′ of length k for which ∑ah,ai,aj∈S′ahaiaj≡0(mod3). These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions (symmetric polynomials) have to vanish on the elements of a subsequence of prescribed length. The Erdős-Ginzburg-Ziv Theorem is just the case where a sequence of length 2n−1 over Zn contains a subsequence S′=(a1,…,an) of length n that vanishes when substituted in the linear symmetric polynomial a1+⋯+an.