On some subgroup chains related to Kneser’s theorem
Journal de théorie des nombres de Bordeaux, Volume 20 (2008) no. 1, p. 125-130

A recent result of Balandraud shows that for every subset S of an abelian group G there exists a non trivial subgroup H such that |TS||T|+|S|-2 holds only if HStab(TS). Notice that Kneser’s Theorem only gives {1}Stab(TS).

This strong form of Kneser’s theorem follows from some nice properties of a certain poset investigated by Balandraud. We consider an analogous poset for nonabelian groups and, by using classical tools from Additive Number Theory, extend some of the above results. In particular we obtain short proofs of Balandraud’s results in the abelian case.

Un résultat récent de Balandraud démontre que pour toute partie S d’un groupe abélien G, il existe un sous-groupe H non-trivial tel que l’inégalité |TS||T|+|S|-2 n’a lieu que si HStab(TS). On remarque que le théorème de Kneser n’implique que l’inégalité {1}Stab(TS).

Ce renforcement du théorème de Kneser se déduit des propriétés plaisantes d’un certain ensemble partiellement ordonné étudié par Balandraud. Nous considérons un ensemble partiellement ordonné analogue pour les groupes non forcément abéliens et à l’aide d’outils classiques de théorie additive des nombres, généralisons certains des résultats suscités. En particulier nous obtenons des démonstrations courtes des résultats de Balandraud dans le cas abélien.

@article{JTNB_2008__20_1_125_0,
     author = {Hamidoune, Yahya Ould and Serra, Oriol and Z\'emor, Gilles},
     title = {On some subgroup chains related to Kneser's theorem},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     publisher = {Universit\'e Bordeaux 1},
     volume = {20},
     number = {1},
     year = {2008},
     pages = {125-130},
     doi = {10.5802/jtnb.618},
     zbl = {1197.11016},
     mrnumber = {2434160},
     zbl = {pre05543193},
     language = {en},
     url = {http://www.numdam.org/item/JTNB_2008__20_1_125_0}
}
Hamidoune, Yahya Ould; Serra, Oriol; Zémor, Gilles. On some subgroup chains related to Kneser’s theorem. Journal de théorie des nombres de Bordeaux, Volume 20 (2008) no. 1, pp. 125-130. doi : 10.5802/jtnb.618. http://www.numdam.org/item/JTNB_2008__20_1_125_0/

[1] E. Balandraud, Une variante de la méthode isopérimétrique de Hamidoune, appliquée au théorème de Kneser. Annales de l’institut Fourier, to appear.

[2] E. Balandraud, Quelques résultats combinatoires en théorie additive des nombres. Thèse de doctorat de l’Université de Bordeaux I, May 2006.

[3] D. Grynkiewicz, A step beyond Kemperman’s structure Theorem. Preprint Oct. 2007.

[4] J. H. B. Kemperman, On small sumsets in Abelian groups. Acta Math. 103 (1960), 66–88. | MR 110747 | Zbl 0108.25704

[5] M. Kneser, Abschätzung der asymptotischen Dichte von Summenmengen. Math. Zeit. 58 (1953), 459–484. | MR 56632 | Zbl 0051.28104

[6] M. Kneser, Summenmengen in lokalkompakten abelesche Gruppen. Math. Zeit. 66 (1956), 88–110. | MR 81438 | Zbl 0073.01702

[7] R. A. Lee, Proving Kneser’s theorem for finite groups by another e-transform. Proc. Amer. Math. Soc. 44 (1974), 255–258. | Zbl 0316.20023

[8] H. B. Mann, Addition Theorems. R.E. Krieger, New York, 1976. | MR 424744

[9] M. B. Nathanson, Additive Number Theory. Inverse problems and the geometry of sumsets. Grad. Texts in Math. 165, Springer, 1996. | MR 1477155 | Zbl 0859.11003

[10] J. E. Olson, On the symmetric difference of two sets in a group. European J. Combin. 7 (1986), 43–54. | MR 850143 | Zbl 0597.05012

[11] T. Tao, V. H. Vu, Additive Combinatorics. Cambridge Studies in Advanced Mathematics 105, Cambridge University Press, 2006. | MR 2289012 | Zbl 1127.11002