Cauchy-Davenport type inequalities, I

arXiv1604.02136MaRDI QIDQ6272309FDOQ6272309

Salvatore Tringali

Publication date: 7 April 2016

Abstract: Let $mathbbG=(G,+)$ be a group (either abelian or not). Given $X,YsubseteqG$, we denote by $langleYangle$ the subsemigroup of $mathbbG$ generated by $Y$, and we set ${\displaystyle }$gamma(Y) := sup_{y_0 in Y} inf_{y_0 e y in Y} { m ord}(y - y_0)${\displaystyle }$ if $|Y|ge2$ and $gamma(Y):=|Y|$ otherwise. We prove that if $langleYangle$ is commutative, $Y$ is non-empty, and $X+2YeqX+Y+y$ for some $yinY$, then ${\displaystyle }$ |X+Y| ge |X|+min(gamma(Y), |Y| - 1). ${\displaystyle }$ Actually, this is obtained from a more general result, which improves on previous work of the author on sumsets in cancellative semigroups, and yields a comprehensive generalization, and in some cases a considerable strengthening, of various additive theorems, notably including the Chowla-Pillai theorem (on sumsets in finite cyclic groups) and the specialization to abelian groups of the Hamidoune-Shatrowsky theorem.

Mathematics Subject Classification ID

Arithmetic and combinatorial problems involving abstract finite groups (20D60) Additive bases, including sumsets (11B13) Structure and classification of infinite or finite groups (20E99)

This page was built for publication: Cauchy-Davenport type inequalities, I

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