Abstract
We give a new formula for the Chebotarev Densities of Frobenius elements in Galois groups. This formula is given in terms of smallest prime factors \(p_{\mathrm {min}}(n)\) of integers \(n\ge 2\). More precisely, let C be a conjugacy class of the Galois group of some finite Galois extension K of \(\mathbb {Q}\). Then we prove that
This theorem is a generalization of a result of Alladi from 1977 that asserts that largest prime divisors \(p_{\mathrm {max}}(n)\) are equidistributed in arithmetic progressions modulo an integer k, which occurs when K is a cyclotomic field \(\mathbb {Q}(\zeta _k)\).
Similar content being viewed by others
1 Introduction and statement of results
It is well-known that
where \(\zeta (s)=\sum _{n\ge 1}n^{-s}\) is the Riemann zeta function and \(\mu (n)\) is the M\({\ddot{\mathrm {o}}}\)bius function defined by
This follows from the fact that \(\zeta (s)\) has a pole at \(\mathrm {Re}(s)=1\). In particular, we observe by reordering that
As this work will show, this can be interpreted as the statement that 100% of integers \(n\ge 2\) are divisible by a prime. To make sense of this, let \(p_{\mathrm {min}}(n)\) (resp. \(p_{\mathrm {max}}(n)\)) denote the smallest (resp. largest) prime divisor of n. Alladi shows in [1] that if \(\gcd (\ell ,k)=1\), then
which, by Dirichlet’s theorem on primes in arithmetic progressions and a certain duality principle stated in Sect. 2, implies that largest prime divisors are equidistributed in arithmetic progressions modulo k. Here we generalize this.
For aesthetic purposes, we define
In order to state our results, suppose that K is a Galois extension of \(\mathbb {Q}\). If p is an unramified prime and \(\mathfrak {p}\subseteq \mathcal{O}_K\) is a prime ideal lying above p, then let \(\left[ \frac{K/\mathbb {Q}}{\mathfrak {p}}\right] \) denote the Artin symbol (see Sect. 2.2). For convenience, we let
Therefore, it is well-known that \(\left[ \frac{K/\mathbb {Q}}{p}\right] =C\), where \(C\subset \mathrm {Gal}(K/\mathbb {Q})\) is a conjugacy class.
Theorem 1
Let K be a finite Galois extension of \(\mathbb {Q}\) with Galois group \(G=\mathrm {Gal}(K/\mathbb {Q})\), and let \(C\subset G\) be a conjugacy class. Then we have that
Remark
The convergence of the sum in Theorem 1 is conditional, and the proof of Theorem 1 in Sect. 3 gives an explicit convergence rate [see Eq. (10)].
Remark
We can view the set
as a “signed probability measure” which can be used to calculate Chebotarev Densities via minimal prime divisors of squarefree integers.
Examples
-
a)
Alladi’s Theorem (1) is a special case of Theorem 1 where one chooses K to be a cyclotomic field, i.e. \(K=\mathbb {Q}\left( \zeta _k\right) \), where \(\zeta _k\) is a primitive kth root of unity.
-
b)
Let \(f(x)=x^4+x+1\). Then f(x) has Galois group \(\mathrm {Gal}(f)=S_4\), so in particular \(\#\mathrm {Gal}(f)=24\). Let K be the splitting field of f, and define the set
$$\begin{aligned} S:=\{p\text { prime}\,:\,p\text { is unramified in }K\text { and }f\text { has no roots in }\mathbb {Z}/p\mathbb {Z}\}. \end{aligned}$$For primes \(p\in S\), the reduction of f modulo p is either an irreducible quartic, which corresponds to the conjugacy class in \(\mathrm {Gal}(f)=S_4\) consisting of a 4-cycle (this conjugacy class has six elements), or a product of two irreducible quadratics, which corresponds to the conjugacy class in \(S_4\) consisting of products of two transpositions (this conjugacy class has three elements). Then the probability of an irreducible quartic contributes \(\frac{6}{24}\) to the sum, and the probability of a product of irreducible quadratics contributes \(\frac{3}{24}\) to the sum, so the theorem gives
$$\begin{aligned} \sum _{\begin{array}{c} n\ge 2\\ p_{\mathrm {min}}(n)\in S \end{array}}\frac{\mu ^*(n)}{n}=\frac{3}{8}=0.375. \end{aligned}$$Now, define the set
$$\begin{aligned} S':=\{p\text { prime}\,:\,p\text { is unramified in }K\text { and }f\text { has exactly one root in }\mathbb {Z}/p\mathbb {Z}\}. \end{aligned}$$For primes \(p\in S'\), the reduction of f modulo p is a product of a linear factor and an irreducible cubic, which corresponds to the conjugacy class in \(S_4\) consisting of a 3-cycle (this conjugacy class has eight elements). Then the theorem gives
$$\begin{aligned} \sum _{\begin{array}{c} n\ge 2\\ p_{\mathrm {min}}(n)\in S' \end{array}}\frac{\mu ^*(n)}{n}=\frac{1}{3}. \end{aligned}$$The table below gives the actual values of the sums
$$\begin{aligned} \sum _{\begin{array}{c} 2\le n\le X\\ p_{\mathrm {min}}(n)\in S \end{array}}\frac{\mu ^*(n)}{n}\text {and}\sum _{\begin{array}{c} 2\le n\le X\\ p_{\mathrm {min}}(n)\in S' \end{array}}\frac{\mu ^*(n)}{n} \end{aligned}$$for increasing values of X.
X | \(f\pmod {p}\) has no roots | \(f\pmod {p}\) has 1 root |
---|---|---|
20,000 | 0.3730 | 0.3342 |
40,000 | 0.3741 | 0.3328 |
60,000 | 0.3738 | 0.3337 |
80,000 | 0.3735 | 0.3330 |
100,000 | 0.3734 | 0.3338 |
-
c)
Theorem 1 holds for suitable sets of primes S with Dirichlet density.
To prove Theorem 1, we need the following theorem which is a statement about the largest prime divisors of integers.
Theorem 2
Assume the notation and hypotheses from Theorem 1. Then we have that
where k is a positive constant.
In Sect. 2.1, we give some results which will help bound error terms in the proofs of the above theorems, and we give the duality between largest and smallest prime divisors introduced by Alladi [1]. In Sect. 2.2, we state and explain the Chebotarev Density Theorem [8]. In Sect. 3, we prove Theorems 1 and 2.
2 Preliminaries
2.1 Error terms and duality
We require several tools in order to prove Theorems 1 and 2. First, we define the function
which counts the number of integers \(n\le X\) with largest prime divisor \(p_{\mathrm {max}}(n)\le Y\). Let \(\mathcal {S}(X,Y)\) denote the set of such integers \(n\le X\) with \(p_{\mathrm {max}}(n)\le Y\). Then clearly \(|\mathcal {S}(X,Y)|=\Psi (X,Y)\).
We now state a theorem of Hildebrand [4] which improves an asymptotic bound for \(\Psi (X,Y)\) given by de Bruijn [3]. We must first define the Dickman function \(\rho (\beta )\) as the continuous solution of the system
Theorem
(Hildebrand) We have that
uniformly in the range \(X\ge 3,1\le \beta \le \log X/(\log \log X)^{5/3+\epsilon },\) for any fixed \(\epsilon >0\).
The following unpublished theorem of Maier [6] can be recognized as a corollary of Hildebrand’s Theorem, and this corollary will be sufficient to prove the theorems in this paper.
Corollary
If \(\beta =\frac{\log X}{\log Y}\), then for X sufficiently large (where \(\beta \) varies with X) we have that
uniformly in the range \(1\le \beta \le (\log X)^{1-\epsilon }\) for any fixed \(\epsilon >0\).
It turns out that for \(1\le \beta \le (\log X)^{1-\epsilon }\), we have
The O-constant depends on \(\epsilon \), and we will later choose \(\epsilon =2/3\) in the proof of Theorem 2. To obtain (4), we require an upper bound for \(\rho (\beta )\) as recommended by one of the reviewers. Norton [7, Lemma 4.7] gives the following bound,
Applying Stirling’s formula to (5), we see that
From this asymptotic estimate and the above corollary, it is straightforward to see that (4) holds.
These estimates will be useful in bounding error terms in the proof of Theorem 1. The following lemma will also be useful in obtaining estimates.
Lemma 3
For \(a\le X\) and \(\mathcal {S}(X,Y)\) defined as above, we have that
Proof
Looking at the (Stieltjes) integral on the left hand side, a given integer n occurs whenever t is in the range \(t\ge a\), \(t\ge p_{\mathrm {max}}(n)\), and \(t\le X/n\). Therefore the integer n contributes to the integral the length of the interval from \(\max \big (p_{\mathrm {max}}(n),a\big )\) to X / n, provided that \(\max \big (p_{\mathrm {max}}(n),a\big )\le X/n\). This is precisely the contribution of n to the sum on the right hand side. \(\square \)
In addition to error bounds, the proof of Theorem 1 requires the following beautiful result of Alladi on the duality between largest and smallest prime factors.
Theorem
(Alladi [1]) If f is a function defined on integers with \(f(1)=0\), then
This theorem provides the connection between Theorems 1 and 2.
2.2 The Chebotarev Density Theorem
Our main result is closely related to the Chebotarev Density Theorem, which we carefully state here. We must first give all of the machinery required to define the Artin symbol. Let L / K be a finite Galois extension of number fields, and let \(\mathcal{O}_L\) and \(\mathcal{O}_K\) be the corresponding rings of integers. Let \(\mathfrak {p}\) be any nonzero prime (maximal) ideal in \(\mathcal{O}_K\). Then the ideal generated in \(\mathcal{O}_L\) by \(\mathfrak {p}\) can be uniquely split into distinct maximal ideals \(\mathfrak {P}_j\) lying over \(\mathfrak {p}\) in the following way: there exists an integer \(g\ge 1\) such that
We say the ideal \(\mathfrak {p}\) is unramified in L if \(e_j=1\) for all \(1\le j\le g\), which occurs for all but finitely many prime ideals. Define the absolute norm of a nonzero ideal \(\mathfrak {a}\) of the ring of integers \(\mathcal{O}_F\) of some number field F by
For any prime ideal \(\mathfrak {P}\) lying over \(\mathfrak {p}\), the Artin symbol \(\left[ \frac{L/K}{\mathfrak {P}}\right] \) is defined as the unique element \(\sigma \in G\) such that
All of the prime ideals \(\mathfrak {P}_j\) lying over \(\mathfrak {p}\) are isomorphic by elements of G and
for \(\tau \in G\), so there exists a conjugacy class C associated to \(\mathfrak {p}\) such that each \(\left[ \frac{L/K}{\mathfrak {P}_j}\right] \) lies in C. We define the Artin symbol \(\left[ \frac{L/K}{\mathfrak {p}}\right] \) to be the conjugacy class C.
We now define density. Let K be a number field, let Q(K) be some set of prime ideals of \(\mathcal{O}_K\), and let P(K) be the set of all prime ideals of \(\mathcal{O}_K\). The natural density of Q(K) is defined by
provided the limit exists.
For convenience, define
In other words, \(\pi _C(X,L/K)\) is the number of nonzero prime ideals \(\mathfrak {p}\) of \(\mathcal{O}_K\) which are unramified in L and for which \(\mathrm {Nm}(\mathfrak {p})\le X\) and \(\left[ \frac{L/K}{\mathfrak {p}}\right] =C\), where C is a conjugacy class of the Galois group \(G=\mathrm {Gal}(L/K)\).
We may now recall the Chebotarev Density Theorem [8]. Let L / K be a finite Galois extension of number fields, and let C be a conjugacy class of \(\mathrm {Gal}(L/K)\). Let
Then, as \(X\rightarrow \infty \), we have that
In other words, the natural density of \(P_C\) in \(\{\mathfrak {p}\in P(K):\mathfrak {p}\text { is unramified in }L\}\) exists and is equal to \(\frac{\#C}{\#\mathrm {Gal}(L/K)}\).
In particular, a more precise formulation of the Chebotarev Density Theorem from Lagarias and Odlyzko [5, Theorems 1.3 and 1.4] is:
Theorem
(Lagarias–Odlyzko [5]) For sufficiently large \(X\ge c_1\left( D_L,n_L\right) \), where the constant \(c_1\) depends on both the discriminant \(D_L\) and the degree \(n_L\) of L, we have
for constants \(c_2\) and \(c_3\).
Note that \({\mathrm {Li}}(X):=\int _2^Xdt/\log t\).
Remark
The constant \(c_1\) can be made explicit using Theorems 1.3 and 1.4 of [5].
The above theorem is useful in bounding error terms in the proofs of Theorems 1 and 2.
3 Proofs
The proofs of Theorems 1 and 2 closely follow the proofs of the corresponding theorems in [1]. Note that \(c_4,\dots ,c_{12}\) are positive constants which will not be specified in the following proofs.
Proof of Theorem 2
We first rewrite the desired sum in terms of the function \(\Psi (X,Y)\), for which we have asymptotic bounds.
Notice that this sum can be broken up into a sum over small primes and a sum over large primes, so that
Let
We now estimate \(S_1\) and show that it is much smaller than \(S_2\). This implies that \(S_1\) is not the main term in the asymptotic formula in Eq. (3), so we only need to obtain an upper bound. We see that
Let
Then we have that
If \(Y=X^{1/\beta }\) for some \(\beta \), then \(\beta =(\log X)^{1/3}\). Thus, by Eq. (4), we have that
We will now estimate \(S_2\), and it turns out that this will provide the main term in the asymptotic formula in Eq. (3). To obtain the main term, it will be convenient to define
which means that
Our goal now is to show that \(S_3\) is small compared to \(S_2\). By the definition of \(\Psi \left( \frac{X}{t},t\right) \), we replace it with a function counting elements of \(\mathcal {S}\left( \frac{X}{t},t\right) \) to obtain
Applying Lemma 3 and switching the order of summation in the first term, we then have that
by the definitions of \(\pi _C(X,K/\mathbb {Q})\) and \({\mathrm {Li}}(X)\). Here we apply the reformulation of the Chebotarev Density Theorem by Lagarias and Odlyzko to obtain
Since each summand satisfies
we have that
We have used the fact that an absolute value upper bound of the remainder term in the Chebotarev Density Theorem is an increasing function of X, so we have replaced the terms \(p_{\mathrm {max}}(n)\) and \(\mathrm {exp}\left\{ (\log X)^{2/3}\right\} \) by X / n. In order to get the main term of the asymptotic formula from \(S_2\), we must show that the integral
contributes a factor of X. Let [X] denote the integral part of X, and \(\{X\}\) the fractional part, so that \(X=[X]+\{X\}\). We observe that
which we again break up into small primes and large primes so that
Let
By similar estimates, we have that
and
where
Combining these estimates gives
Thus we obtain the desired asymptotic formula,
\(\square \)
As a consequence of Theorem 2, we have the following lemma.
Lemma 4
Assume the notation and hypotheses from Theorem 1. Then we have that
where k is a positive constant.
Proof of Lemma 4
Define the function f by
and set
Then \(\psi _f(X)\) counts the number of integers \(n\le X\) such that \(\left[ \frac{K/\mathbb {Q}}{p_{\mathrm {max}}(n)}\right] =C\), so by Theorem 2 we have that
where \(e_f(X)=O\left( X\,\mathrm {exp}\left\{ -k(\log X)^{1/3}\right\} \right) \). The function \(\psi _f(X)\) is a type of “stair-step function,” meaning it oscillates as (the integral part of) X increases depending on the values of \(p_{\mathrm {max}}(n)\) for \(n\le X\). Then we can rewrite
which by Theorem 2 is
where
Note that the number \(k_1\) exists by Theorem 2, and that Lemma 4 now follows because
where k is a positive constant. \(\square \)
Proof of Theorem 1
Let f be defined as in (8) above. By equation (6) from the duality theorem of Alladi, we have
To more easily obtain estimates, we delicately split the double sum into two double sums by introducing the variable \(m:=n/d\). For each such m, the allowed values of d with \(dm=n<X\) are exactly \(1\le d\le X/m\), so we have that
Now we change the order of summation in the second sum. We use the fact that \(m>\sqrt{X}\) and \(md=n\le X\) implies \(d<\sqrt{X}\) to obtain
We estimate the two sums separately, reverting back to the variable n instead of the new variable m. Let
We will show that \(S_6\) gives the main term of the desired asymptotic formula, and we will bound \(S_7\). By Lemma 4, we have that
We now apply well-known bounds for
which are consequences of the standard zero-free region for \(\zeta (s)\) (for example, see [2, Chapter 13]). Namely, we have that
and
Therefore, we have that
By Eq. (9), we also have that
Now we see that
and therefore we have that
Note that as \(X\rightarrow \infty \), the error term \(1/\mathrm {exp}\left\{ k(\log X)^{1/3}\right\} \rightarrow 0\). Thus we conclude that
References
Alladi, K.: Duality between prime factors and an application to the prime number theorem for arithmetic progressions. J. Number Theory 9(4), 436–451 (1977)
Davenport, H.: Multiplicative Number Theory. Graduate Texts in Mathematics. Springer, New York (1980)
de Bruijn, N.J.: On the number of integers \(\le x\) free of prime factors \(>y\). Indag. Math. 54, 50–60 (1951)
Hildebrand, A.: On the number of positive integers \({\le } x\) and free of prime factors \(> y\). J. Number Theory 22, 289–307 (1986)
Lagarias, J.C., Odlyzko, A.M.: Effective versions of the Chebotarev density theorem. In: Fröhlich, A. (ed.) Algebraic Number Fields, L-Functions and Galois Properties, pp. 409–464. Academic Press, London (1977)
Maier, H.:. On integers free of large prime divisors, unpublished
Norton, K.K.: Numbers with Small Prime Factors, and the Least \(k\)-th Power Nonresidue. American Mathematical Soc, Providence (1971)
Tschebotareff, N.: Die Bestimmung der Dichtigkeit einer Menge von Primzahlen, welche zu einer gegebenen Substitutionsklasse geh\(\ddot{\rm{o}}\)ren. Math. Ann. 95, 191–228 (1926)
Acknowledgements
The author would like to thank Krishnaswami Alladi for sharing his inspiring results and ideas, Ken Ono for his invaluable advice and guidance, and Jesse Thorner for his helpful comments. The author would also like to thank the reviewers for taking the time to give incredibly detailed comments; among other things, the reviewers suggested a clearer proof of Lemma 3 and a better explanation of Eq. (4). Madeline Locus Dawsey—This author was previously known as Madeline Locus.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Dawsey, M.L. A new formula for Chebotarev Densities. Res. number theory 3, 27 (2017). https://doi.org/10.1007/s40993-017-0093-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-017-0093-7