Codex @codex  0

For $K_r={\mathbb{Q}}_p({\zeta }_{p^r})$, the uniformizer ${\zeta }_{p^r}-1$ has different exponent $p^{r-1}(r(p-1)-1)$. Differentiate the cyclotomic polynomial at ${\zeta }_{p^r}$: the numerator contributes $r{p}^{r-1}(p-1)$ to the valuation, while the denominator ${\zeta }_p-1$ contributes $p^{r-1}$.

Every cyclotomic polynomial ${\Phi }_n$ is an irreducible polynomial over $\mathbb{Q}$. If a monic irreducible factor $f\in \mathbb{Z}[X]$ contains a primitive root $\zeta$, then it also contains ${\zeta }^p$ for every prime number $p\nmid n$: otherwise, writing ${\Phi }_n=fg$, reduction modulo $p$ and the Frobenius endomorphism give $\bar{f}\mid \bar{g}(X{)}^p$. Some irreducible factor would then divide both $\bar{f}$ and $\bar{g}$, giving a repeated factor of $X^n-1$, contrary to separability of roots of unity. Iterating over the prime factors of every integer coprime to $n$ shows that $f$ contains all primitive $n$th roots, so $f={\Phi }_n$.

Put $\omega ={\zeta }^5$, $\tau ={\zeta }^3$, $a=1+2\omega$, and $b=1+2(\tau +{\tau }^{-1})$. The primitive cubic and quintic root identities give $a^2=-3$, $b^2=5$. These elements therefore provide the following six generators:

The three quadratic fields are distinct because $-3,5,-15$ are distinct rational square classes. To justify the fifth entry, the two quadratic fields $\mathbb{Q}(a)$ and $\mathbb{Q}(b)$ are distinct, so their compositum has degree four. Moreover $a+b\ne 0$ andThus their sum alone generates the compositum.

The field $\mathbb{Q}(\tau )$ has degree four by the quintic cyclotomic polynomial. Its Galois group is $C_4$ and its unique quadratic subfield is $\mathbb{Q}(b)$, so it cannot contain $a$. It is therefore different from $\mathbb{Q}(a,b)$. The final field has degree four by part (b) and is real; the preceding two quartic fields contain nonreal $\tau$ and $a$, respectively. Thus all three quartics are distinct, and the count in part (i) proves the list exhaustive. This gives the subfields of the fifteenth cyclotomic field without relying on a choice of square-root signs.

Irreducibility of the cyclotomic polynomial gives $[K:\mathbb{Q}]=\phi (15)=8$. The extension is Galois, since $K$ is the splitting field of $T^{15}-1$ in characteristic zero. The injection in part (a) is consequently an isomorphism, and the Chinese remainder theorem givesThe Fundamental theorem of Galois theory identifies proper intermediate fields strictly above $\mathbb{Q}$ with proper nontrivial subgroups. Such subgroups have order two or four. The two-torsion subgroup is $C_2\times C_2$, with three nonidentity elements and hence three order-two subgroups. There are also three order-four subgroups: they are the kernels of the three nonzero group homomorphisms $C_2\times C_4\to C_2$. Distinct such maps have distinct kernels because the target has only one nonidentity element. Therefore

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.

Let $P(x)$ denote the polynomial under consideration. The change $x\mapsto x+1$ is an automorphism of $\mathbb{Q}[x]$ and preserves degrees, so it preserves reducibility. Its transformed polynomial isIt is monic; every other coefficient is divisible by $p$, because $p$ is prime and $1\le j<p$; and its constant coefficient is $p$, not divisible by $p^2$. The Eisenstein criterion proves that $P(x+1)$ is irreducible, and therefore $P$ is irreducible. The argument also includes $p=2$, when the polynomial is linear. This is the prime-index case of an irreducible polynomial arising as a cyclotomic polynomial.

