The Cauchy-Davenport theorem for semigroups - Université Paris Cité Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

The Cauchy-Davenport theorem for semigroups

Salvatore Tringali
  • Fonction : Auteur
  • PersonId : 928955

Résumé

We generalize the Davenport transform and use it to prove that, for $\mathfrak A = (A, +)$ a cancellative unital semigroup and $X,Y$ two subsets of $\mathfrak A$ such that $\langle Y \rangle_\mathfrak{A}$ is commutative, one has that $|X + Y| \ge \Omega_\mathfrak{A}(X,Y)$, where $\Omega_\mathfrak{A}(X,Y)$ is given by \begin{displaymath} \textstyle \min \! \left( |X| + |Y| - 1, \sup_{y_0 \in Y^{\times}} \min_{y \in Y \setminus \{y_0\}} |\langle y - y_0 \rangle_\mathfrak{A}| \right) \end{displaymath} if $2 \le |X|,|Y| < \infty$. While extending the Cauchy-Davenport theorem to the more general and abstract setting of (possibly non-commutative) semigroups, this also strengthens a previous generalization by G. Karolyi relating to the sum-set of non-empty finite sets in commutative groups, where $\Omega_\mathfrak{A}(X,Y)$ in the above estimate is replaced with $\min(p(\mathfrak A),|X| + |Y| - 1)$, with $p(\mathfrak A)$ being the order of the smallest non-trivial subgroup of $\mathfrak A$, which is never greater than $\Omega_\mathfrak{A}(X,Y)$, and indeed (much) smaller in a number of cases.
Fichier principal
Vignette du fichier
Salvatore_Tringali-Cauchy-11ott2012.pdf (377.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00741158 , version 1 (11-10-2012)
hal-00741158 , version 2 (12-10-2012)
hal-00741158 , version 3 (15-10-2012)

Identifiants

  • HAL Id : hal-00741158 , version 1

Citer

Salvatore Tringali. The Cauchy-Davenport theorem for semigroups. 2012. ⟨hal-00741158v1⟩
135 Consultations
598 Téléchargements

Partager

Gmail Facebook X LinkedIn More