The Plünnecke-Ruzsa Inequality (Q7361818)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Pluennecke_Ruzsa_Inequality
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Plünnecke-Ruzsa Inequality |
AFP entry Pluennecke_Ruzsa_Inequality |
Statements
26 May 2022
0 references
Angeliki Koutsoukou-Argyraki
0 references
Lawrence C. Paulson
0 references
The Plünnecke-Ruzsa Inequality (English)
0 references
We formalise Plünnecke's inequality and the Plünnecke-Ruzsa inequality, following the notes by Timothy Gowers: "Introduction to Additive Combinatorics" (2022) for the University of Cambridge. To this end, we first introduce basic definitions and prove elementary facts on sumsets and difference sets. Then, we show two versions of the Ruzsa triangle inequality. We follow with a proof due to Petridis.
0 references
