Global Primitive Roots of Unity
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917404803596288 |
|---|---|
| author | Lewis, Wayne |
| author_facet | Lewis, Wayne |
| contents | An ideal setting to exhibit infinite sets of primes $p$ relative to which an integer is a primitive root $\pmod p$ is provided by the Bézout subdomain $\widetilde{\mathbb{B}}:=\mathbb{Z}^{\mathbb{P}}/\mathfrak{U}$ of the valuation domain $\widetilde{\mathbb{Z}}=\prod_{\mathfrak{U}} \mathbb{Z}_p$ with respect to a nonprincipal ultrafilter $\mathfrak{U}$ on $\mathbb{P}$, extant via Chebotarev's theorem and the ultrafilter theorem and such that the relative algebraic closure $\mathbb{L}:=\mathrm{Abs}(\widetilde{\mathbb{Q}})$ of the prime field of the valued field $\widetilde{\mathbb{Q}}=\prod_{\mathfrak{U}} \mathbb{Q}_p$ contains $\sqrt{-\tilde p}$ for $p\in\mathbb{P}$, contains no $\sqrt[3]{\tilde q}$ for $q\in\mathbb{P}$, and has $\mathrm{tor}(\mathbb{L}^\times)=\langle ζ_6\rangle$.
Results include positive resolutions of the conjectured infinitude of primes $p$ for which
(i) $\frac{p-1}{6}$ is prime and
(ii) a non-perfect-square $-1\neq m\in\mathbb{Z}$ is a primitive root $\pmod p$,
establishing as manifest the efficacy of ultraproduct treatments in resolving number theory problems requiring certification of countably infinite conforming sets.
Furthermore, we extend these results to the quantitative APRC via normalised ergodic Haar measure on the (monothetic) universal adelic torus $\mathrm{Hom}(\mathbb{Q}^{(\mathfrak{c})},\frac{\mathbb{R}}{\mathbb{Z}})$, leveraging Bézout rigidity of $\widetilde{\mathbb{B}}$ and the qualitative APRC witness set $T_m = \{ q\in\mathbb{P} \colon m\text{ is a primitive root}\!\pmod{q}\}$ to present a GRH-free computation of the natural density of $T_m$ as the corrected/entangled Artin Euler product $c_m\prod_{q\in\mathbb{P}}(1-\frac{1}{q(q-1)})$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_16000 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Global Primitive Roots of Unity Lewis, Wayne Number Theory 11A07, 11U07, 12J25 An ideal setting to exhibit infinite sets of primes $p$ relative to which an integer is a primitive root $\pmod p$ is provided by the Bézout subdomain $\widetilde{\mathbb{B}}:=\mathbb{Z}^{\mathbb{P}}/\mathfrak{U}$ of the valuation domain $\widetilde{\mathbb{Z}}=\prod_{\mathfrak{U}} \mathbb{Z}_p$ with respect to a nonprincipal ultrafilter $\mathfrak{U}$ on $\mathbb{P}$, extant via Chebotarev's theorem and the ultrafilter theorem and such that the relative algebraic closure $\mathbb{L}:=\mathrm{Abs}(\widetilde{\mathbb{Q}})$ of the prime field of the valued field $\widetilde{\mathbb{Q}}=\prod_{\mathfrak{U}} \mathbb{Q}_p$ contains $\sqrt{-\tilde p}$ for $p\in\mathbb{P}$, contains no $\sqrt[3]{\tilde q}$ for $q\in\mathbb{P}$, and has $\mathrm{tor}(\mathbb{L}^\times)=\langle ζ_6\rangle$. Results include positive resolutions of the conjectured infinitude of primes $p$ for which (i) $\frac{p-1}{6}$ is prime and (ii) a non-perfect-square $-1\neq m\in\mathbb{Z}$ is a primitive root $\pmod p$, establishing as manifest the efficacy of ultraproduct treatments in resolving number theory problems requiring certification of countably infinite conforming sets. Furthermore, we extend these results to the quantitative APRC via normalised ergodic Haar measure on the (monothetic) universal adelic torus $\mathrm{Hom}(\mathbb{Q}^{(\mathfrak{c})},\frac{\mathbb{R}}{\mathbb{Z}})$, leveraging Bézout rigidity of $\widetilde{\mathbb{B}}$ and the qualitative APRC witness set $T_m = \{ q\in\mathbb{P} \colon m\text{ is a primitive root}\!\pmod{q}\}$ to present a GRH-free computation of the natural density of $T_m$ as the corrected/entangled Artin Euler product $c_m\prod_{q\in\mathbb{P}}(1-\frac{1}{q(q-1)})$. |
| title | Global Primitive Roots of Unity |
| topic | Number Theory 11A07, 11U07, 12J25 |
| url | https://arxiv.org/abs/2411.16000 |