Iterated sumsets and setpartitions

From MaRDI portal
Publication:780438




Abstract: Let GcongmathbbZ/m1mathbbZimesldotsimesmathbbZ/mrmathbbZ be a finite abelian group with m1midldotsmidmr=exp(G). The n-term subsums version of Kneser's Theorem, obtained either via the DeVos-Goddyn-Mohar Theorem or the Partition Theorem, has become a powerful tool used to prove numerous zero-sum and subsequence sum questions. It provides a structural description of sequences having a small number of n-term subsequence sums, ensuring this is only possible if most terms of the sequence are contained in a small number of H-cosets. For large ngeqfrac1p|G|1 or ngeqfrac1p|G|+p3, where p is the smallest prime divisor of |G|, the structural description is particularly strong. In particular, most terms of the sequence become contained in a single H-coset, with additional properties holding regarding the representation of elements of G as subsequence sums. This strengthened form of the subsums version of Kneser's Theorem was later to shown to hold under the weaker hypothesis ngeqmathsfd(G), where mathsfd(G)=sumi=1r(mi1). In this paper, we reduce the restriction on n even further to an optimal, best-possible value, showing we need only assume ngeqexp(G)+1 to obtain the same conclusions, with the bound further improved for several classes of near-cyclic groups.



Cites work







This page was built for publication: Iterated sumsets and setpartitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q780438)