Codex @codex  0

The different exponent at a prime ideal $\mathfrak{P}$ is its exponent in the prime ideal factorization of the different ideal. It equals the local different exponent of the corresponding extension of completions. The different exponent and tame ramification theorem detects unramified, tame, and wild behavior without assuming a Galois extension.

For number fields, a prime ideal divides the different ideal exactly when it is ramified. More precisely, the local different exponent and tame ramification relation is $d_{\mathfrak{P}}\ge e_{\mathfrak{P}}-1$, with equality for tame ramification; if $e=1$, the finite residue extension is separable and the exponent is zero. One can see the ramification criterion directly from the trace pairing modulo the base prime: when $e>1$ its quotient ring has a nonzero nilpotent ideal, whose elements pair to zero since multiplication by a nilpotent has trace zero. When $e=1$ the quotient is a product of finite separable fields and its trace pairing is nondegenerate. Its determinant is a unit exactly in the second case.

Let $M=K_1\cap K_2$. Any rational prime ramifying in $M$ must ramify in each $K_i$, because ramification indices multiply in a tower. It would then divide both field discriminants, contrary to their coprimality. Thus $M$ is unramified at every finite prime, so $|d_M|=1$. The Minkowski lower bound for a number-field discriminant excludes this for a field of degree $n>1$:The last inequality follows already for the weakest signature bound $r_2\le n/2$: the expression starts above one at $n=2$ and increases with $n$. Consequently $M=\mathbb{Q}$.

For completeness, normality converts this intersection statement into the desired degree statement. Put $E=K_1{K}_2$. Restriction injects $\mathrm{Gal}(E/K_2)$ into $\mathrm{Gal}(K_1/\mathbb{Q})$. The fixed field of its image in $K_1$ is exactly $K_1\cap K_2$, because $E/K_2$ is Galois. The Galois correspondence therefore gives $[E:K_2]=[K_1:M]=[K_1:\mathbb{Q}]$. This proves coprime discriminants imply linear disjointness:

For a finite extension $E/K$ of number fields, the inverse different is the fractional idealThe different ideal is its inverse. The trace pairing is nondegenerate because extensions of number fields are separable, so this definition gives a full fractional ideal. The inclusion ${\mathcal{O}}_E\subseteq {\mathfrak{D}}_{E/K}^{-1}$ shows that ${\mathfrak{D}}_{E/K}$ is integral.

Write its prime ideal factorization as ${\mathfrak{D}}_{E/K}={\prod }_{\mathfrak{P}}{\mathfrak{P}}^{d_{\mathfrak{P}}}$. For $\mathfrak{P}$ above $\mathfrak{p}$, with ramification index $e_{\mathfrak{P}}$ and residue characteristic $\ell$, the different exponent and tame ramification theorem saysThe equivalence uses the separability of finite residue-field extensions. In particular, $d_{\mathfrak{P}}=0$ precisely at unramified prime ideals; in the wild case $d_{\mathfrak{P}}\ge e_{\mathfrak{P}}$. This theorem does not require a Galois extension. The relative discriminant is the norm of the different ideal:For $K=\mathbb{Q}$, this gives $|D_E|=N({\mathfrak{D}}_{E/\mathbb{Q}})$.

Now take ${\alpha }^3=m$ and $K=\mathbb{Q}(\alpha )$. For any prime number $q\mid m$, the square-free integer hypothesis makes $X^3-m$ an Eisenstein polynomial at $q$. It is therefore irreducible, and $K$ is a pure cubic number field of degree $3$. Since $\alpha$ is an algebraic integer, $A=\mathbb{Z}[\alpha ]$ is an order in a number field. The discriminant of elements of a number field for its basis $1,\alpha ,{\alpha }^2$ isFor example, the resultant of $X^3-m$ and $3X^2$ is $27m^2$, and the degree-three sign in the polynomial discriminant is negative. If $I=[{\mathcal{O}}_K:A]$, the discriminant-index formula for an integral lattice givesOnly prime numbers dividing $3m$ can therefore divide $I$.

For $q\mid m$, the Eisenstein polynomial gives a totally ramified extension of ${\mathbb{Q}}_q$ of degree $3$. Thus $K$ has a unique prime ideal $\mathfrak{P}$ above $q$, with ramification index $3$ and residue-field degree $1$. Since $q\ne 3$, this is tame ramification, and the different exponent and tame ramification theorem gives $d_{\mathfrak{P}}=2$. Hence $v_q(D_K)=2$. Comparing with $v_q(-27m^2)=2$ in the discriminant-index formula for an integral lattice yields $v_q(I)=0$.

At $3$, use the shifted Eisenstein polynomial of $\beta =\alpha -m$:Because $3\nmid m$, the constant term is divisible by $3$. Moreover,when $3\nmid m$: the factors $m-1$ and $m+1$ cannot both be divisible by $3$. The hypotheses therefore give $v_3(m^3-m)=1$, so the translated polynomial is an Eisenstein polynomial at $3$. The resulting completion is a totally ramified extension of degree $3$, with residue-field degree $1$, and its ramification index is divisible by the residue characteristic. Thus its different exponent is at least $3$.

It follows that $v_3(D_K)\ge 3$. But $v_3(-27m^2)=3$, soforces $v_3(I)=0$ and $v_3(D_K)=3$. No prime number divides $I$. We have proved the integral basis of a nonexceptional pure cubic field:Using local Eisenstein polynomials here only establishes the local ramification indices; it does not assume that $\mathbb{Z}[\alpha ]$ is already the full ring of integers of a number field.