A generalization of Kneser's addition theorem
type: Item
instance of: scholarly article
title: A generalization of Kneser's addition theorem
zbMATH Open document ID: 1178.11021
author: Matt DeVos
author: Bojan Mohar
author: Luis Goddyn
published in: Advances in Mathematics
publication date: 2009-03-20T00:00:00Z
review text: For an additive Abelian group \(G\) let \(A,B\subseteq G\) and \(g\in G\). The sumset of \(A\) and \(B\) is the set \(A+B :=\{a+b: a\in A, b\in B\}\) and \(g+A= A+g:= \{g\}+A\). Any set of the form \(g+A\) is called a shift of \(A\). The stabilizer of \(A\) is defined by \(\text{stab}(A):=\{g\in G: g+A= A\}\). In this note the principal subject matter is sequences of sets. If \({\mathbf A}= (A_1,A_2,\dots, A_m)\) is a sequence of finite subsets of \(G\) and \(\ell\leq m\), then the authors define the set \[ \Sigma^\ell({\mathbf A}):= \{a_{i_1}+\cdots+ a_{i_ell}: 1\leq i_1<\cdots< i_\ell\leq m\;\text{and}\;a_{i_j}\in A_{i_j}\;\text{for every}\;1\leq j\leq\ell\}. \] So \(\Sigma^\ell({\mathbf A})\) is the set of all elements of \(G\) which can be represented as a sum of terms from distinct members of \({\mathbf A}\). The main result of this note is the following Theorem giving a lower bound for \(|\Sigma^\ell({\mathbf A})|\): Let \({\mathbf A}= (A_1,\dots, A_m)\) be a sequence of finite subsets of \(G\), let \(\ell\leq m\) and \(H= \text{stab}(\Sigma^\ell({\mathbf A}))\). If \(\Sigma^\ell({\mathbf A})\) is nonempty, then \[ \left|\Sigma^\ell({\mathbf A})\right|\geq|H|\left(1- \ell+ \sum_{Q\in G/H}\min\{\ell,|\{i\in \{1,\dots, m\}: A_i\cap Q\neq\emptyset\}|\}\right). \] For the special case \(m=\ell=2\) this result is equivalent to a theorem of \textit{M. Kneser} [Math. Z. 58, 459--484 (1953; Zbl 0051.28104)] and the arguments used here give a new proof of this theorem. Further some recent results of other authors are extended in this paper.
reviewed by: Erich Härtter
Mathematics Subject Classification ID: 11B75
Mathematics Subject Classification ID: 11B05
Mathematics Subject Classification ID: 20K01
zbMATH DE Number: 5530599
zbMATH Keywords: Kneser's addition theorem
zbMATH Keywords: Cauchy-Davenport theorem
zbMATH Keywords: Erdős-Ginzburg-Ziv theorem
zbMATH Keywords: matroid
zbMATH Keywords: sumset
zbMATH Keywords: group
zbMATH Keywords: additive number theory
MaRDI profile type: Publication
full work available at URL: j.aim.2008.11.003
OpenAlex ID: W2034548735
cites work: Q3470501
cites work: On the Erdős-Ginzburg-Ziv theorem and the Ramsey numbers for stars and matchings
cites work: The number of \(k\)-sums modulo \(k\)
cites work: An addition theorem on the cyclic group \({\mathbb Z}_{p^\alpha q^\beta}\)
cites work: On the Addition of Residue Classes
cites work: Q5841589
cites work: On zero-trees
cites work: A combinatorial problem on finite abelian groups
cites work: Addition theorems on the cyclic groups of order \(p^\ell\).
cites work: On a partition analog of the Cauchy-Davenport Theorem
cites work: Q3377510
cites work: Q4462638
cites work: On a Combinatorial Theorem of Erdös, Ginzburg and Ziv
cites work: Abschätzung der asymptotischen Dichte von Summenmengen
cites work: Q4895030
cites work: Q3360883
cites work: A simpler proof and a generalization of the zero-trees theorem
cites work: Q4111952
DOI: 10.1016/J.AIM.2008.11.003
description: scientific article; zbMATH DE number 5530599