On a Generalization of the Cauchy-Davenport Theorem
暂无分享,去创建一个
A generalization of the Cauchy-Davenport Theorem to arbitrary finite groups was suggested by Károlyi and proved independently by Károlyi and Wheeler. Here we give a short proof of the following small extension of this result (which also applies to infinite groups): If A,B are finite nonempty subsets of a (multiplicatively written) group G then |AB| min{p(G), |A| + |B| 1} where p(G) denotes the smallest order of a nontrivial finite subgroup of G, or 1 if no such subgroups exist.
[1] G. Károlyi. Cauchy-Davenport theorem in group extensions , 2005 .
[2] Jeffrey Paul Wheeler. The Cauchy-Davenport Theorem for Finite Groups , 2012, 1202.1816.
[3] J. Kemperman,et al. On Complexes in a Semigroup , 1956 .
[4] S. S. Pillai. On the addition of residue classes , 1938 .