A Cauchy-Davenport theorem for semigroups

TL;DR

This paper extends the Cauchy-Davenport theorem to cancellative semigroups, providing new bounds on sumset sizes and generalizing classical results from cyclic groups to broader algebraic structures.

Contribution

It introduces a generalized Davenport transform and establishes a Cauchy-Davenport type inequality for non-commutative cancellative semigroups, broadening the theorem's applicability.

Findings

Established a lower bound for |X + Y| in semigroups

Extended classical theorems to non-commutative settings

Strengthened existing generalizations for commutative groups

Abstract

We generalize the Davenport transform and use it to prove that, for a (possibly non-commutative) cancellative semigroup $\mathbb A = (A, +)$ and non-empty subsets $X,Y$ of $A$ such that the subsemigroup generated by $Y$ is commutative, we have $|X + Y| \ge \min(\omega(Y), |X| + |Y| - 1)$, where $\omega(Y) := \sup_{y_0 \in Y \cap \mathbb A^{\times}} \inf_{y \in Y \setminus \{y_0\}} |<y - y_0>|$. This carries over the Cauchy-Davenport theorem to the broader setting of semigroups, and it implies, in particular, an extension of I. Chowla's and S.S. Pillai's theorems for cyclic groups and a notable strengthening of another generalization of the same Cauchy-Davenport theorem to commutative groups, where $\omega(Y)$ in the above is replaced by the minimal order of the non-trivial subgroups of $\mathbb A$.