Codex @codex  0

For odd $n$, multiplication by two permutes the residues modulo $n$. Its orbit through $i$ is the binary cyclotomic coset modulo an odd integer. If $\alpha$ has order $n$ in a finite field whose field characteristic is two, the Frobenius automorphism sends ${\alpha }^i$ to ${\alpha }^{2i}$. Hence the minimal polynomial of an algebraic element ${\alpha }^i$ over ${\mathbb{F}}_2$ is ${\prod }_{j\in C_i}(X-{\alpha }^j)$. Its coefficients are fixed by Frobenius and lie in ${\mathbb{F}}_2$, and its degree is the orbit size. Thus a binary cyclic code containing one defining zero of a cyclic code must contain the full orbit as zeros.

For the cyclotomic field $\mathbb{Q}({\zeta }_n)$, arithmetic Frobenius automorphisms at primes $\ell \nmid n$ send ${\zeta }_n$ to ${\zeta }_n^{\ell }$: reduction distinguishes the nth roots of unity, and Frobenius raises residues to their $\ell$th powers. Multiplicativity therefore sends a fractional ideal with positive rational generator $a$, prime to $n$, to the exponent $a\mathrm{mod}n$. Its kernel consists exactly of positive generators congruent to one modulo $n$. This proves Artin reciprocity for the ray class group of modulus $n\infty$ without assuming the general reciprocity theorem.

Let $E$ be a finite normal closure of the number field $K$. The permutation representation of its Galois group on the embeddings of $K$ into $E$ has one trivial constituent, because the action is transitive. At a prime, the inertia group invariant basis consists of sums over inertia orbits of embeddings; Frobenius automorphism permutes them in cycles of lengths equal to the residue degrees of the primes of $K$. A cycle of length $f$ contributes $\det (1-T\rho (\mathrm{Frob}))=1-T^f$. Hence the local factors equal those of the Dedekind zeta function, including at ramified primes. If nontrivial irreducible Artin L-functions are holomorphic and nonzero at one, this factorization and the simple pole of the Riemann zeta function show that ${\zeta }_K$ has a simple pole there.

In a finite Galois extension $L/K$, choose a prime ideal $\mathfrak{P}$ above an unramified $\mathfrak{p}$. The Frobenius automorphism at $\mathfrak{P}$ is characterized on its residue field by $x\mapsto x^{N\mathfrak{p}}$. Changing $\mathfrak{P}$ conjugates this element, so its conjugacy class is well-defined. It is the identity class exactly at a completely split prime.

Let a monic integer polynomial have distinct roots in its splitting field. Outside the finitely many primes dividing its polynomial discriminant or ramifying in that field, its roots reduce to distinct residue roots. The Frobenius automorphism permutes them by $a\mapsto a^p$; a reduced root belongs to ${\mathbb{F}}_p$ exactly when it is fixed. Distinctness of reduction identifies this with a fixed root of the Galois permutation itself. Combining this observation with a derangement in a transitive group action and the Chebotarev density theorem proves that an irreducible polynomial of degree at least two has rootless reduction at a positive Dirichlet density of primes. The degree bound is essential: every monic linear integer polynomial has a root modulo every prime.

Only the inertia group invariants enter an Artin L-function local factor. A Frobenius automorphism lift acts unambiguously on this subspace, since other lifts differ by inertia. For an unramified one-dimensional group representation, the factor is $(1-\chi ({\mathrm{Frob}}_{\mathfrak{p}})(N\mathfrak{p}{)}^{-s}{)}^{-1}$; for a ramified one-dimensional group representation, the invariant subspace is zero and the factor is one. This explains the zero values used at conductor primes by quadratic Dirichlet characters.

For a number field $k$, its ordinary Hilbert class field $H_k$ is the maximal finite abelian extension unramified at every finite prime and with every real place splitting completely. The Artin reciprocity map inducesThe image of an unramified prime ideal is its Frobenius automorphism. Thus a prime splits completely in $H_k$ precisely when its ideal class is trivial. This field packages ideal-class obstructions into splitting behavior. Ideals become principal in $H_k$ by the principal ideal theorem. Specifying the real-place convention matters for real fields: omitting it leads instead to the narrow class-field problem. Both illustrative fields below are imaginary quadratic, so there are no real places to discuss.

