Additive properties of subgroups of finite index in fields (Q627621)

Let \({\mathbb F}\) be a field, \({\mathbb F}^*={\mathbb F}\setminus\{0\}\). For a subgroup \(G\) of \({\mathbb F}^*\) and a positive integer \(r\) let \[ G-G=\{g-g':g,g'\in G\}; \] \[ r\times G=\left\{\sum_{i=1}^rg_i:g_i\in G,i=1,\dots,r\right\}; \] \[ 0\times G=0. \] If \(G\) is of finite index in \({\mathbb F}^*\), \(G-G={\mathbb F}\) and \(-1\in\cup_{r=1}^\infty r\times G\) then the additive dimension of \(G\) denoted by \(A(G)\) is defined as the smallest positive integer \(d\) such that \(d\times G=F\). If \( A(G)=1+[{\mathbb F}^*:G]\) then \(G\) is said to have maximal additive dimension. The authors prove that if \(G\) has maximal additive dimension then the quotient \({\mathbb F}^*/G\) is cyclic. For a natural number \(n>2\) let \(G_n\) be the kernel of the homomorphism \(\phi_n:{\mathbb Q}^\times\to {\mathbb Z}_n^*\) determined by \[ \phi_n(p)=p+n{\mathbb Z},\;p\nmid n; \] \[ \phi_n(p)=1+n{\mathbb Z},\;p\mid n; \] \[ \phi_n(-1)=-1+n{\mathbb Z}, \] \(p\) a prime number. The set of positive integers \(n\) such that \(A(G_n)\leq 92\) has asymptotic density~1.