English

Erd\H{o}s-Ginzburg-Ziv theorem and Noether number for $C_m\ltimes_{\varphi} C_{mn}$

Combinatorics 2018-11-27 v2 Commutative Algebra Number Theory Rings and Algebras

Abstract

Let GG be a multiplicative finite group and S=a1akS=a_1\cdot\ldots\cdot a_k a sequence over GG. We call SS a product-one sequence if 1=i=1kaτ(i)1=\prod_{i=1}^ka_{\tau(i)} holds for some permutation τ\tau of {1,,k}\{1,\ldots,k\}. The small Davenport constant d(G)\mathsf d(G) is the maximal length of a product-one free sequence over GG. For a subset LNL\subset \mathbb N, let sL(G)\mathsf s_L(G) denote the smallest lN0{}l\in\mathbb N_0\cup\{\infty\} such that every sequence SS over GG of length Sl|S|\ge l has a product-one subsequence TT of length TL|T|\in L. Denote e(G)=max{ord(g):gG}\mathsf e(G)=\max\{\text{ord}(g): g\in G\}. Some classical product-one (zero-sum) invariants including D(G):=sN(G)\mathsf D(G):=\mathsf s_{\mathbb N}(G) (when GG is abelian), E(G):=s{G}(G)\mathsf E(G):=\mathsf s_{\{|G|\}}(G), s(G):=s{e(G)}(G)\mathsf s(G):=\mathsf s_{\{\mathsf e(G)\}}(G), η(G):=s[1,e(G)](G)\eta(G):=\mathsf s_{[1,\mathsf e(G)]}(G) and sdN(G)\mathsf s_{d\mathbb N}(G) (dNd\in\mathbb N) have received a lot of studies. The Noether number β(G)\beta(G) which is closely related to zero-sum theory is defined to be the maximal degree bound for the generators of the algebra of polynomial invariants. Let GCmφCmnG\cong C_m\ltimes_{\varphi} C_{mn}, in this paper, we prove that E(G)=d(G)+G=m2n+m+mn2\mathsf E(G)=\mathsf d(G)+|G|=m^2n+m+mn-2 and β(G)=d(G)+1=m+mn1\beta(G)=\mathsf d(G)+1=m+mn-1. We also prove that smnN(G)=m+2mn2\mathsf s_{mn\mathbb N}(G)=m+2mn-2 and provide the upper bounds of η(G)\eta(G), s(G)\mathsf s(G). Moreover, if GG is a non-cyclic nilpotent group and pp is the smallest prime divisor of G|G|, we prove that β(G)Gp+p1\beta(G)\le \frac{|G|}{p}+p-1 except if p=2p=2 and GG is a dicyclic group, in which case β(G)=12G+2\beta(G)=\frac{1}{2}|G|+2.

Keywords

Cite

@article{arxiv.1707.03639,
  title  = {Erd\H{o}s-Ginzburg-Ziv theorem and Noether number for $C_m\ltimes_{\varphi} C_{mn}$},
  author = {Dongchun Han and Hanbin Zhang},
  journal= {arXiv preprint arXiv:1707.03639},
  year   = {2018}
}

Comments

14 pages