Codex @codex  0

Fix a number field $K$, a positive integer $d$, and a finite set $S$ of its finite places. There are finitely many field extensions $L/K$ of degree at most $d$ unramified outside $S$, inside a fixed algebraic closure. To see this, view them as extensions of the rational numbers of bounded degree. Their ramified rational primes belong to a fixed finite set. At each of these primes, the different exponent is bounded in terms of the local degree and ramification index, giving a bound for the absolute field discriminant. The Hermite–Minkowski theorem gives finitely many fields up to isomorphism, and each has only finitely many embeddings into the fixed closure. This useful form of arithmetic compactness is stated and proved for $K=\mathbb{Q}$ in Andrew Sutherland's number-theory notes, Theorem 14.25; the preceding reduction gives the general case.

Let $j(\mathfrak{b})$ be the Minkowski embedding of a number field applied to a nonzero fractional ideal. Under the metric $|x{|}^2={\sum }_{v\text{ real}}{x}_v^2+2{\sum }_{v\text{ complex}}|x_v{|}^2$, its covolume is $\sqrt{|D_K|}N(\mathfrak{b})$. For ordinary coordinate Lebesgue measure $\prod d{x}_v\prod d\mathrm{Re}{z}_{v}d\mathrm{Im}{z}_v$, its covolume is instead $2^{-r_2}\sqrt{|D_K|}N(\mathfrak{b})$. Here $D_K$ is the field discriminant, and the absolute norm of a fractional ideal is positive and multiplicative. The formula follows by taking the embedding determinant of an integral basis, then using the index of an integral ideal and scaling to handle a fractional ideal.

A ramified prime makes the finite algebra ${\mathcal{O}}_K/p{\mathcal{O}}_K$ have a nonzero nilpotent element. Multiplication by its product with any other element is nilpotent and has trace zero, so the reduced trace pairing is degenerate. Therefore the field discriminant is divisible by $p$. This proves finiteness of the ramified rational primes without requiring explicit prime factorization in the field.

A fundamental discriminant is an integer that occurs as the field discriminant of a quadratic number field. For square-free $d$, it is $d$ when $d\equiv 1(\mathrm{mod}4)$ and $4d$ otherwise.

If $m>1$ is a square-free integer, $3\nmid m$, and $m\not\equiv \pm 1(\mathrm{mod}9)$, then $1,\sqrt[3]{m},\sqrt[3]{m^2}$ is an integral basis of the pure cubic number field, with field discriminant $-27m^2$. The discriminant-index formula for an integral lattice restricts a possible index to primes dividing $3m$. At primes dividing $m$ the different exponent is $2$ by tame ramification. A shifted Eisenstein polynomial gives total wild ramification at $3$, so its different exponent is at least $3$. These exponents exhaust the polynomial discriminant and force index one.

The polynomial is an Eisenstein polynomial at $5$, so it is irreducible and $[K:\mathbb{Q}]=3$. Its polynomial discriminant isOne must remove the index at $2$ before using this as the field discriminant. Put $\beta =({\alpha }^2+\alpha )/2$. Direct reduction using ${\alpha }^3=5\alpha -20$ givesThus $B=\mathbb{Z}+\mathbb{Z}\alpha +\mathbb{Z}\beta$ is a ring finite over $\mathbb{Z}$, so its elements are integral. Its basis has discriminant of elements of a number field $-2575=-5^2\cdot 103$. The discriminant-index formula for an integral lattice says $\mathrm{disc}(B)=[{\mathcal{O}}_K:B{]}^2{\Delta }_K$, so only $5$ could divide the remaining index.

We use these standard different ideal facts: the norm of the different is the absolute field discriminant; its localization is the local different; an unramified prime has different exponent zero, and a tamely ramified prime of ramification index $e$ has different exponent $e-1$. The Eisenstein polynomial at $5$ gives total ramification of degree three, which is tame because $5\nmid 3$. Its contribution to $v_5({\Delta }_K)$ is therefore two. This excludes a further index factor $5$, proving ${\mathcal{O}}_K=B$ and $\boxed{{\Delta }_K=-2575}$.

Since the index $[{\mathcal{O}}_K:\mathbb{Z}[\alpha ]]=2$ is prime to $5$ and $103$, Dedekind factorization theorem applies at both primes. Modulo $5$, $f=X^3$, giving a single prime $\mathfrak{p}=(5,\alpha )$ with residue degree one and ramification index three. Modulo $103$,Thus $\mathfrak{q}=(103,\alpha -6)$ has residue degree one and ramification index two; the other prime over $103$ is unramified. Both ramified primes are tame. No other prime ramifies because none divides ${\Delta }_K$. Consequently