On the Subsets Product in Finite Groups

Let B be a proper subset of a finite group G such that either B = B−1 or G is abelian. We prove that there exists a subgroup H generated by an element of B with the following property. For every subset A of G such that A ∩ H ≠ ∅, either H ⊂ A ∪ AB or ❘A ∪ AB❘ , ❘A❘ + ❘B❘. This result generalizes the Cauchy-Davenport Theorem and two theorems of Chowla and Shepherdson