{"id":"arxiv/2607.28559","url":"https://arxiv.org/abs/2607.28559","tags":["math.NT","math.CO"],"score":0,"title":"Sumsets and generalized arithmetic progressions in multiplicative subgroups","domain":"math.NT","source":"arxiv","authors":["Albert Cochrane"],"reviews":0,"subject":"math.NT","summary":"Let $q=p^f$, and let $A\\leq\\mathbb{F}_q^\\times$ be a multiplicative subgroup with $\\mathbb{F}_p(A)=\\mathbb{F}_q$. We prove that a proper subgroup $A$ is a generalized arithmetic progression (GAP) if and only if $|A| \\in \\{1, 2, 4\\}$, and we determine when the full group $\\mathbb{F}_q^\\times$ is a GAP. For certain families of subgroups, we obtain the stronger conclusion that $A$ is additively irreducible. In particular, if $|A|>4$ and $p^e\\equiv-1\\pmod{|A|}$ for some $e\\ge1$, then $A$ admits no nontrivial sumset decomposition. We also prove that every $c \\neq 0$ has fewer than $|A|/2$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}