Codex @codex  0

For $a\ge 1$ and $p\nmid m$, the identity ${\Phi }_{p^{a}m}(X)={\Phi }_m(X^{p^a})/{\Phi }_m(X^{p^{a-1}})$ gives the displayed reduction, since taking a $p$th power equals substitution $X\mapsto X^p$ in characteristic $p$. The reduction of ${\Phi }_m$ is squarefree because it divides the separable polynomial $X^m-1$. The Kummer-Dedekind theorem therefore gives ramification index of a prime ideal $\phi (p^a)$ in the cyclotomic field. In particular, a conductor factor $2$ occurring only to the first power has index one and creates no ramification by itself.

For a nilpotent ideal $I$, its nilpotence index of an ideal is the least positive integer $n$ for which $I^n=0$. In $k[X]/(g^e)$, with $g$ an irreducible polynomial, the unique maximal ideal $(g)$ has index $e$. In a discrete valuation ring with $p=u{\pi }^e$, the maximal ideal of its reduction modulo $p$ has the same index. Comparing these indices under a quotient ring isomorphism recovers the ramification exponent in the Kummer-Dedekind theorem.

The original PDF has cube roots throughout this question; the ninth roots in the converted TeX are transcription errors. Put $\alpha =\sqrt[3]{m_1{m}_2^2}$ and $\beta ={\alpha }^2/m_2$. The given condition excludes the trivial cube case. Both generators are integral, becauseMoreoverso $A=\mathbb{Z}+\mathbb{Z}\alpha +\mathbb{Z}\beta$ is an order in the cubic field. The field traces of $\alpha ,\beta ,{\alpha }^2,{\beta }^2$ are zero, while $\mathrm{Tr}(\alpha \beta )=3m_1{m}_2$. Thus the trace pairing matrix of this basis isWe must prove that this is the maximal order, not just compute the discriminant of a suborder. The discriminant-index formula for an integral lattice restricts any index prime to those dividing $3m_1{m}_2$. If $p\mid m_1$, the cubic for $\alpha$ is Eisenstein at $p$, while $m_2$ is a unit there and $A\otimes {\mathbb{Z}}_p={\mathbb{Z}}_p[\alpha ]$. If $p\mid m_2$, use instead the Eisenstein polynomial for $\beta$, and $\alpha ={\beta }^2/m_1$. In either case an Eisenstein generator is a uniformizer of the totally ramified local field and generates its full valuation ring. Indeed expansion in powers of that uniformizer using base residue representatives, and grouping powers modulo three, expresses every integral local element in its power basis.

These arguments also cover three when $3\mid m_1{m}_2$. If $3\nmid m_1{m}_2$, every unit modulo nine has cube congruent to $1$ or $-1$. Therefore the condition $m_1\not\equiv \pm m_2(\mathrm{mod}9)$ implies $m_1{m}_2^2\not\equiv \pm 1(\mathrm{mod}9)$: multiply a contrary congruence by the inverse of $m_2^2$ and use $m_2^3\equiv \pm 1$. Choose $r\in \{1,-1\}$ with $r^3\equiv m_1{m}_2^2(\mathrm{mod}3)$. The polynomialis Eisenstein at three, since its constant term is divisible by three but not nine. Its root $\alpha -r$ again generates the full local valuation ring. There is no index prime left. We have proved the integral basis of a cubefree pure cubic field and the requested discriminant:For $K=\mathbb{Q}(\sqrt[3]{6})$ write ${\alpha }^3=6$. Here ${\mathcal{O}}_K=\mathbb{Z}[\alpha ]$ and $d_K=-972$. The norm of $x+y\alpha +z{\alpha }^2$ is the determinant of its multiplication matrix, givingIn particularAn integral element of norm one has an integral inverse, by its monic characteristic polynomial. Here direct multiplication gives $u^{-1}=109+60\alpha +33{\alpha }^2$. Nontriviality also follows from linear independence of $1,\alpha ,{\alpha }^2$.

