Problem. Is it true that for every positive integers $n,m$ there exists a subset $A_{n,m}$ of a finite cyclic group $G$ having the following two properties:

$(\Sigma_n)$ the $n$-fold sum $A_{n,m}^{+n}=\{x_1+\dots+x_n:x_1,\dots,x_n\in A_{n,m}\}$ does not coincide with $G$;

$(T_m$) the set $A_{n,m}$ is $m$-thick in the sense that for any subset $B\subset G$ of cardinality $|B|\le m$ there exists $g\in G$ such that $g+B\subset A_{n,m}$?

Remark 1. The answer to this problem is affirmative for any $n\in\mathbb N$ and $m=2$. The first example of a set $A_{n,2}$ was constructed by Haight in 1973 and then developed by many mathematicians, in particular, Rusza and Nathanson. But what is known about sets $A_{n,m}$ for $m>2$?

Remark 2. The set $\mathbb N$ of positive integer numbers in the infinite cyclic group $\mathbb Z$ trivially has the properties $\Sigma_n$ and $T_m$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.