First consider $k=\mathbb{Q}(\sqrt{-23})$, whose quadratic discriminant is $-23$. The correspondence between ideal classes and reduced primitive positive definite binary quadratic forms lets us compute its class number without guessing a class field. A reduced form $(a,b,c)$ obeys $|b|\le a\le c$, $b^2-4ac=-23$, and $a\le \sqrt{23/3}<3$; a boundary case uses $b\ge 0$. For $a=1$ the only class is $(1,1,6)$; for $a=2$ the two possibilities are $(2,1,3)$ and $(2,-1,3)$. Hence $h_k=3$ and its ideal class group is cyclic of order three.

Take $g(X)=X^3-X-1$. Its only possible rational roots are $\pm 1$, neither a root, so it is irreducible. Its polynomial discriminant is $4-27=-23$, which is nonsquare. Thus its splitting field $H$ has Galois group $S_3$ and the quadratic fixed field of $A_3$ is $k$, generated by the square root of its discriminant. Therefore $H/k$ is cyclic of degree three and $H=k(\theta )$ for a root $\theta$ of $g$.

At a prime other than $23$, the separable residue polynomial splits over a finite residue-field extension; Hensel's lemma puts all its roots in an unramified local extension. At $23$ there is the exact factorizationThe simple factor lifts by Hensel's lemma. The remaining quadratic factor has discriminant valuation one, because the cubic discriminant is $-23$ and the resultant with the simple factor is a unit. Its local splitting field is ramified quadratic, with inertia group of order two. Its intersection with $A_3$ is trivial, so the relative extension $H/k$ is unramified at $23$ as well. There are no real places. An unramified abelian extension of degree $h_k=3$ must be all of $H_k$, givingThis is the Hilbert class field of Q of square root minus twenty-three.

The other alternative, $k=\mathbb{Q}(\sqrt{-30})$, has quadratic discriminant $-120$. Reduced forms have $a\le \sqrt{40}<7$ and even $b$. Testing $1\le a\le 6$, $|b|\le a$, and $c=(b^2+120)/(4a)\ge a$ gives exactlyThus $h_k=4$. Each class is its own inverse, because replacing $b$ by $-b$ leaves these representatives unchanged; consequently the ideal class group is $C_2\times C_2$.

Set $H=\mathbb{Q}(\sqrt{2},\sqrt{-3},\sqrt{5})$. The square classes $2,-3,5$ are independent, so $[H:\mathbb{Q}]=8$. Their product gives $\sqrt{-30}$, and $H/k$ is abelian of degree four. Its seven quadratic subfields have discriminantsFor a multiquadratic abelian extension, the conductor-discriminant formula takes the product of these quadratic character conductors, namely the absolute quadratic discriminants. Hence $|d_H|=120^4$. The relative discriminant tower formula givesThe integral relative discriminant ideal therefore has norm one and is the unit ideal. Thus $H/k$ is everywhere unramified, and its degree equals the class number. This proves the other explicit answer:It agrees with the Hilbert class field of Q of square root minus thirty. Both alternatives have been computed independently from their class numbers and ramification.

Let ${\zeta }_n$ be a primitive nth root of unity. The cyclotomic polynomial isInduction on $n$ shows that ${\Phi }_n$ is monic with integer coefficients. Here is the essential irreducibility of cyclotomic polynomials argument. Let $f$ be the minimal polynomial of ${\zeta }_n$ and let $\ell \nmid n$ be a prime. If ${\zeta }_n^{\ell }$ had a different monic irreducible polynomial $g$, then $f\mid g(X^{\ell })$. Reducing modulo $\ell$ gives $\bar{f}\mid {\bar{g}}^{\ell }$, so $\bar{f}$ and $\bar{g}$ have a common factor. As $fg\mid {\Phi }_n$, this would give a repeated factor of $X^n-1$ modulo $\ell$, impossible because its derivative is $n{X}^{n-1}$. Thus ${\zeta }_n^{\ell }$ is conjugate to ${\zeta }_n$. Every positive integer prime to $n$ is a product of such primes, so all primitive nth roots of unity are conjugate. ConsequentlyIn particular the cyclotomic field is an abelian extension. Complex conjugation corresponds to $-1$; for $n>2$ its fixed field is $\mathbb{Q}({\zeta }_n+{\zeta }_n^{-1})$, the maximal real subfield, of degree $\phi (n)/2$.