The signature is $(1,1)$, so the Minkowski bound for ideal classes isEvery class therefore has an integral representative of norm at most eight. Its prime factors have norms at most eight, and lie above $2,3,5,7$. Since the index of $\mathbb{Z}[\alpha ]$ is one, reduction of $X^3-6$ gives their factorizations by the Kummer-Dedekind theorem. At two and three the polynomial is $X^3$, so there is one prime of norm $2$ or $3$, respectively. They are principal, becauseAt five the factorization is $(X-1)(X^2+X+1)$ with the quadratic irreducible. The norm-five prime is $(\alpha -1)$ because $N(\alpha -1)=5$; the norm-twenty-five prime is outside the bound.

At seven the roots are $3,5,6$, giving three primes ${\mathfrak{q}}_r=(7,\alpha -r)$ of norm seven. The elements $\alpha +1$ and ${\alpha }^2+\alpha -5$ have norm seven and vanish at roots six and three, respectively; hence they generate ${\mathfrak{q}}_6$ and ${\mathfrak{q}}_3$. Since ${\mathfrak{q}}_3{\mathfrak{q}}_5{\mathfrak{q}}_6=(7)$, the remaining prime is principal too. Every prime which can divide a Minkowski representative is now principal, soThis proves class number one for Q of cube root six with all primes within the bound accounted for.

The factorization form of Kummer-Dedekind theorem is as follows. If $K=\mathbb{Q}(\theta )$ with $\theta$ integral, minimal polynomial $f$, and $p$ does not divide the index $[{\mathcal{O}}_K:\mathbb{Z}[\theta ]]$, factor $\bar{f}={\prod }_i{\bar{f}}_i^{e_i}$ into distinct monic irreducibles over ${\mathbb{F}}_p$. ThenThe index condition is essential. All integral bases used below make the index one, so it applies to every prime.

For a squarefree quadratic $d\equiv 2,3(\mathrm{mod}4)$, take $\theta =\sqrt{d}$, $f=X^2-d$ and field discriminant $D=4d$. At an odd prime, a repeated factor occurs exactly when $p\mid d$, in which case $\bar{f}=X^2$ and $p{\mathcal{O}}_K=(p,\sqrt{d}{)}^2$. At $p=2$, reduction is $X^2$ if $d$ is even and $(X+1{)}^2$ if $d$ is odd, so $2$ is totally ramified in both cases. Thus the totally ramified primes are exactly those dividing $4d$.

For $d\equiv 1(\mathrm{mod}4)$, take $\theta =(1+\sqrt{d})/2$, with polynomial $X^2-X+(1-d)/4$ and discriminant $D=d$. At an odd prime it has a double root exactly when $p\mid d$, giving a single linear factor squared and total ramification. At $p=2$, its derivative is $1$, so no repeated factor occurs. Hence again

For the prime cyclotomic field, use ${\Phi }_q(X)=1+X+\cdots +X^{q-1}$. Modulo $q$ this is $(X-1{)}^{q-1}$, so $q{\mathcal{O}}_K=(q,\zeta -1{)}^{q-1}$, proving total ramification. For $p\ne q$, the discriminant has no prime factor $p$, so the reduction is squarefree and $p$ is unramified. There is an actual exponent error in the printed discriminant: the correct value is $(-1{)}^{(q-1)/2}{q}^{q-2}$, not $q^{q-1}$. To check it, at a nontrivial root ${\zeta }^j$,and multiplying these derivatives and using ${\prod }_{j=1}^{q-1}(1-{\zeta }^j)=q$ gives the exponent $q-2$. The prime support is still just $\{q\}$, so the requested ramification conclusion is unaffected.

For $\theta =\sqrt[3]{2}$, the integral basis gives $f=X^3-2$ and $D=-108$. Modulo $2$, $\bar{f}=X^3$; modulo $3$, $\bar{f}=(X+1{)}^3$. Dedekind factorization gives $(2)=(2,\theta {)}^3$ and $(3)=(3,\theta +1{)}^3$. For other primes the polynomial is squarefree because its discriminant is not divisible by the prime. Therefore the equivalence also holds in this cubic field. This is a conclusion for these specific fields, not the false general assertion that every ramified prime in every higher-degree number field is totally ramified.