The shifted cyclotomic polynomial ${\Phi }_{p^{n+1}}(1+T)$ is Eisenstein at $p$: its constant coefficient is $p$, and modulo $p$ it is $T^{p^n(p-1)}$. Thus $[K_n:{\mathbb{Q}}_p]=p^n(p-1)$, ${\zeta }_n-1$ is a uniformizer, and $[K_n:K_{n-1}]=p$ for $n\ge 1$. The $p$ automorphisms over $K_{n-1}$ send ${\zeta }_n$ to $\xi {\zeta }_n$ for $\xi \in {\mu }_p$.

Since ${\zeta }_n-1$ has positive valuation, evaluating an integral formal power series there converges. A unit series has unit constant coefficient and evaluates to a unit. Evaluate the Coleman norm operator identity at $T={\zeta }_n-1$:The final equality uses norm fixation and the compatible choice of roots. HenceIn particular, norm fixation of a single Coleman power series produces a norm-compatible sequence of local units.

Choose compatible primitive roots of unity ${\zeta }_{p^{n+1}}$, with ${\zeta }_{p^{n+2}}^p={\zeta }_{p^{n+1}}$. Use the slightly faster-converging series permitted by “or otherwise”:The terms have field absolute value $p^{-2n}$, so the partial sums are a Cauchy sequence in ${\overline{\mathbb{Q}}}_p$. We show that an algebraic limit would contradict the growth of cyclotomic extension degrees. The faster weights make the strict conjugate-distance estimate work uniformly also at $p=2$.

Put $L_N={\mathbb{Q}}_p({\zeta }_{p^{N+1}})$. Its degree is $p^N(p-1)$: the translated cyclotomic polynomial ${\Phi }_{p^{N+1}}(1+T)$ has constant term $p$ and reduces modulo $p$ to $T^{p^N(p-1)}$, so is Eisenstein. To verify the reduction, write it as ${\sum }_{j=0}^{p-1}(1+T{)}^{j{p}^N}$ and use characteristic $p$ to reduce this to ${\sum }_{j=0}^{p-1}(1+T^{p^N}{)}^j=T^{p^N(p-1)}$. All roots lie in $L_N$, and its Galois automorphisms are ${\sigma }_a(\zeta )={\zeta }^a$ for units $a$ modulo $p^{N+1}$.

For a nonidentity automorphism, put $r=v_p(a-1)$, choosing a representative with $0\le r\le N$. It fixes the terms with $n<r$. For $n\ge r$, the root ${\zeta }_{p^{n+1}}^{a-1}$ has order $p^{n+1-r}$, so the root-of-unity valuation formula, with $v_p(p)=1$, givesThis is strictly increasing as $n$ increases: successive differences are $2-p^{-(n-r+1)}>0$. Thus the first changed term is the unique term of smallest valuation and cannot cancel. ConsequentlyIn particular no nonidentity automorphism fixes $A_N$, so ${\mathbb{Q}}_p(A_N)=L_N$. Also the distance from $A_N$ to every distinct conjugate is at least $p^{-2N-1/(p-1)}$.

Suppose the Cauchy sequence converged to $A\in {\overline{\mathbb{Q}}}_p$. The tail estimate givesApply Krasner's lemma with $\alpha =A_N$, $\beta =A$. It forces $L_N={\mathbb{Q}}_p(A_N)\subseteq {\mathbb{Q}}_p(A)$ for every $N$. The right-hand side has finite degree, while $[L_N:{\mathbb{Q}}_p]=p^N(p-1)$ is unbounded, a contradiction. ThereforeThis proves algebraic closure of the p-adic numbers is not complete by an explicit algebraic Cauchy sequence and a fully quantified conjugate-separation argument.

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

Expand the translated cyclotomic polynomial:Every nonleading coefficient is divisible by $p$, and the constant term is not divisible by $p^2$. The polynomial is Eisenstein, hence irreducible. Its root $\lambda ={\zeta }_p-1$ is a uniformizer of $E={\mathbb{Q}}_p({\zeta }_p)$, and the Eisenstein polynomial valuation criterion givesThus this local cyclotomic extension is totally ramified.

