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 subset of G = Gal(L/K) is a conjugacy class, then we establish that the Chebotarev density is the following limit of partial sums of ideals of K: -lim(X -> 8) Sigma(2 <= N(I)<= X I is an element of S(L/K; C)) mu(K) (I)/N(I) = vertical bar C vertical bar/vertical bar G vertical bar, where mu(K) (I) denotes the generalized Mobius function and S(L/K; C) is the set of ideals I. OK such that I has a unique prime divisor p of minimal norm and the Artin symbol [L/K/p] 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.