Critical pairs in Abelian groups and Kemperman’s structure theorem. (English) Zbl 1157.11040

Suppose that \(G\) is an abelian group. If \(G\) is torsion free then it is easy to see that any pair of subsets \((A,B)\) satisfies \(|A+B| \geq |A| + |B| -1\) where \(A+B:=\{a+b: a \in A, b \in B\}\). Kemperman’s theorem classifies those pairs \((A,B)\) with \(|A+B| \leq |A| + |B| -1\) in any abelian group.
The statement of the theorem is necessarily rather involved because the extremal sets can be quite complicated and one of the objectives of the paper under review is to provide a readable and motivated exposition of Kemperman’s theorem.
The author has placed considerable effort into giving a well motivated account including Kneser’s theorem and the Kemperman-Scherk theorem. As is pointed out the name for this last theorem is not standard but the statement is sufficiently easy that we may include it. We define \[ \mu(A,B):=\inf_{x \in A+B}{1_A \ast 1_B(x)} \] and then the Kemperman-Scherk theorem asserts that \[ |A+B| \geq |A| + |B| - \mu(A,B). \] As well as being an excellent expository work the paper also proves a new theorem which the author describes as in some sense dual to Kemperman’s classification. This is applied to improve some results of Deshouillers, Hamidoune, Hennecart, and Plagne and rounds out the paper nicely.


11P70 Inverse problems of additive number theory, including sumsets
Full Text: DOI arXiv


[1] DOI: 10.1007/s00493-004-0004-0 · Zbl 1049.11108
[2] DOI: 10.4064/aa96-2-1 · Zbl 0985.11011
[3] DOI: 10.4064/aa103-2-4 · Zbl 1007.11011
[4] DOI: 10.1007/s00014-003-0786-5 · Zbl 1045.11072
[5] DOI: 10.1016/S0195-6698(02)00138-5 · Zbl 1018.11050
[6] DOI: 10.1007/BF02546525 · Zbl 0108.25704
[7] DOI: 10.1007/BF01174162 · Zbl 0051.28104
[8] DOI: 10.1007/BF01181357 · Zbl 0064.04305
[9] Lev V. F., Journal de ThĂ©orie des Nombres de Bordeaux 17 pp 191–
[10] Mann H. B., Addition Theorems: The Addition Theorems of Group Theory and Number Theory (1965) · Zbl 0127.27203
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.