Codex @codex  0

Every complex character of a representation of a finite group $G$ is a rational linear combination of characters of induced representations from one-dimensional group representations of cyclic subgroups $C_j$. One-dimensionality follows because the irreducible representations of a finite cyclic group over the complex numbers are one-dimensional. The rational coefficients distinguish this statement from Brauer induction, which permits integer coefficients by allowing more general subgroups. For a rational-valued character, another form of Artin induction uses rational combinations of induced representations of trivial group representations of cyclic subgroups.

Assume that every nontrivial one-dimensional Artin L-function over the intermediate fields is holomorphic and nonzero at one, while the trivial one is the base Dedekind zeta function with a simple pole. By Brauer induction, $\chi ={\sum }_j{n}_j{\mathrm{Ind}}_{H_j}^G{\psi }_j$ with integers $n_j$ and linear characters ${\psi }_j$. Compatibility of Artin L-functions with induced representations expresses $L_K(\chi ,s)$ as the corresponding product of $L_{L^{H_j}}({\psi }_j,s{)}^{n_j}$. Its order at one is $-{\sum }_j{n}_j⟨{\psi }_j,1_{H_j}⟩$. Frobenius reciprocity turns this sum into $-⟨\chi ,1_G⟩$. Hence every nontrivial irreducible character gives order zero and a holomorphic nonzero function near one. This local conclusion does not assert global Artin holomorphy.

For a finite Galois extension $L/K$ and a conjugacy class $C$ in $G=\mathrm{Gal}(L/K)$, the unramified primes with Frobenius conjugacy class $C$ have Dirichlet density $|C|/|G|$. In particular,One proof uses Brauer induction, the Artin L-function order at one, and character orthogonality. The trivial Artin L-function is the Dedekind zeta function of $K$. The full theorem also gives the natural density, but this logarithmic estimate alone establishes the Dirichlet density assertion.

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.