arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1503.06905math.COmath.NT
收藏

有限交换p-群上长为kq的零和子序列

Zero-sum Subsequences of Length kq over Finite Abelian p-Groups

Xiaoyu He

摘要:

对于有限阿贝尔群$G$和正整数$k$,令$s_{k}(G)$表示最小整数$\ell\in\mathbb{N}$,使得长度为$|S|\geq\ell$的$G$的元素的任何序列$S$具有长度为$k$的零和子序列。著名的Erdens-Ginzburg-Ziv定理确定了循环群$C_{n}$的$s_{n}(C_{n})=2n-1$,而Reiher在2007年证明了$s_{n}(C_{n}^{2})=4n-3$。本文证明了对于指数为$\exp(G)=q$的$p$ -群$G$,当$k\geq d$,其中$d=\Big\lceil\frac{D(G)}{q}\Big\rceil$和$p$是满足$p\ge2d+3\Big\lceil\frac{D(G)}{2q}\Big\rceil-3$的素数,其中$D(G)$是有限阿贝尔群$G$的Davenport常数时,上界$s_{kq}(G)\le(k+2d-2)q+3D(G)-3$是存在的.这是$k$和$d$中正确的增长顺序。作为推论,我们证明了$s_{kq}(C_{q}^{d})=(k+d)q-d$无论何时$k\geq p+d$和$2p\geq7d-3$,解决了高、韩、彭、孙猜想$s_{k\exp(G)}(G)=k\exp(G)+D(G)-1$无论何时$k\exp(G)\geq D(G)$ .我们还得到了一个一般的界$s_{kn}(C_{n}^{d})\leq9kn$ $n$与大素因子和$k$足够大。我们的方法的灵感来自代数方法的Kubertin,谁证明了$s_{kq}(C_{q}^{d})\leq(k+Cd^{2})q-d$时,$k\geq d$和$q$是一个素数的权力。

英文摘要:

For a finite abelian group $G$ and a positive integer $k$, let $s_{k}(G)$ denote the smallest integer $\ell\in\mathbb{N}$ such that any sequence $S$ of elements of $G$ of length $|S|\geq\ell$ has a zero-sum subsequence with length $k$. The celebrated Erdős-Ginzburg-Ziv theorem determines $s_{n}(C_{n})=2n-1$ for cyclic groups $C_{n}$, while Reiher showed in 2007 that $s_{n}(C_{n}^{2})=4n-3$. In this paper we prove for a $p$-group $G$ with exponent $\exp(G)=q$ the upper bound $s_{kq}(G)\le(k+2d-2)q+3D(G)-3$ whenever $k\geq d$, where $d=\Big\lceil\frac{D(G)}{q}\Big\rceil$ and $p$ is a prime satisfying $p\ge2d+3\Big\lceil\frac{D(G)}{2q}\Big\rceil-3$, where $D(G)$ is the Davenport constant of the finite abelian group $G$. This is the correct order of growth in both $k$ and $d$. As a corollary, we show $s_{kq}(C_{q}^{d})=(k+d)q-d$ whenever $k\geq p+d$ and $2p\geq7d-3$, resolving a case of the conjecture of Gao, Han, Peng, and Sun that $s_{k\exp(G)}(G)=k\exp(G)+D(G)-1$ whenever $k\exp(G)\geq D(G)$. We also obtain a general bound $s_{kn}(C_{n}^{d})\leq9kn$ for $n$ with large prime factors and $k$ sufficiently large. Our methods are inspired by the algebraic method of Kubertin, who proved that $s_{kq}(C_{q}^{d})\leq(k+Cd^{2})q-d$ whenever $k\geq d$ and $q$ is a prime power.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