English

Sum-free sets in $Z_5^n$

Number Theory 2023-03-03 v2

Abstract

It is well-known that for a prime p2(mod3)p\equiv 2\pmod 3 and integer n1n\ge 1, the maximum possible size of a sum-free subset of the elementary abelian group Zpn\mathbb Z_p^n is 13(p+1)pn1\frac13\,(p+1)p^{n-1}. We establish a matching stability result in the case p=5p=5: if AZ5nA\subseteq\mathbb Z_5^n is a sum-free subset of size A>325n1|A|>\frac32\cdot5^{n-1}, then there are a subgroup H<Z5nH<\mathbb Z_5^n of size H=5n1|H|=5^{n-1} and an element eHe\notin H such that A(e+H)(e+H)A\subseteq(e+H)\cup(-e+H).

Keywords

Cite

@article{arxiv.2301.06750,
  title  = {Sum-free sets in $Z_5^n$},
  author = {Vsevolod F. Lev},
  journal= {arXiv preprint arXiv:2301.06750},
  year   = {2023}
}
R2 v1 2026-06-28T08:13:13.429Z