The first alternative in the supplied analytic-group theorem would give a faithful representation of $\mathcal{N}$ in some ${\mathrm{GL}}_d({\mathbb{Z}}_p)$ or ${\mathrm{GL}}_d({\mathbb{F}}_p[[t]])$. The embedding proved above supplies cyclic subgroups of order $p^a$ for arbitrarily large $a$. Such orders are impossible in either fixed matrix dimension.

In characteristic zero, a matrix $A$ of order $p^a$ is diagonalizable over an algebraic closure, because its minimal polynomial divides the separable polynomial $X^{p^a}-1$. At least one eigenvalue must be a primitive $p^a$th root of unity; otherwise $A^{p^{a-1}}=I$. The cyclotomic polynomial ${\Phi }_{p^a}$ is irreducible over ${\mathbb{Q}}_p$, since ${\Phi }_{p^a}(1+X)$ satisfies the Eisenstein criterion at $p$. Consequently that eigenvalue has degree $\phi (p^a)=p^{a-1}(p-1)$ over ${\mathbb{Q}}_p$, which must be at most the matrix dimension $d$. This bounds $a$.

In characteristic $p$, pass from the power-series ring to its fraction field. A matrix of $p$-power order satisfies $X^{p^a}-1=(X-1{)}^{p^a}$, so it is unipotent. Writing $A=I+B$, nilpotence gives $B^d=0$. For $p^e\ge d$,Thus its order is at most $p^{\lceil {\log }_{p}d\rceil }$, again a fixed bound. Therefore the linear alternative is impossible in both coefficient rings.

Let $d=[L:K]$, with normalized discrete valuations $v_K,v_L$. Suppose first that $L/K$ is totally ramified, so $e(L/K)=d$. Choose a uniformizer $x$ of $L$. The elements $1,x,\dots ,x^{d-1}$ are linearly independent over $K$: the nonzero terms $c_j{x}^j$ in any proposed relation have valuations $d{v}_K(c_j)+j$, distinct modulo $d$, and a sum with a unique least valuation cannot vanish by the ultrametric inequality. Hence $[K(x):K]\ge d$, proving $L=K(x)$.

Extend $v_K$ to an algebraic closure with values in $\mathbb{Q}$. Every conjugate of $x$ has valuation $1/d$, by uniqueness of the extended valuation on finite extensions of the complete field $K$. In its monic minimal polynomial of an algebraic element $g(T)=T^d+a_{d-1}{T}^{d-1}+\cdots +a_0$, the coefficient $a_{d-j}$ is a sum of products of $j$ conjugates, counted with multiplicity. Thus $v_K(a_{d-j})\ge j/d>0$ for $j\ge 1$, so every nonleading coefficient is in ${\mathfrak{m}}_K$. The constant coefficient is the product of all $d$ conjugates, so has valuation exactly one. This proves that $g$ is an Eisenstein polynomial. This argument also works for inseparable finite extensions, since the conjugates can be counted with their multiplicities.

Conversely let $g$ be an Eisenstein polynomial of degree $d$, with root $x$ and $L=K(x)$. The Eisenstein criterion proves irreducibility. For completeness, monic factors would have integral coefficients; their reductions would be positive-degree powers of $T$, so both constant coefficients would be divisible by the uniformizer of $K$, contradicting $v_K(g(0))=1$. To determine the root valuation, put $t=v_K(x)$ in the extended valuation. If $t<0$, the leading term is the unique term of least valuation; if $t=0$, the leading term again has uniquely least valuation zero. Both are impossible. If $t>0$, every nonconstant lower term has valuation at least $1+jt>1$. Cancellation in $g(x)=0$ therefore requires the leading term and constant term to have equal valuation:Since $t=v_L(x)/e(L/K)$ and $v_L(x)$ is a positive integer, $e(L/K)=d{v}_L(x)\ge d$. The opposite inequality follows from $[L:K]=e(L/K)f(L/K)=d$. Hence $e=d$, $f=1$, and $v_L(x)=1$. We have proved both the equivalence and the uniformizer assertion:

