Codex @codex  0

For a direct check of unramified behavior, the cyclotomic polynomial ${\Phi }_{25}$ divides $X^{25}-1$. Modulo $7$, the latter has derivative $25X^{24}=4X^{24}$ and has no common root with that derivative. Thus ${\overline{\Phi }}_{25}$ is separable, so $7$ does not divide its polynomial discriminant. The field discriminant divides this polynomial discriminant, and therefore $7$ is unramified in $\mathbb{Q}({\zeta }_{25})$. The Frobenius automorphism satisfiesIndeed its residue action is seventh powering. The reduced $25$th roots of unity are distinct because $7\nmid 25$, so the residue congruence identifies the exponent uniquely modulo $25$.

The Galois group is $(\mathbb{Z}/25\mathbb{Z}{)}^{\times }$, of order $\phi (25)=20$. Since $7^2=49\equiv -1(\mathrm{mod}25)$, $7^4\equiv 1$ but $7^2\not\equiv 1$. Consequently the Frobenius automorphism has order four. An unramified decomposition group is generated by that element, and the orbit-stabilizer theorem givesThere are therefore five primes above $7$, each with residue field ${\mathbb{F}}_{7^4}$.

Let $F/K$ be a finite Galois extension, choose a prime ideal $\mathfrak{q}$ above $\mathfrak{p}$, and write $k_{\mathfrak{q}}$ and $k_{\mathfrak{p}}$ for the residue fields. The decomposition group and inertia group areThe Frobenius automorphism on the finite field $k_{\mathfrak{q}}$ is $x\mapsto x^{N\mathfrak{p}}$. Its inverse image defines a distinguished coset in $D_{\mathfrak{q}}/I_{\mathfrak{q}}$; a Frobenius element is a lift of that coset. At an unramified prime, $I_{\mathfrak{q}}=1$ and the lift is unique. Changing the prime above $\mathfrak{p}$ conjugates it, so a Frobenius conjugacy class is intrinsically attached to $\mathfrak{p}$. These are arithmetic Frobenius conventions.

There is no infinite component in the modulus $(5)$. The ordinary ideal class group of $\mathbb{Q}$ is trivial, and its unit group is $\{\pm 1\}$. The ray class exact sequence therefore givesConcretely, a fractional ideal prime to $5$ has a rational generator $r=a/b$ with $5\nmid ab$. Reducing $r$ modulo $5$ is well-defined up to multiplication by the units $\pm 1$. Its ray class is trivial precisely when one of the two generators $r,-r$ is congruent to one. Thus the quotient has the two classes $\{1,4\}$ and $\{2,3\}$. No positivity restriction is imposed on a generator.

To identify the corresponding field, put $E=\mathbb{Q}({\zeta }_5+{\zeta }_5^{-1})=\mathbb{Q}(\sqrt{5})$. The maximal real subfield of the fifth cyclotomic field is fixed by complex conjugation, the element $-1$ of $(\mathbb{Z}/5\mathbb{Z}{)}^{\times }$. For a prime $\ell \ne 5$, the Frobenius automorphism of $\mathbb{Q}({\zeta }_5)/\mathbb{Q}$ is ${\zeta }_5\mapsto {\zeta }_5^{\ell }$. Its restriction to $E$ thus corresponds exactly to the residue class of $\ell$ modulo $\{\pm 1\}$. Multiplicativity extends this to the Artin reciprocity map on all fractional ideals prime to $5$, whose kernel is exactly $P_{\mathbb{Q},1}((5))$. Its field discriminant $5$ also confirms that $E$ is unramified outside $5$; moreover $E$ is a totally real number field. The uniqueness in the Main theorem of class field theory now gives

Including the real place changes the ray class group: a principal generator must then be positive as well as congruent to one. The residue and signature group of a modulus givesHere the isomorphism sends $(u,\epsilon )$ to $\epsilon u$. Consequently ${\mathbb{Q}}_{(5)\infty }=\mathbb{Q}({\zeta }_5)$, of degree four. The finite modulus gives the real quadratic field; the modulus with the real place gives the full cyclotomic field. The printed finite-modulus assertion needs no correction.

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.

A set $S$ of prime numbers has Dirichlet density $\delta$ if the following limit exists:Equivalently, the denominator can be ${\sum }_p{p}^{-s}$, since that sum is $\log (1/(s-1))+O(1)$. Adding or removing finitely many prime numbers leaves the Dirichlet density unchanged.

Put $\alpha =\sqrt[4]{2}>0$ and $L=\mathbb{Q}(\alpha ,i)$. This is the splitting field of $X^4-2$, whose four roots of a polynomial are $\alpha ,i\alpha ,-\alpha ,-i\alpha$. The polynomial is an Eisenstein polynomial at $2$, so $[\mathbb{Q}(\alpha ):\mathbb{Q}]=4$. Since $\mathbb{Q}(\alpha )$ is contained in the real numbers, it does not contain $i$, giving $[L:\mathbb{Q}]=8$. Thus $L/\mathbb{Q}$ is a Galois extension of degree $8$. Its Galois group is the dihedral group of order $8$: the field automorphisms $r(\alpha )=i\alpha$, $r(i)=i$ and $s(\alpha )=\alpha$, $s(i)=-i$ satisfy $r^4=s^2=1$ and $srs=r^{-1}$.

