{"id":"arxiv/2610.23373","url":"https://arxiv.org/abs/2610.23373","tags":["math.GR"],"score":0,"title":"Finite power image families and automorphism actions in linear groups","domain":"math.GR","source":"arxiv","authors":["Zhexin Jiang"],"reviews":0,"subject":"math.GR","summary":"Let $k/\\mathbb{Q}$ be a finitely generated field extension. We characterize the subgroups $G\\leq GL_n(k)$ for which the power images $P_m(G)=\\{g^m:g\\in G\\}$ form a finite family: this holds precisely when $G=N\\rtimes F$, where $F$ is finite and $N$ is a uniquely divisible subgroup consisting of unipotent matrices. The subgroup $N$ is canonical and fully invariant.For $e=\\exp(G/N)$, we obtain $P_m(G)=P_{\\gcd(m,e)}(G)$, exactly $τ(e)$ distinct power images, and least positive period $e$, where $τ(e)$ is the number of positive divisors of $e$.Over $\\mathbb{Q}$, the group coincides with the full…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}