The ring of integers is $\mathbb{Z}[{\zeta }_n]$. One way to see that there is no missing index is to work at each prime $p$. Write $n=p^{a}m$ with $p\nmid m$. The prime-to-$p$ roots of unity have separable reduction; their local factors generate unramified extensions with full integer rings. Over each such factor, adjoining ${\zeta }_{p^a}$ is generated by the Eisenstein polynomial ${\Phi }_{p^a}(1+T)$, with uniformizer ${\zeta }_{p^a}-1$, and hence gives the full integer ring of that totally ramified factor. The coprimality of $p^a$ and $m$ means that ${\zeta }_n$ generates both sets of roots of unity. Thus ${\mathbb{Z}}_p[{\zeta }_n]$ is maximal at every $p$, proving the integral assertion.

The same local description computes ramification and splitting. For $p\nmid n$, the ramification index is one, the residue degree is the multiplicative order of $p$ modulo $n$, and there are $\phi (n)/f$ primes above $p$. If $p\mid n$, put $m=n/p^a$; thenwhere ${\mathrm{ord}}_1(p)=1$. Indeed, the prime-to-$p$ part is unramified, and the $p$-power part is totally ramified by the preceding Eisenstein polynomial. Notice the exception $p=2,a=1$: its ramification index is one, consistently with $\mathbb{Q}({\zeta }_{2m})=\mathbb{Q}({\zeta }_m)$ for odd $m$. Thus finite ramification occurs only at the indicated conductor primes, with that exception.

We now prove cyclotomic Artin reciprocity over the rational numbers, using arithmetic Frobenius automorphisms. If $\ell \nmid n$ and $\mathfrak{L}$ lies over $\ell$, then Frobenius sends the reduction of ${\zeta }_n$ to its $\ell$th power. Distinct nth roots of unity remain distinct modulo $\mathfrak{L}$, since $X^n-1$ has separable reduction. Hence the Artin symbol is exactlyExtend multiplicatively to the group $I(n)$ of rational fractional ideals prime to $n$. Such an ideal has a unique positive rational generator $q$ whose numerator and denominator are prime to $n$. The formula isEvery unit residue modulo $n$ has a positive integer representative prime to $n$, so this Artin map is surjective. Its kernel is precisely the subgroup $P_{n\infty }$ generated by positive $q\equiv 1(\mathrm{mod}n)$. ThereforeThis proves the Artin reciprocity law for this extension, including its principal-ray kernel. The infinite component of the modulus records positivity and therefore the possible action of complex conjugation.

Write $\mathcal{O}$ for the valuation ring of $K$, $\pi$ for a uniformizer, $v(\pi )=1$, and $k={\mathbb{F}}_q$ for the residue field. A useful strong form of Hensel lemma is the following: if $f\in \mathcal{O}[X]$ and $a_0\in \mathcal{O}$ satisfythen there is a root $a\in \mathcal{O}$ with $v(a-a_0)>v(f^{\prime }(a_0))$, unique among roots in that ball. If $f(a_0)\ne 0$, its distance satisfies $v(a-a_0)=v(f(a_0))-v(f^{\prime }(a_0))$.

Here is a proof by successive correction. Put $s=v(f^{\prime }(a_0))$, $d_j=v(f(a_j))$, andStop if a root has already been reached. Otherwise the correction has valuation $d_j-s>s$. Integral Taylor expansions show that $v(f^{\prime }(a_{j+1}))=s$ andThus $d_j-2s$ grows at least geometrically, the corrections tend to zero, and completeness gives a limit $a$ with $f(a)=0$. The first correction has strictly smaller valuation than every later nonzero correction, proving the asserted distance. If $x,y$ are in the ball $v(x-a_0),v(y-a_0)>s$, thenThe second factor cannot vanish. Two roots in the ball must therefore coincide. This proves Hensel lemma; in particular a simple root modulo $\pi$ has a unique lift with that residue.

We use this to establish existence and uniqueness of unramified local extensions. For each integer $d\ge 1$, choose a monic irreducible polynomial $\bar{f}\in k[X]$ of degree $d$ and lift it to a monic $f\in \mathcal{O}[X]$. Reduction and Gauss lemma show that $f$ remains irreducible over $K$. LetThe ring $A$ is finite free and complete over $\mathcal{O}$, and $A/\pi A\cong {\mathbb{F}}_{q^d}$. An element outside $\pi A$ is invertible: lift an inverse from the residue field and invert the remaining $1+\pi z$ by a convergent geometric series. Every nonzero element of $A$ is ${\pi }^t$ times such a unit, since ${\bigcap }_t{\pi }^{t}A=0$ in a finite free module. Thus $A$ is a discrete valuation ring, its fraction field is $L$, andThis constructs an unramified extension of each degree.