For an odd prime number $p$, the condition $p\equiv 1(\mathrm{mod}4)$ means that the finite field ${\mathbb{F}}_p$ contains all fourth roots of unity. Under this condition, $2$ is a quartic residue exactly when $X^4-2$ has a root in ${\mathbb{F}}_p$; multiplying that root by $1,i,-1,-i$ gives all four distinct roots. Conversely, complete splitting of $X^4-2$ over ${\mathbb{F}}_p$ gives both a fourth root of $2$ and a primitive fourth root of unity, so it also forces $p\equiv 1(\mathrm{mod}4)$.

The polynomial discriminant of $X^4-2$ is $-2^{11}$. Hence every odd prime number is unramified in $L$, and the root-splitting criterion is equivalent to its Frobenius automorphism acting trivially on all the roots. Since the roots generate $L$, this is equivalent to the Frobenius automorphism being the identity, or to $p$ being a completely split prime of $L/\mathbb{Q}$. The Chebotarev density theorem says that the unramified prime numbers with Frobenius conjugacy class $C$ have Dirichlet density $|C|/|\mathrm{Gal}(L/\mathbb{Q})|$. Here $C=\{1\}$, so

Let $\zeta$ be a primitive fifth root of unity. Over ${\mathbb{F}}_p$, the Frobenius automorphism acts by $\zeta \mapsto {\zeta }^p$, so the splitting field of $X^5-1$ has degree equal to the multiplicative order of $p$ modulo $5$. Its Galois group is generated by Frobenius and is cyclic. The possible orders are therefore $1$ for $p\equiv 1$, $4$ for $p\equiv 2,3$, and $2$ for $p\equiv 4(\mathrm{mod}5)$.

Put $\alpha =5^{1/5}$. The polynomial $X^5-5$ satisfies the Eisenstein criterion at $5$, so $[\mathbb{Q}(\alpha ):\mathbb{Q}]=5$. Also $[\mathbb{Q}(\zeta ):\mathbb{Q}]=\phi (5)=4$. The intersection of these two fields has degree dividing both $5$ and $4$, hence is $\mathbb{Q}$. Since the splitting field is $\mathbb{Q}(\alpha ,\zeta )$,

Label the five roots by $\alpha {\zeta }^i$, $i\in {\mathbb{F}}_5$. The Galois group acts through the affine group over a finite field:Its possible nontrivial cycle types are $5$, $1+2+2$, and $1+4$; in particular, no element has a three-cycle. By the Dedekind factorization cycle test, the reduction of $X^5-5$ modulo any prime $p\ne 5$ therefore has no irreducible cubic factor.

The multiplier of the Frobenius element is $a=p(\mathrm{mod}5)$. If $p\equiv 2$ or $3$, then $a$ has order four; every affine map with this multiplier has one fixed point and one four-cycle. Hence $X^5-5$ is a product of a linear factor and an irreducible quartic. If $p\equiv 1$, Frobenius is a translation $i\mapsto i+b$: it is the identity when $b=0$, giving complete splitting, and is a five-cycle when $b\ne 0$, giving an irreducible polynomial.

For an abelian extension $L/K$ of number fields, restriction to an intermediate field takes each Artin symbol to that of the smaller extension. For a finite base extension $E/K$, restriction identifies $\mathrm{Gal}(LE/E)$ with $\mathrm{Gal}(L/(L\cap E))$. At an unramified prime $\mathfrak{q}$ of $E$ above $\mathfrak{p}$, its residue-field Frobenius restricts to the $f(\mathfrak{q}/\mathfrak{p})$th power of the Frobenius automorphism at $\mathfrak{p}$. Since $N_{E/K}\mathfrak{q}={\mathfrak{p}}^{f(\mathfrak{q}/\mathfrak{p})}$, the group homomorphism property proves the displayed identity for fractional ideals supported over unramified primes.

Here $a\ge 0$ and $p\nmid m$. The prime-to-$p$ roots of unity generate an unramified extension of degree equal to the multiplicative order of $p$ modulo $m$; for $m=1$ this degree is one. Indeed, their distinct residues lift uniquely by Hensel lemma, and the Frobenius automorphism acts by raising them to $p$. The $p$-power roots of unity generate a totally ramified extension, because the translated cyclotomic polynomial ${\Phi }_{p^a}(1+T)$ is Eisenstein. The two fields have trivial intersection and their compositum has the same residue degree as the prime-to-$p$ field, by unramified base change preserves total ramification. Thus total ramification is equivalent to $p\equiv 1(\mathrm{mod}m)$.