The Cauchy-Davenport Theorem for Finite Groups
Abstract
The Cauchy-Davenport theorem states that for any two nonempty subsets A and B of Z/pZ we have |A+B| >= minp,|A|+|B|-1, where A+B:=a+b (mod p) | a in A, b in B. We generalize this result from Z/pZ to arbitrary finite (including non-abelian) groups. This result from early in 2006 is independent of Gyula Karolyi's 2005 result.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.