Doubling constant for subgroups of \(\mathbb Z_p^*\) (Q6546734)

Let \(p\) be a prime number and \(A \subseteq \mathbf{F}^*_p := \mathbf{F}_p \setminus \{0\}\) be a multiplicative subgroup. The authors obtain a series of results on the size of the sumset \(2A = \{ a_1+a_2 : a_1,a_2 \in A\}\). Let us formulate some of them.\N\NTheorem. If \(|A| < \log_3 p\), then \(|A+A| = |A|(|A|+1)/2\). If \(|A| >p^{3/4}\), then \(2A\) contains \(\mathbf{F}^*_p\).\N\NAlso, they characterize all \(A\) with \(|2A| = 2|A|\) and \(|2A| = 2|A|+1\), as well as all \(A\) such that the number of cosets in \(2A\) is \(3\) or \(4\). Finally, they find all groups \(A\) contained in an arithmetic progression of length at most \(3|A|/2\).