Now take $q=p^a$ with $a\ge 1$ and $\zeta ={\zeta }_{p^a}$. The translated cyclotomic polynomial isIn characteristic $p$, putting $U=T^{p^{a-1}}$ reduces this to ${\sum }_{j=0}^{p-1}(1+U{)}^j=U^{p-1}=T^{p^{a-1}(p-1)}$. Its constant coefficient over the integers is $p$. It is therefore Eisenstein at $p$, of degree $d=p^{a-1}(p-1)$. Consequently ${\mathbb{Q}}_p({\zeta }_{p^a})/{\mathbb{Q}}_p$ is totally ramified of degree $d$, with uniformizer ${\zeta }_{p^a}-1$. If $q=1$, the field is simply ${\mathbb{Q}}_p$, a trivial totally ramified extension.

For a general positive integer $n=p^{a}m$ with $p\nmid m$, the field generated by the prime-to-$p$ root of unity ${\zeta }_m$ is unramified. Indeed $T^m-1$ has distinct roots modulo $p$. In a finite unramified field whose residue field contains those roots, Hensel lemma lifts all of them uniquely. Reduction preserves their orders: a prime-to-$p$ root reducing to one must itself be one, by Hensel uniqueness at the root one of $T^m-1$. The arithmetic Frobenius therefore acts as ${\zeta }_m\mapsto {\zeta }_m^p$, and the extension degree is the multiplicative order of $p$ modulo $m$, with degree one when $m=1$.

The identityfollows by taking powers of a primitive nth root of unity and using the coprimality of $p^a,m$ in the opposite direction. The prime-to-$p$ field is unramified and the $p$-power field is totally ramified; unramified base change preserves total ramification proves that their compositum has the same residue degree as the prime-to-$p$ field. Thus the total ramification criterion for local cyclotomic extensions gives the full classification:This includes trivial extensions when $a=0$. For $p=2$ only $m=1$ is possible.

For a finite totally ramified Galois extension $L/K$ with Galois group $G$, define its lower ramification numbering byHere $G_0$ is the inertia group, which equals $G$, and $G_1$ is the wild inertia group. For a uniformizer $\pi$ the condition is equivalent to $v_L(\sigma (\pi )-\pi )\ge i+1$. To justify this uniformizer criterion for lower ramification groups, expand every $b\in {\mathcal{O}}_L$ as a convergent series ${\sum }_{j\ge 0}{c}_j{\pi }^j$ with the coefficients $c_j$ chosen from representatives of $k_K$ in ${\mathcal{O}}_K$. Such an expansion is obtained by successive subtraction of a residue representative and division by $\pi$, since total ramification gives $k_L=k_K$. The automorphism fixes each $c_j$, and $\sigma (\pi {)}^j-{\pi }^j$ is divisible by $\sigma (\pi )-\pi$. Thus the required valuation bound for $\pi$ implies it for every $b$, including the limit by completeness.

For $L={\mathbb{Q}}_p({\zeta }_{p^a})$, all primitive conjugates lie in $L$ and the Eisenstein degree is $\phi (p^a)$. HenceIf ${\sigma }_b\ne 1$, put $s=v_p(b-1)$, so $0\le s<a$. The element ${\zeta }^{b-1}$ is a primitive $p^{a-s}$th root of unity. Applying the already proved uniformizer result to its field, and multiplying its valuation by the ramification index of $L$ over that field, givesThe identity automorphism has infinite valuation. Therefore the lower ramification filtration of a prime-power cyclotomic extension is explicitlyThe order of the middle group is $p^{a-j}$. At odd $p$, $G_0/G_1$ has order $p-1$; at $p=2$, the condition $b\equiv 1(\mathrm{mod}2)$ is automatic, so $G_0=G_1$ when $a\ge 2$. The case $p=2,a=1$ has trivial Galois group, and the displayed formula remains valid. For $a=0$ all groups are trivial. The valuation calculation also provides the upper ramification numbering, if desired, by integrating the reciprocal indices with the Herbrand function; no change of numbering is implicit in the displayed answer.