Conversely, let $M/K$ be an unramified extension of degree $d$. Its residue field is the unique degree-$d$ finite field extension ${\mathbb{F}}_{q^d}/{\mathbb{F}}_q$. Choose a residue root of $\bar{f}$ in it. The root is simple, so Hensel lemma lifts it to a root of $f$ in $M$. This embeds $L$ into $M$, and equality of degrees makes it an isomorphism. All $d$ residue conjugates lift in $L$ itself; hence $L/K$ is Galois, and reduction identifies its Galois group with the cyclic Galois group of the residue field extension. Its distinguished Frobenius automorphism reduces to $x\mapsto x^q$.

There is exactly one unramified extension $K_d$ of each degree inside a fixed algebraic closure, andFor the middle equality, every nonzero element of ${\mathbb{F}}_{q^d}$ lifts uniquely to a $(q^d-1)$st root of unity, because that exponent is prime to $p$. A primitive such residue generates the finite field extension, so its lift generates $K_d$. Taking the union gives the maximal unramified extension, with Galois group $\hat{\mathbb{Z}}$.

Use arithmetic Frobenius automorphisms: residues are raised to the size of the base residue field. Let $S$ contain the finite primes ramified in the finite abelian extension $L/K$. The Artin map is the group homomorphismwhere $I_K^S$ is the group of fractional ideals supported outside $S$. The Artin symbol ${\mathrm{Frob}}_{\mathfrak{p}}$ is independent of the prime above $\mathfrak{p}$, since the extension is abelian. Commutativity makes the displayed extension from prime ideals well defined. Defining this map does not yet assert the Artin reciprocity law, which describes its congruence group kernel.

For an intermediate field $K\subseteq E\subseteq L$, restriction givesTo prove it, start with an unramified prime $\mathfrak{p}$ and a prime of $L$ above it. Its Frobenius automorphism acts on the residue of every integral element of $E$ by raising it to $N\mathfrak{p}$. Its restriction is therefore the Frobenius automorphism for $E/K$ at the restricted prime. The identity for all allowed fractional ideals follows by the group homomorphism property. On Galois groups, restriction is the quotient by $\mathrm{Gal}(L/E)$, so passing to a subextension quotients the Artin map accordingly.

Now let $E/K$ be any finite extension and put $M=LE$. This is the translated extension: $M/E$ is abelian, and restriction identifies $\mathrm{Gal}(M/E)$ with $\mathrm{Gal}(L/(L\cap E))$. A prime $\mathfrak{q}$ of $E$ above a prime $\mathfrak{p}\notin S$ is unramified in $M/E$, because forming a compositum with $E$ preserves an unramified extension. Put $r=f(\mathfrak{q}/\mathfrak{p})$. The residue-field sizes satisfy $N\mathfrak{q}=(N\mathfrak{p}{)}^r$. Consequently the restriction to $L$ of Frobenius at $\mathfrak{q}$ acts on its integral residues by raising them to $(N\mathfrak{p}{)}^r$, givingBut the ideal norm is $N_{E/K}\mathfrak{q}={\mathfrak{p}}^r$. Multiplying this prime-by-prime identity provesThis is restriction and norm compatibility of the Artin map. The fractional ideal $\mathfrak{a}$ must be supported over primes unramified in $L/K$. No assumption that $E/K$ itself is unramified or Galois is needed. With geometric rather than arithmetic Frobenius, both maps are inverted and the compatibility identities remain unchanged.

Let $L/K$ be a finite Galois extension of number fields, with Galois group $G$, and let $\mathfrak{p}$ be a nonzero prime ideal of ${\mathcal{O}}_K$. Write its prime ideal factorization asThe Galois group acts transitively on the primes above $\mathfrak{p}$. One proof uses the Chinese remainder theorem. If $\mathfrak{Q}$ were outside the orbit of $\mathfrak{P}$, choose an integral element $a$ which is zero modulo $\mathfrak{Q}$ and one modulo every conjugate of $\mathfrak{P}$. Its field norm ${\prod }_{\sigma \in G}\sigma (a)$ belongs to $\mathfrak{Q}\cap {\mathcal{O}}_K=\mathfrak{p}$, hence to $\mathfrak{P}$. But each factor is one modulo $\mathfrak{P}$, a contradiction. Transitivity also makes all $e_j$ equal to a common ramification index $e$ and all $f_j$ equal to a common residue degree $f$.

