Pro-mathbf Hp density in the free group of rank two: a Frobenian criterion on the mod-p torus

Jianchun Wu

En palabras de los autores

Let $F$ be the free group of rank two and, for a prime $p$ , let $H_{p} = G_{p} * 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 $D (H)$ of primes $p$ where $H$ is $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 D (H)$ if and only if $g$ has no zero on the torus $(\F_{p}^{\times})^{2}$ , and hence that $D (H)$ possesses a computable natural density $d (H)$ . Exactly one of three cases holds: $D (H)$ is the set of all primes, it is finite, or it is neither and $d (H)$ satisfies $\frac{1}{∣ G ∣} \leq d (H) \leq 1 - \frac{1}{∣ G ∣}$ , where $G$ is the finite Galois group attached to $g$ .

Resultado principalEl resumen no menciona limitaciones.

Pro-Hp​ density in the free group of rank two: a Frobenian criterion on the mod-p torus

En palabras de los autores

Más de Álgebra y teoría de números ese día

Proof of the positive trace gap conjecture

A solution to Michael's problem for Fr\'echet algebras

Disproof of a Conjectured Upper Bound for the Davenport Constant

High Rank and Multiplicity in Random and Perfect Profinite Groups

A quasisymmetric analog of Grassmannian Schubert varieties

Pro- $H_{p}$ density in the free group of rank two: a Frobenian criterion on the mod- $p$ torus