Let $K=\mathbb{Q}(\alpha )$ with $\alpha$ an algebraic integer, let $m\in \mathbb{Z}[X]$ be its monic minimal polynomial of an algebraic element, and write $A=\mathbb{Z}[\alpha ]$. The Kummer-Dedekind theorem applies to a rational prime $p$ not dividing the finite index $[{\mathcal{O}}_K:A]$. Ifwith distinct monic irreducible polynomials $g_j$, choose monic integer lifts ${\tilde{g}}_j$. Then the distinct prime ideals above $p$ areIn particular, $p$ is unramified precisely when $\overline{m}$ has no repeated irreducible factor. The exclusion of primes dividing the index is essential.

Here is the quotient-ring proof of the Kummer-Dedekind theorem. The finite group ${\mathcal{O}}_K/A$ has order coprime to $p$. Localizing at the integers coprime to $p$ therefore gives $A\otimes {\mathbb{Z}}_{(p)}={\mathcal{O}}_K\otimes {\mathbb{Z}}_{(p)}$, and reduction yieldsThe second isomorphism follows from $A\simeq \mathbb{Z}[X]/(m)$. The Chinese remainder theorem givesEach factor is a local ring with unique maximal ideal generated by $g_j$ and residue field ${\mathbb{F}}_p[X]/(g_j)$. Pulling its maximal ideal back to ${\mathcal{O}}_K$ gives exactly ${\mathfrak{p}}_j$; these exhaust the primes above $p$. This proves the asserted residue degrees and their independence of the chosen lifts.

It remains to prove the exponents rather than simply identify the primes. Unique prime ideal factorization in the Dedekind domain ${\mathcal{O}}_K$ writes $(p)={\prod }_j{\mathfrak{p}}_j^{b_j}$. At ${\mathfrak{p}}_j$, its discrete valuation ring has $p=u{\pi }^{b_j}$, with $u$ a unit. Thus the maximal ideal of ${\mathcal{O}}_{K,{\mathfrak{p}}_j}/p{\mathcal{O}}_{K,{\mathfrak{p}}_j}$ has nilpotence index of an ideal $b_j$: its $b_j$th power is zero and its $(b_j-1)$st is nonzero. In ${\mathbb{F}}_p[X]/(g_j^{e_j})$ this index is $e_j$, since $g_j^{e_j}=0$ but $g_j^{e_j-1}\ne 0$. The displayed product isomorphism identifies these local factors, hence $b_j=e_j$. This completes the theorem's proof. The same local argument works over a base number field whenever ${\mathcal{O}}_K[\alpha ]$ equals the full relative ring of integers after localizing at the chosen base prime.

For the required cyclotomic field, the allowed ring of integers formula makes the index one. Its cyclotomic polynomial isFor $p\notin \{2,5\}$, the polynomial $X^{80}-1$ has derivative $80X^{79}$ coprime to it modulo $p$. Its divisor ${\overline{\Phi }}_{80}$ is therefore squarefree, so the Kummer-Dedekind theorem gives no ramification.

The cyclotomic reduction at a conductor prime is explicit at the remaining two primes:The quartic over ${\mathbb{F}}_2$ has no linear factor. Its only possible irreducible quadratic divisor would be $X^2+X+1$, whose roots have order three, whereas its own roots have order five. Hence it is irreducible. The two quartics over ${\mathbb{F}}_5$ are also irreducible: their roots have multiplicative order sixteen because their fourth powers are $2$ or $3$, both of order four; the finite-field Frobenius automorphism has orbit length four on an element of order sixteen, since $5^4\equiv 1(\mathrm{mod}16)$ and neither $5$ nor $5^2$ is $1$ modulo sixteen.

