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

Eisenstein's criterion. Let $f(X)=a_n{X}^n+\cdots +a_0\in \mathbb{Z}[X]$ be a nonconstant primitive polynomial. If a prime number $p$ satisfies $p\nmid a_n$, $p\mid a_j$ for $0\le j<n$, and $p^2\nmid a_0$, then $f$ is an irreducible polynomial over $\mathbb{Q}$.

To prove the Eisenstein criterion, suppose a nontrivial factorization exists over $\mathbb{Q}$. Gauss lemma for polynomials gives $f=gh$ with $g,h\in \mathbb{Z}[X]$ of positive degree. Their leading coefficients are not divisible by $p$, because their product is $a_n$. Reduction modulo $p$ therefore preserves both degrees, andSince the only irreducible factor of the right side is $X$, both reduced factors are nonzero monomials of positive degree. Their constant coefficients are consequently divisible by $p$. This would make $p^2\mid g(0)h(0)=a_0$, a contradiction.

For the requested polynomial, shift the variable by one. The binomial theorem givesIt is monic, all coefficients below the leading one are divisible by $p$, and the constant coefficient is $p$, not divisible by $p^2$. The Eisenstein criterion proves irreducibility of this shifted polynomial. The substitution $X\mapsto X+1$ is an automorphism of $\mathbb{Q}[X]$, with inverse $X\mapsto X-1$, so it preserves nontrivial factorizations. HenceThis is the cyclotomic polynomial for a prime index.

A cyclotomic field over $\mathbb{Q}$ is a field $\mathbb{Q}({\zeta }_m)$ generated by an $m$th root of unity of exact order $m$. It contains all roots of $X^m-1$, and is its splitting field. In characteristic zero this polynomial is separable, so the extension is Galois.

Every automorphism sends ${\zeta }_m$ to ${\zeta }_m^a$ with $a\in (\mathbb{Z}/m\mathbb{Z}{)}^{\times }$, and is determined by that image. Composition multiplies the exponents modulo $m$, yielding an injective homomorphism into an abelian group. Thus the Galois group is abelian. Using irreducibility of the cyclotomic polynomial, every unit exponent occurs andIf “cyclotomic” is used more broadly for a subfield of such a field, it is still Galois and abelian, because every subgroup of an abelian Galois group is normal.