Formulas for Chebotarev densities of Galois extensions of number fields

We generalize the Chebotarev density formulas of Dawsey (Res Number Theory 3:27, 2017) and Alladi (J Number Theory 9:436–451, 1977) to the setting of arbitrary finite Galois extensions of number fields L / K. In particular, if C⊂G=Gal(L/K)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C \subset G = {{\mathrm{Gal}}}(L/K)$$\end{document} is a conjugacy class, then we establish that the Chebotarev density is the following limit of partial sums of ideals of K: -limX→∞∑2≤N(I)≤XI∈S(L/K;C)μK(I)N(I)=|C||G|,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} -\lim _{X\rightarrow \infty } \sum _{\begin{array}{c} 2\le N(I)\le X \\ I \in S(L/K; C) \end{array}} \frac{\mu _K(I)}{N(I)} = \frac{|C|}{|G|}, \end{aligned}$$\end{document}where μK(I)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _K(I)$$\end{document} denotes the generalized Möbius function and S(L / K; C) is the set of ideals I⊂OK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I\subset \mathcal {O}_K$$\end{document} such that I has a unique prime divisor p\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {p}$$\end{document} of minimal norm and the Artin symbol L/Kp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left[ \frac{L/K}{\mathfrak {p}}\right] $$\end{document} is C. To obtain this formula, we generalize several results from classical analytic number theory, as well as Alladi’s concept of duality for minimal and maximal prime divisors, to the setting of ideals in number fields.