The polynomial discriminant satisfiesA polynomial has no repeated roots over the algebraic closure exactly when it is coprime to its derivative. Consequently the assumed squarefree reduction has nonzero resultant with its derivative, so $p\nmid \mathrm{disc}(f)$. On the other hand the power basis is a basis of the order in a number field $\mathbb{Z}[\alpha ]$, and the discriminant-index formula for an integral lattice givesHere the field discriminant $d_L$ is an integer. ThereforeThis is squarefree reduction excludes a prime from the power-basis index; its argument establishes the index condition before applying the Kummer-Dedekind theorem.

Let $L=\mathbb{Q}(\alpha )$, where $\alpha$ is an algebraic integer with monic minimal polynomial $f\in \mathbb{Z}[X]$, and put $I=[{\mathcal{O}}_L:\mathbb{Z}[\alpha ]]$. The Kummer-Dedekind theorem applies to a prime number $p$ with $p\nmid I$. Write its reduction as a product of polynomial factors over ${\mathbb{F}}_p$:where the $g_j$ are distinct monic irreducible polynomials, choose monic integral lifts $G_j$. Then the distinct prime ideals above $p$ are ${\mathfrak{p}}_j=(p,G_j(\alpha ))$, andThus the multiplicity of a factor is its ramification index of a prime ideal, and its degree is the residue degree. The hypothesis on the order in a number field is essential: one cannot infer prime ideal factorization from an arbitrary defining polynomial at a prime dividing its index. There is also a relative version over a base number field $K$: if ${\mathcal{O}}_L$ and ${\mathcal{O}}_K[\alpha ]$ agree after localization at $\mathfrak{p}$, factor the minimal polynomial over ${\mathcal{O}}_K/\mathfrak{p}$ and use $(\mathfrak{p},G_j(\alpha ))$ with the same conclusions.

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,

Put $a=\sqrt[3]{2}$ and $\zeta ={\zeta }_3$. The polynomial $X^3-2$ is irreducible over $\mathbb{Q}$ by the Eisenstein criterion at $2$, so $[\mathbb{Q}(a):\mathbb{Q}]=3$. This field is real and cannot contain the nonreal $\zeta$. Adjoining $\zeta$ gives a quadratic extension and hence $[F:\mathbb{Q}]=6$. Since $F$ is the splitting field of $X^3-2$, its Galois group acts faithfully on $a,\zeta a,{\zeta }^{2}a$ and has order six. Consequently

For a prime $\mathfrak{q}$ over a rational prime $p$, its absolute residue degree is the order of the cyclic quotient group $D_{\mathfrak{q}}/I_{\mathfrak{q}}$ from part (i). If that degree were six, then $D_{\mathfrak{q}}$, a subgroup of $S_3$, would have order at least six, so $D_{\mathfrak{q}}=S_3$ and $I_{\mathfrak{q}}=1$. This would make $S_3$ cyclic, a contradiction. The argument applies also at ramified primes. Thus

For the second request printed with the same subpart label, work over $E=\mathbb{Q}(\zeta )$. The Galois group of $F/E$ is cyclic of order three, with generator $\sigma (a)=\zeta a$ and $\sigma (\zeta )=\zeta$. The ideal norm of $(\zeta +3)$ is seven, sinceIn its residue field we have $\zeta \equiv -3\equiv 4(\mathrm{mod}{\mathfrak{p}}_1)$. The polynomial $X^3-2$ has no root in ${\mathbb{F}}_7$, because its cube residues are $0,1,6$. It is therefore irreducible there. Its discriminant $-108$ is a unit at ${\mathfrak{p}}_1$. To check the local index condition, the trace pairing matrix of $1,a,a^2$ has this unit determinant. For any integral element $b$ of $F$, its traces against these three basis elements are integral; solving with this invertible matrix shows that its basis coefficients are integral locally. Thus the relative ring of integers equals ${\mathcal{O}}_E[a]$ at ${\mathfrak{p}}_1$. The relative Kummer-Dedekind theorem gives one unramified prime above ${\mathfrak{p}}_1$, of residue degree three.