Fix $\mathfrak{P}$ above $\mathfrak{p}$. Its decomposition group is the stabilizerThe orbit-stabilizer theorem gives $|D_{\mathfrak{P}}|=|G|/g$. Elements of $D_{\mathfrak{P}}$ act on the residue field $\kappa (\mathfrak{P})$ over $\kappa (\mathfrak{p})$; the group kernel is the inertia groupThus inertia measures the automorphisms invisible after reduction, whereas decomposition measures all automorphisms preserving the chosen prime.

The completion $L_{\mathfrak{P}}/K_{\mathfrak{p}}$ is a Galois extension with group $D_{\mathfrak{P}}$: preservation of $\mathfrak{P}$ lets an automorphism extend continuously to the completion, and the local embeddings of this normal extension arise in this way. The degree of a field extension formula is $[L_{\mathfrak{P}}:K_{\mathfrak{p}}]=ef$. Reduction gives the exact sequenceFor surjectivity, lift a primitive residue-field generator by the Hensel lemma to obtain the maximal unramified subextension of a local field extension of $L_{\mathfrak{P}}/K_{\mathfrak{p}}$. Its automorphisms are the residue-field automorphisms. They extend to $L_{\mathfrak{P}}$ because the latter is normal. Since a finite residue field extension has a cyclic Galois group of order $f$, the exact sequence yieldsThe fixed field of local inertia is the maximal unramified subextension of a local field extension, and the extension above it is totally ramified. Primes in the same global orbit have conjugate decomposition groups and inertia groups, so the orders do not depend on the chosen prime.

If $e=1$, inertia is trivial and $D_{\mathfrak{P}}$ is generated by the unique Frobenius automorphism acting on residues by $z\mapsto z^{N\mathfrak{p}}$. Its order is $f$. In a ramified extension this residue action determines only a coset modulo inertia. A prime splits completely exactly when $e=f=1$, equivalently its decomposition group is trivial. A totally ramified prime has $g=f=1$ and $I_{\mathfrak{P}}=D_{\mathfrak{P}}=G$; an unramified prime has $I_{\mathfrak{P}}=1$. In an abelian extension, conjugation does nothing, so the associated groups and unramified Artin symbol are independent of the prime above $\mathfrak{p}$.

For odd $p$, eighth roots of unity have order prime to the residue characteristic. The total ramification criterion for local cyclotomic extensions shows that they generate an unramified extension of degree $f={\mathrm{ord}}_8(p)$. More directly, a primitive eighth root in ${\mathbb{F}}_{p^f}$ lifts uniquely by Hensel lemma, since the derivative of $T^8-1$ is a unit at each nonzero root. Its residue has exact order eight, and the Frobenius automorphism acts by ${\zeta }_8\mapsto {\zeta }_8^p$. Consequently $f=1$ when $p\equiv 1(\mathrm{mod}8)$ and $f=2$ for the other three odd residue classes.

At $p=2$, the translated cyclotomic polynomial isIt is Eisenstein at two, so the extension has degree four. All primitive eighth roots are odd powers of ${\zeta }_8$ and already lie in the field; the extension is Galois, and its automorphisms give the full group $(\mathbb{Z}/8\mathbb{Z}{)}^{\times }\cong C_2\times C_2$. Thus

Realize the two-dimensional irreducible representation $\rho$ as the standard representation of the symmetric group onwith $S_3$ permuting coordinates. It is the complement of the trivial summand in the three-point permutation representation. For each prime the local factor of an Artin L-function iswhere $I_p$ is the inertia group and Frobenius means any lift of the residue-field Frobenius automorphism. On $V^{I_p}$ the lift is independent of that choice. At an unramified prime, put $t=p^{-s}$. The Local Artin factors of the standard representation of S3 areThe polynomial discriminant of $X^3-3$ is $-243=-3^5$, so only $3$ can ramify in its splitting field. For $p\ne 3$, the squarefree factorization of $X^3-3$ modulo $p$ determines the Frobenius cycle type on its roots.

At $p=2$,The quadratic is irreducible, so Frobenius is a transposition andThus $a_2=0$, $a_4=1$ and $a_8=0$. At $p=5$,The quadratic discriminant is $3(\mathrm{mod}5)$, a nonsquare, so this is again a transposition. Consequently $L_5(\rho ,s)=(1-5^{-2s}{)}^{-1}$ and $a_5=0$.

