{"id":"arxiv/2609.28941","url":"https://arxiv.org/abs/2609.28941","tags":["math.GR","math.NT"],"score":0,"title":"Pro-$\\mathbf H_p$ density in the free group of rank two: a Frobenian criterion on the mod-$p$ torus","domain":"math.GR","source":"arxiv","authors":["Jianchun Wu"],"reviews":0,"subject":"math.GR","summary":"Let $F$ be the free group of rank two and, for a prime $p$, let $\\mathbf H_p=\\mathbf G_p*\\mathbf{Ab}_{p-1}$ be the pseudovariety of finite groups having a normal $p$-subgroup with abelian quotient of exponent dividing $p-1$. For $H$ of rank two with $\\ab_F(H)=F^{\\ab}$ we determine the set $\\mathfrak D(H)$ of primes $p$ where $H$ is $\\mathbf H_p$-dense in $F$, and we show that this prime set is Frobenian in the sense of Serre: it is governed by a single Laurent polynomial $g$ attached to $H$. We prove that $p\\in\\mathfrak D(H)$ if and only if $g$ has no zero on the torus $(\\F_p^\\times)^2$, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}