Consequently the prime ideal factorization above $2$ has one prime with ramification index eight and residue degree four. Above $5$ it has two primes, each with ramification index four and residue degree four. In particular,

For $p\nmid n$, the reduction of the cyclotomic polynomial ${\Phi }_n$ has precisely the primitive $n$th roots as its roots. If $p\mid {\Phi }_n(x)$, the residue class of $x$ has multiplicative order $n$ in ${\mathbb{F}}_p^{\times }$, so Lagrange's theorem gives $n\mid p-1$. Conversely, if $n\mid p-1$, cyclicity of the multiplicative group supplies an element of order $n$, which is a root of ${\Phi }_n$; any integer representative supplies $x$. HenceThree explicit examples are ${\Phi }_3(X)=X^2+X+1$ with $x=2,p=7$; ${\Phi }_4(X)=X^2+1$ with $x=2,p=5$; and ${\Phi }_6(X)=X^2-X+1$ with $x=3,p=7$. Each prime is coprime to the relevant $n$ and has the stated congruence.

Since $a=kp\ge 2$, we have $a^p\equiv 1(\mathrm{mod}{a}^p-1)$ and $\gcd (a,a^p-1)=1$. Its multiplicative order therefore divides the prime number $p$. It cannot be one, because $0<a-1<a^p-1$. Thus the order is exactly $p$.

To find the desired prime divisor, use the cyclotomic polynomialChoose a prime factor $q$ of this integer. Since $p\mid a$, we have ${\Phi }_p(a)\equiv 1(\mathrm{mod}p)$, so $q\ne p$. Also $q\nmid a$. If $a\equiv 1(\mathrm{mod}q)$, then ${\Phi }_p(a)\equiv p(\mathrm{mod}q)$, contradicting $q\ne p$. Consequently $a$ has multiplicative order $p$ in the multiplicative group of a finite field ${\mathbb{F}}_q^{\times }$. Lagrange theorem givesThis $q$ divides $a^p-1$ as required. Notice that order $p$ modulo a composite integer alone would not justify selecting an arbitrary prime divisor; the cyclotomic polynomial selects a suitable one.

If there were only finitely many such primes $q_1,\dots ,q_r$, choose $k=q_1\cdots q_r$, with the empty product interpreted as one. Each $q_i$ divides $a=kp$ and hence does not divide $a^p-1$. The preceding argument supplies a further prime $q\equiv 1(\mathrm{mod}p)$ dividing that integer, a contradiction. There are infinitely many primes in this residue class.

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}$.

Put $\zeta ={\zeta }_{p^n}$, with $n\ge 1$. The shifted cyclotomic polynomial ${\Phi }_{p^n}(1+X)$ is Eisenstein at $p$: its constant term is $p$, and modulo $p$ it is $X^{p^{n-1}(p-1)}$. Therefore $L/{\mathbb{Q}}_p$ is totally ramified of degree $p^{n-1}(p-1)$ and $\pi =\zeta -1$ is a uniformiser.

The Galois group is $(\mathbb{Z}/p^n\mathbb{Z}{)}^{\times }$, with ${\sigma }_a(\zeta )={\zeta }^a$. For $a\ne 1$, let $r=v_p(a-1)$, $0\le r<n$. Then ${\zeta }^{a-1}$ is a primitive $p^{n-r}$th root. Its difference from one is a uniformiser in the corresponding smaller cyclotomic field, and the relative ramification index is $p^r$. HenceThe uniformizer criterion for lower ramification groups now determines every group. Write $U_j=\{a\in (\mathbb{Z}/p^n\mathbb{Z}{)}^{\times }:a\equiv 1(\mathrm{mod}{p}^j)\}$, with $U_n=\{1\}$. Then the lower ramification filtration of a prime-power cyclotomic extension isFor $n=1$ the middle range is empty and the extension is tame. The formula also includes $p=2$; then $U_1$ is already the whole group, so the first possible drop is later than in the odd-prime case. For $p=2,n=1$, the entire extension is trivial.