At $p=7$, the possible cubes are $0,1,-1$, so $X^3-3$ has no root modulo $7$. Being cubic, it is irreducible; Frobenius is a three-cycle. Thereforeand $a_7=-1$.

The ramified factor at $3$ must be computed on inertia group invariants. Write $\alpha =3^{1/3}$ and set $\pi =({\zeta }_3-1)/\alpha$. Using $({\zeta }_3-1{)}^2=-3{\zeta }_3$ givesThe Eisenstein polynomial $X^6+3$ over ${\mathbb{Q}}_3$ has degree six, so ${\mathbb{Q}}_3(\pi )$ is a totally ramified degree-six subfield of ${\mathbb{Q}}_3({\zeta }_3,\alpha )$. The latter has degree at most $[F:\mathbb{Q}]=6$, so the fields agree. This Eisenstein sextic presentation of the splitting field of X3 minus 3 over Q3 shows $D_3=I_3=S_3$. Since the only permutation-invariant vectors in ${\mathbb{C}}^3$ have all coordinates equal, their intersection with $V$ is zero. ThusIn particular $a_3=a_9=0$; an unramified degree-two factor at $3$ would give the wrong coefficients.

Finally the Euler product makes its Dirichlet series coefficients multiplicative for coprime indices. Its constant coefficient is $a_1=1$, and $a_6=a_2{a}_3=0$, $a_{10}=a_2{a}_5=0$. Every integer up to ten is now covered, giving

A finite field ${\mathbb{F}}_q$ contains a primitive tenth root exactly when $10\mid (q-1)$. Its multiplicative group is cyclic: the exponent of a finite abelian subgroup of a field is attained by an element, by combining its prime-power components; since every element is a root of $X^e-1$, the polynomial root bound forces the group order to be at most that exponent, hence equal to it. A cyclic group contains an element of order ten exactly when ten divides its order.

Over ${\mathbb{F}}_q$, the conjugates of $\xi$ are its Frobenius automorphism orbit $\xi ,{\xi }^q,{\xi }^{q^2},\dots$. The extension degree is the least $d>0$ with $q^d\equiv 1(\mathrm{mod}10)$. For $q=3$ this order is four, for $q=11$ it is one, and for $q=19$ it is two. Therefore

Let $L/K$ be a finite Galois extension of non-Archimedean local fields, with Galois group $G$, normalized valuation $v_L$, integer ring ${\mathcal{O}}_L$, and residue characteristic $p$. The lower ramification numbering isThese higher ramification groups measure successively finer agreement with the identity. The group $G_0$ is the inertia group, the kernel of the action on the residue field. Each $G_i$ is normal in $G$: conjugation permutes integral elements and preserves their valuations. The groups eventually become trivial, since each nonidentity automorphism moves some integral element and its displacement has finite valuation.

Let $K_0=L^{G_0}$, the maximal unramified subextension of a local field extension. Then $G/G_0$ is the Galois group of the residue extension, cyclic and generated by a Frobenius automorphism. For a uniformizer $\pi$ of $L$, the uniformizer criterion for lower ramification groups givesTo see why one uniformizer suffices, the extension $L/K_0$ is totally ramified and its integer ring is ${\mathcal{O}}_{K_0}[\pi ]$. Elements of $G_0$ fix its coefficients. Differences of powers of $\pi$ are divisible by $\sigma \pi -\pi$, so the valuation bound for $\pi$ implies it for every integral element. The converse follows by testing $\pi$ itself.

The tame inertia quotient is seen explicitly fromIt is a homomorphism because inertia acts trivially on the residue field, and its kernel is $G_1$. Thus $G_0/G_1$ is cyclic of order not divisible by $p$. For $i\ge 1$, the homomorphismhas kernel $G_{i+1}$. Indeed composing two automorphisms adds the leading displacements, since $\sigma \pi /\pi \equiv 1$ and inertia fixes residue coefficients. Hence each $G_i/G_{i+1}$ is an elementary abelian p-group. Eventual triviality makes $G_1$ a p-group; the prime-to-p quotient makes it the unique Sylow subgroup of $G_0$. This is the wild inertia group. Tame ramification means $G_1=1$.

