Formulas for Chebotarev densities of Galois extensions of number fields (Q2316317): Difference between revisions

For a finite Galois extension of number fields \(L/K\), with Galois group \(G_{L/K}\), and an unramified prime \(\mathfrak{p}\) of the ring \(\mathbb{Z}_{K}\) of the integers of \(K\), set \[ \left[ \frac{L/K}{\mathfrak{p}}\right] :=\left\{ \left[ \frac{L/K}{\mathfrak{B}}\right] \mid \mathfrak{B}\subset \mathbb{Z}_{L}\text{ is a prime ideal above }\mathfrak{p}\right\} , \] where \(\left[ \frac{L/K}{\mathfrak{B}}\right] \in G_{L/K}\) is the Artin symbol for the Frobenius map: \(\alpha \longmapsto \alpha^{N(\mathfrak{p})} \operatorname{mod}\mathfrak{B}\), \(\forall \alpha \in L\), and \(N(\mathfrak{p})\) is the norm of \(\mathfrak{p}\). Then, \(\left[ \frac{L/K}{\mathfrak{p}}\right] \) is a conjugacy class of \(G_{L/K}\), and according to [\textit{K. Alladi}, J. Number Theory 9, 436--451 (1977; Zbl 0359.10036); \textit{M. L. Dawsey}, Res. Number Theory 3, Paper No. 27, 13 p. (2017; Zbl 1432.11168)], if \(K=\mathbb{Q}\) and \(C\) is a conjugacy class in \(G_{L/\mathbb{Q}}\), then \[ \lim_{X\rightarrow \infty}\sum_{\substack{ 2\leq n\leq X \\ \left[ \frac{L/\mathbb{Q}}{p_{\min}(n)}\right] =C}}\frac{\mu (n)}{n}=-\frac{\operatorname{card}C}{\operatorname{card}G_{L/\mathbb{Q}}}, \tag{1} \] where \(\mu \) and \(p_{\min}(n)\) denote, respectively, the Möbius function and the smallest prime divisor of the natural number \(n\). In the paper under review, the authors extend (1) to any finite Galois extension \(L/K\). Mainly, they show that for any conjugacy class \(C\subset G_{L/K}\), \[ \lim_{X\rightarrow \infty}\sum_{\substack{ 2\leq N(I)\leq X \\ I\in S(L/K;C)}}\frac{\mu_{K}(I)}{N(I)}=-\frac{\operatorname{card}C}{\operatorname{card}G_{L/K}}, \tag{2} \] where \(S(L/K;C)\) is the set of ideals \(I\subset \mathbb{Z}_{K}\) such that \(I\) has a unique prime divisor \(\mathfrak{p}\) of minimal norm and \(\left[ \frac{L/K}{\mathfrak{p}}\right] =C\), \(N(I)\) is the norm of \(I\), and \(\mu_{K}\) is the (generalized) Möbius function for ideals \(I\) of \(\mathbb{Z}_{K}\) (\(\mu_{K}(\mathbb{Z}_{K})=1\), \(\mu_{K}(I)=0\) if \(I\) is contained in a square of a prime ideal, and \(\mu_{K}(I)=(-1)^{k}\) when \(I\) is a product of \(k\) distinct primes). The formula (2) is obtained by extending Alladi's concept of duality for minimal and maximal prime divisors, as well as some related results, to the setting of ideals in number fields.