It is proved that any set A in a commutative group G where the order
of elements is bounded by an integer r, having nelements and at most an sums
is contained in a subgroup of size A nwith A = f(r, a) depending on r and a
but not on n. This is an analog of a theorem of G. Freiman which describes the
structure of such sets in the group of integers.
DIMACS Home Page