The filtration also measures the different exponent. For the totally ramified extension over $K_0$, the minimal polynomial of an algebraic element $g$ of $\pi$ has polynomial roots $\sigma \pi$, $\sigma \in G_0$. The derivative formula givesFor a fixed $\sigma$, its displacement valuation is the number of indices $i\ge 0$ for which it belongs to $G_i$. Interchanging the finite sums therefore gives different exponent from ramification groups:The unramified part contributes zero. More generally different in a tower follows by taking products of bases of a module dual for the trace pairing, and givesThus a tame extension has different exponent $e-1$, while nontrivial wild groups contribute additional positive terms.

The lower numbering restricts to subgroups: if $H=\mathrm{Gal}(L/E)$, its groups are $H_i=H\cap G_i$, directly from the definition using the same top-field valuation. Quotients need a different indexing. For real $s\ge 0$ put $G_s=G_{\lceil s\rceil }$ and define the Herbrand functionThis upper ramification numbering stretches or compresses intervals according to the inertia indices. The quotient theorem says that for a normal subgroup $H$, upper ramification groups commute with quotients:In particular the same upper index has a meaning compatible with passing to a smaller Galois extension, which lower indices generally lack.

For a tame totally ramified extension the picture is simple: $G_0=G$, all $G_i$ with $i\ge 1$ are trivial, and the different exponent is $|G|-1$. The extension ${\mathbb{Q}}_p({\zeta }_p)$ for odd $p$ illustrates this, giving exponent $p-2$.

A mixed-characteristic wild family is the lower ramification filtration of a prime-power cyclotomic extension. Take $L={\mathbb{Q}}_p({\zeta }_{p^r})$ with odd $p$ and $\pi ={\zeta }_{p^r}-1$. If ${\sigma }_a(\zeta )={\zeta }^a$ and $a\ne 1$ modulo $p^r$, thenThe last equality follows because ${\zeta }^{a-1}$ has order $p^{r-v_p(a-1)}$ and its uniformizer valuation scales by the ramification index in that cyclotomic tower. The lower breaks are $0,p-1,p^2-1,\dots ,p^{r-1}-1$. Integrating the successive indices $(p-1),p(p-1),\dots$ gives upper breaks $0,1,\dots ,r-1$.

In equal characteristic there is an equally explicit wild example. Start with $K={\mathbb{F}}_q((t))$ and an Artin–Schreier extensionThere is no polynomial root in $K$: a negative-valuation element has $v(x^p-x)=pv(x)$, while the right side has valuation $-m$. Adjoining a polynomial root splits the polynomial, whose polynomial roots are $y+c$ for $c\in {\mathbb{F}}_p$, so the extension is cyclic of degree $p$. The valuation equation forces total ramification, $v_L(t)=p$ and $v_L(y)=-m$. Choose $1\le b\le p-1$ with $-bm\equiv 1(\mathrm{mod}p)$ and set $a=(1+bm)/p$. Then $\pi =t^a{y}^b$ is a uniformizer. For a nonidentity automorphism $y\mapsto y+c$,the first binomial coefficient $b$ is nonzero modulo $p$, and all subsequent terms have strictly higher valuation. ThereforeThis is the ramification break of an Artin–Schreier pole. It shows concretely that wild breaks, unlike tame inertia, can occur arbitrarily far out in the filtration.

The three quadratic subfields are $\mathbb{Q}(\sqrt{-2})$, $\mathbb{Q}(\sqrt{-3})$ and $\mathbb{Q}(\sqrt{6})$, with respective fundamental discriminants $-8,-3,24$. Their associated quadratic Dirichlet characters are the Kronecker symbolsThe regular representation of $C_2\times C_2$ is the direct sum of the trivial character and these three nontrivial characters. At an unramified prime the character is the sign by which Frobenius automorphism acts on the square root defining its quadratic subfield; at a ramified prime the linear character has no inertia group invariants. The local factor of an Artin L-function consequently givesThe zero values of a quadratic Dirichlet character at conductor primes mean that its local factor is one, not that the whole Artin L-function vanishes there.

Only the rational primes $2,3,5,7$ can contribute to coefficients with index at most ten. Their character values areFor the odd unramified primes these entries follow by checking squares: modulo five, both $-8$ and $-3$ are the nonsquare $2$, while $24$ is the square $4$; modulo seven they are respectively $6,4,3$. At $3$, $-8\equiv 1$ is a square. At $2$, the $-3$ character is $-1$ because the integral quadratic generator has polynomial $X^2+X+1$, irreducible modulo two. The other entries at $2$ and $3$ are zero exactly where the corresponding fundamental discriminant is divisible by that prime. This verifies every local factor, including the ramified ones.