Use arithmetic Frobenius, characterized by $b\mapsto b^7$ on this residue field. As $a^3=2$,The three possible images $a,\zeta a,{\zeta }^{2}a$ remain distinct modulo $\mathfrak{q}$, since $a$ is nonzero and $1,4,2$ are distinct modulo seven. This congruence therefore identifies the actual automorphism uniquely:The geometric Frobenius convention would give its inverse. Since $F/E$ is abelian, the arithmetic element is independent of the choice of prime above ${\mathfrak{p}}_1$.

Let $L/K$ be an extension of number fields, let $\alpha \in {\mathcal{O}}_L$ be a primitive element of a field extension, and let $f\in {\mathcal{O}}_K[X]$ be its monic minimal polynomial of an algebraic element. Put $R={\mathcal{O}}_K[\alpha ]$ and $S={\mathcal{O}}_L$. The Kummer-Dedekind theorem applies at a nonzero prime ideal $\mathfrak{p}$ of ${\mathcal{O}}_K$ when $R_{\mathfrak{p}}=S_{\mathfrak{p}}$: equivalently, $\mathfrak{p}$ is outside the support of the finite-index quotient $S/R$. Write the factorization over the residue field $k={\mathcal{O}}_K/\mathfrak{p}$ aswith distinct monic irreducible polynomials ${\overline{g}}_j$, and choose monic lifts $g_j\in {\mathcal{O}}_K[X]$. ThenHere $f({\mathfrak{P}}_j/\mathfrak{p})$ denotes the residue-field degree, and the ramification index of a prime ideal is $m_j$.

To prove this, the local index condition givesThe final isomorphism is the Chinese remainder theorem. Each factor is a local ring with unique maximal ideal generated by ${\overline{g}}_j$, so its inverse image in $S$ is exactly ${\mathfrak{P}}_j$, and its residue field is $k[X]/({\overline{g}}_j)$. This proves the list of primes and the residue-field degrees. For the exponents, localize at ${\mathfrak{P}}_j$. The ring of integers of a number field is a Dedekind domain, so $S_{{\mathfrak{P}}_j}$ is a discrete valuation ring. If $\mathfrak{p}{S}_{{\mathfrak{P}}_j}={\mathfrak{P}}_j^{e_j}{S}_{{\mathfrak{P}}_j}$, the quotient has $e_j$ successive layers isomorphic to $S/{\mathfrak{P}}_j$, and hence $k$-dimension $e_j\mathrm{deg}{\overline{g}}_j$. The corresponding polynomial factor has $k$-dimension $m_j\mathrm{deg}{\overline{g}}_j$. Thus $e_j=m_j$, completing the proof rather than merely identifying the radicals.

For the calculation, set $K=\mathbb{Q}(\sqrt{5})$ and $t=(\sqrt{5}-1)/2$. The ring of integers of a quadratic field gives ${\mathcal{O}}_K=\mathbb{Z}[t]$, with $t^2+t-1=0$. The algebraic norm of $4+\sqrt{5}$ is $11$, so its principal ideal has ideal norm $11$. Its quotient ring has prime order and is therefore the finite field ${\mathbb{F}}_{11}$; consequently $(4+\sqrt{5})$ is a prime ideal. In that residue field, $\sqrt{5}=-4=7$ and $t=3$.

Let $L=\mathbb{Q}({\zeta }_5)$. Since $t={\zeta }_5+{\zeta }_5^{-1}$ lies in $\mathbb{Z}[{\zeta }_5]$, the permitted identity ${\mathcal{O}}_L=\mathbb{Z}[{\zeta }_5]$ gives ${\mathcal{O}}_L={\mathcal{O}}_K[{\zeta }_5]$. Thus the local index condition holds at every prime. The relative minimal polynomial of an algebraic element is $X^2-tX+1$, whose reduction isThe roots are distinct. Applying the Kummer-Dedekind theorem givesFor the last equality, evaluation at $5$ or $9$ in ${\mathbb{F}}_{11}$ gives ${\zeta }_5+{\zeta }_5^{-1}=3$ and therefore $4+\sqrt{5}=5+2t=0$. Both descriptions are the same kernels of these evaluation maps. Each prime has ideal norm $11$, residue-field degree one and ramification index of a prime ideal one.