 Solution

We prove the Dirichlet density form of the Chebotarev density theorem. Let $L/K$ be a finite Galois extension with Galois group $G$, let $C$ be a conjugacy class in $G$, and let $S_C$ consist of the unramified prime ideals of $K$ whose Frobenius conjugacy class is $C$. The assertion isThe same result holds for any union of conjugacy classes, by addition. The following proof uses exactly the allowed one-dimensional Artin L-function behavior at $1$ and the permitted induction and Euler-product properties.

First determine the order of vanishing at $1$ for an arbitrary character of a representation $\chi$ of $G$. The Brauer induction theorem supplies subgroups $H_j\le G$, linear characters ${\psi }_j$ of $H_j$, and integers $n_j$, possibly negative, such thatPut $K_j=L^{H_j}$. Compatibility of Artin L-functions with induced representations and direct sums gives, initially for $\mathrm{Re}s>1$,Each ${\psi }_j$ is a one-dimensional Galois representation for $L/K_j$, so the stated analytic assumptions apply to every factor. A trivial ${\psi }_j$ contributes a simple pole; a nontrivial ${\psi }_j$ is holomorphic and nonzero at one. Thus the product is meromorphic near one andThe character inner product is $⟨\alpha ,\beta {⟩}_G=|G{|}^{-1}{\sum }_{g\in G}\alpha (g)\overline{\beta (g)}$. Applying Frobenius reciprocity to each induced term givesIn particular, a nontrivial irreducible character has order zero, so its Artin L-function is holomorphic and nonzero near one. For the trivial character, $L_K(1_G,s)={\zeta }_K(s)$, the Dedekind zeta function of the base field $K$, and its pole is simple. This argument establishes the behavior needed at one, not holomorphy everywhere for arbitrary Artin L-functions.

Next convert that order calculation into a prime sum. For an irreducible character $\chi$, choose a unitary representation of dimension $d_{\chi }$ affording it, and choose a Frobenius automorphism $g_{\mathfrak{p}}$ at each unramified prime. The logarithm specified by the absolutely convergent Euler product gives, for real $s>1$,Only finitely many ramified primes occur. Their Euler-factor logarithms $R_{\chi }(s)$ stay bounded near one, since the relevant eigenvalues have modulus one and $(N\mathfrak{p}{)}^{-1}<1$. Also $|\chi (g)|\le d_{\chi }$, so the contribution with $m\ge 2$ is uniformly bounded for $s\ge 1$ byConvergence follows, for example, from the convergent ideal series defining ${\zeta }_K(2)$. ThereforeWriting $a_{\chi }=⟨\chi ,1_G{⟩}_G$, the order computation means $L_K(\chi ,s)=(s-1{)}^{-a_{\chi }}{U}_{\chi }(s)$, where $U_{\chi }$ is holomorphic and nonzero near one. Choose its local logarithm. Along the real interval approaching one, this and the Euler-product logarithm differ only by a fixed multiple of $2\pi i$. ConsequentlyOnly the trivial irreducible character has $a_{\chi }=1$; all the others have $a_{\chi }=0$.

Finally, character orthogonality makes the irreducible characters an orthonormal basis of class functions. For $c\in C$, the coefficient of $\chi$ in the class indicator is $⟨1_C,\chi {⟩}_G=(|C|/|G|)\overline{\chi (c)}$. HenceSum this identity over the unramified primes with weight $(N\mathfrak{p}{)}^{-s}$. The finite character sum and the boxed estimates giveDividing by $\log (1/(s-1))$ proves the asserted Dirichlet density. The same Euler-product calculation with ${\zeta }_K$ gives ${\sum }_{\mathfrak{p}}(N\mathfrak{p}{)}^{-s}=\log (1/(s-1))+O(1)$, so using all primes as the denominator is equivalent. Finitely many ramified primes do not affect either limit. No prime-counting asymptotic or natural-density Tauberian step is required by this proof.