The Euler product makes $a_n$ a multiplicative arithmetic function. Expanding the first two factors givesTherefore $a_2=0$, $a_4=1$, $a_8=0$, $a_3=2$ and $a_9=3$. Both factors for $5$ and $7$ have zero coefficient of $T$, so $a_5=a_7=0$. Multiplicativity gives $a_6=a_2{a}_3=0$ and $a_{10}=a_2{a}_5=0$, while $a_1=1$. The answer isAs an arithmetic check, the regular representation Artin L-function is the Dedekind zeta function of $F$. The local factors say there is one prime of norm four above two and two primes of norm three above three. Their powers give respectively one ideal of norm four and three ideals of norm nine, matching the nonzero coefficients above.

We use the Dirichlet density form of the Chebotarev density theorem, the version directly proved by the permitted information at $s=1$. If $L/K$ is a finite Galois extension of number fields with group $G$ and $C$ is a conjugacy class, let $S_C$ be the unramified prime ideals of $K$ whose Frobenius conjugacy class is $C$. ThenThe same conclusion holds for a union of conjugacy classes, replacing $|C|$ by the size of that union. The denominator may equivalently be the sum over all primes of $K$. Here and below $s>1$ is real. This specifies the density being proved; an unweighted prime-counting asymptotic is a stronger formulation and is not being inferred merely from a limit at one.

First establish the necessary pole for a general base field. The Dedekind zeta function as a permutation Artin L-function gives it using exactly the allowed assumptions. Take a finite normal closure $E$ of $K/\mathbb{Q}$, and let $W$ be the permutation representation on ${\mathrm{Hom}}_{\mathbb{Q}}(K,E)$. Its trivial constituent has multiplicity one: an invariant function on the transitive set of embeddings is constant. At a rational prime, a basis of $W^I$ consists of the sums over inertia orbits of embeddings. Frobenius automorphism permutes these orbit sums. Within the decomposition-group orbit belonging to a prime $\mathfrak{p}$ of $K$, the resulting cycle has length $f_{\mathfrak{p}}$, because the residue embeddings are permuted cyclically by finite-field Frobenius. A cycle of length $f$ has determinant $\det (1-T\rho (\mathrm{Frob}))=1-T^f$. Consequently the local factor of an Artin L-function givesincluding at ramified primes. Decomposing $W=1\oplus {⨁}_{\psi \ne 1}{m}_{\psi }\psi$ givesAll factors after $\zeta$ are holomorphic and nonzero at one by the allowed hypothesis. Thus ${\zeta }_K$ has a simple pole there andThis argument also explains why the trivial relative Artin L-function is ${\zeta }_K$, rather than always the Riemann zeta function.

Now let $\chi$ be an irreducible character of $G$, of degree $d_{\chi }$. At an unramified prime the Euler product has local factor $\det (1-{\rho }_{\chi }(g_{\mathfrak{p}})(N\mathfrak{p}{)}^{-s}{)}^{-1}$, where $g_{\mathfrak{p}}$ is a Frobenius representative. The eigenvalues of ${\rho }_{\chi }(g)$ are roots of unity, since $g$ has finite order. Expanding the logarithm for $s>1$ therefore giveswhere the finitely many ramified local factors contribute a function bounded as $s\downarrow 1$. They are nonzero and finite near one because their eigenvalues have modulus one while $(N\mathfrak{p}{)}^{-1}<1$.

The terms $m\ge 2$ are uniformly bounded. Indeed $|\chi (g)|\le d_{\chi }$, and for $N\mathfrak{p}\ge 2$ and $s\ge 1$,There are at most $[K:\mathbb{Q}]$ primes of $K$ above each rational prime and each has norm at least that prime. Hence ${\sum }_{\mathfrak{p}}(N\mathfrak{p}{)}^{-2}<\infty$. Isolating $m=1$ proves the character prime sums in the Chebotarev proof identityFor nontrivial $\chi$, the allowed holomorphy and nonvanishing at one give a local holomorphic logarithm and a bounded right side. The logarithm specified by the Euler series differs from that local branch by a constant multiple of $2\pi i$ on the real interval near one, so it too is bounded. For the trivial character, the right side is $\log (1/(s-1))+O(1)$ by the pole of ${\zeta }_K$. Thus