The Cauchy-
Davenport theorem states that, if
p is prime and
A,
B are nonempty subsets of cardinality
r,
s in
![]()
, the cardinality of the sumset
A+B={a+b|a
A,b
B} is bounded below by
min(r+s−1,p); moreover, this lower bound is sharp. Natural extensions of this result consist in determining, for each group
G and positive integers
r,s
|G|, the analogous sharp lower bound, namely the function
Important progress on this topic has been achieved in recent years, leading to the determination of
μG for all abelian groups
G. In this note we survey the history of earlier results and the current knowledge on this function.