Sur une généralisation de la conjecture d'Artin parmi les presque-premiers

Paul Péringuey
DOI: https://doi.org/10.48550/arXiv.2208.13240
2024-02-23
Abstract:An integer is a primitive root modulo a prime $p$ if it generates the whole multiplicative group $(\mathbb{Z}/p\mathbb{Z})^*$. In 1927 Artin conjectured that an integer $a$ which is not $-1$ or a square is a primitive root for infintely many primes, and that the set of those primes has a positive asymptotic density among all primes. This conjectured was proved, under the generalized Riemann hypothesis (GRH), in 1967 by Hooley. More generally, an integer is called a generalized primitive root modulo $n$ if it generates a subgroup of $(\mathbb{Z}/n\mathbb{Z})^*$ of maximal size. Li and Pomerance showed, under GRH, that the set of integers for which a given integer is a generalized primitive root doesn't have an asymptotic density among all integers. We study here the set of the $\ell$-almost primes, i.e. integers with at most $\ell$ prime factors, for which a given integer $a\in\mathbb{Z}\backslash\{-1\}$, which is not a square, is a generalized primitive root, and we prove, under GRH, that this set has an asymptotic density among all the $\ell$-almost primes.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization of the generalized Artin conjecture in almost primes. Specifically, the author studies the distribution of a given integer \(a\) as a generalized primitive root modulo \(n\) in almost primes. ### Problem Background 1. **Artin Conjecture**: - In 1927, Artin proposed a conjecture: if an integer \(a\) is not - 1 or a perfect square, then \(a\) is a primitive root of infinitely many prime numbers \(p\), and these prime numbers have a positive asymptotic density among all prime numbers. - Hooley proved this conjecture in 1967, under the assumption that the Generalized Riemann Hypothesis (GRH) holds. 2. **Generalized Primitive Root**: - More generally, an integer \(a\) is called a generalized primitive root modulo \(n\) if it generates the largest subgroup of \((\mathbb{Z}/n\mathbb{Z})^*\). - Li and Pomerance showed that, under GRH, the set of integers that make a given integer \(a\) a generalized primitive root has no asymptotic density among all integers. ### Core Problem of the Paper The author studies the set of \(\ell\)-almost primes (i.e., integers with at most \(\ell\) prime factors) that make a given integer \(a\) a generalized primitive root, and proves that, under GRH, this set has an asymptotic density among all \(\ell\)-almost primes. ### Formulas and Symbol Explanations - \(\ell\)-almost prime: an integer with at most \(\ell\) prime factors. - \(N_a(x)\): the number of prime numbers less than \(x\) for which \(a\) is a primitive root. - \(N'_a(x)\): the number of integers less than \(x\) for which \(a\) is a generalized primitive root. - \(\lambda(n)\): the Carmichael function, representing the order of the largest cyclic subgroup in \((\mathbb{Z}/n\mathbb{Z})^*\). - \(W_\ell(p)\): a contribution term related to \(h\). - \(V_\ell(a_1)\): a specific contribution term related to \(a\). ### Main Conclusion The main conclusion of the paper is that, under GRH, for a given \(\ell\geq1\), the number \(N_{a,\ell}(x)\) of \(\ell\)-almost primes that make \(a\) a generalized primitive root has the following asymptotic form: \[N_{a,\ell}(x)=\frac{x(\log\log x)^{\ell - 1}}{(\ell - 1)!\log x}\prod_p(1 - W_\ell(p))(1 + V_\ell(a_1))(1 + o(1))\] where: - \(W_\ell(p)\) and \(V_\ell(a_1)\) are specific formulas, defined as described in the paper. Through this result, the author solves the generalization problem of the generalized Artin conjecture in almost primes, filling an important gap between the classical Artin conjecture and the distribution of generalized primitive roots.