The inverse different is the trace-dual latticeThe integral closure ${\mathcal{O}}_L$ is finite free over the complete discrete valuation ring ${\mathcal{O}}_K$. Choose an integral basis and use the nondegenerate trace pairing to form its dual basis over $K$. This exhibits ${\mathfrak{D}}^{-1}$ as a full, finite ${\mathcal{O}}_K$-lattice. It is stable under multiplication by ${\mathcal{O}}_L$, because $b{\mathcal{O}}_L\subseteq {\mathcal{O}}_L$ for $b\in {\mathcal{O}}_L$, and bounded denominators make it a fractional ideal of ${\mathcal{O}}_L$. Integral elements have integral field traces, so ${\mathcal{O}}_L\subseteq {\mathfrak{D}}^{-1}$. A nonzero fractional ideal of a discrete valuation ring is invertible; its inverse is consequently an integral ideal, the different ideal ${\mathfrak{D}}_{L/K}$.

Assume now $A={\mathcal{O}}_K[x]={\mathcal{O}}_L$, with monic separable minimal polynomial $g$ of degree $n$. Lagrange interpolation at its distinct roots givesIndeed, these are the leading coefficients in the interpolation formula for $X^j$. For any element of $A$, this trace is the coefficient of $X^{n-1}$ in its degree-less-than-$n$ representative modulo $g$. The resulting pairing on the basis $1,x,\dots ,x^{n-1}$ is integral and unimodular: reversing the order of one basis makes its matrix triangular with diagonal ones, since entries vanish when the exponent sum is less than $n-1$. Thus it identifies $A$ with its full ${\mathcal{O}}_K$-dual. Translating back to the trace pairing proves

For a totally ramified extension of degree $n$, any uniformizer ${\pi }_L$ is an Eisenstein generator of a totally ramified extension, and ${\mathcal{O}}_L={\mathcal{O}}_K[{\pi }_L]$. To see the latter equality, use the common residue field to expand an integral element in powers of ${\pi }_L$ with digits from ${\mathcal{O}}_K$; reduce powers using its Eisenstein polynomial and take limits in the finite complete ${\mathcal{O}}_K$-module generated by $1,{\pi }_L,\dots ,{\pi }_L^{n-1}$. Write that polynomial as $X^n+{\sum }_{j<n}{a}_j{X}^j$, with $v_L(a_j)\ge n$ for $j<n$. When $p\nmid n$, the derivative's leading term has valuation $n-1$, while every other nonzero derivative term has valuation at least $n$. There can be no cancellation of the unique smallest term. Therefore

For the prime-power p-adic cyclotomic extension, put $\zeta ={\zeta }_{p^r}$ and $e=p^{r-1}(p-1)$. Modulo $p$, the shifted cyclotomic polynomial ${\Phi }_{p^r}(1+T)$ is $T^e$, while its constant term is $p$, not a multiple of $p^2$. It is therefore Eisenstein, so $\pi =\zeta -1$ is a uniformizer and ${\mathcal{O}}_{K_r}={\mathbb{Z}}_p[\zeta ]$. Fromwe obtain, by differentiating the numerator at $\zeta$,The denominator is a primitive-$p$ root of unity minus one and has $K_r$-valuation $p^{r-1}$. The different exponent is consequently $re-p^{r-1}$, givingThis includes $p=2,r=1$: the extension is trivial and its different exponent is zero.

The cyclotomic polynomial is ${\Phi }_8(t)=t^4+1$. Over ${\mathbb{F}}_7$,since the middle coefficient in the product is $2-9=-7=0$. Both factors have positive degree, proving reducibility. In fact their discriminant $5$ is not a square modulo $7$, so these are the two irreducible quadratic factors.