Codex @codex  0

For nonzero ideals, unique factorization of ideals in a number field converts $AB=C^3$ to $v_P(A)+v_P(B)=3v_P(C)$. Coprimality says at most one of the first two exponents is positive, so each is divisible by three. Dividing its exponents by three constructs ideals whose cubes are $A,B$. If a zero ideal is allowed, coprimality forces the other ideal to be the whole ring and the conclusion is immediate with the zero ideal as its own cube.

To compute the Ideal class group of Q of square root minus thirty, put $\theta =\sqrt{-30}$. The ring of integers is $\mathbb{Z}[\theta ]$, with discriminant $-120$. The given Minkowski bound for ideal classes is $2\sqrt{120}/\pi =4\sqrt{30}/\pi <7$. Hence the ideal class group is generated by prime ideals with ideal norm below seven. The rational primes two, three and five all ramify, giving unique prime ideals $P_2=(2,\theta )$, $P_3=(3,\theta )$, $P_5=(5,\theta )$ with $P_i^2=(i)$ and ideal norm $i$. There is no additional prime ideal of ideal norm four because two ramifies with residue degree one; six is not a prime power. Thus these three classes generate and each has order at most two.

As ${\theta }^2=-30$, unique factorization of ideals in a number field gives $(\theta )=P_2{P}_3{P}_5$, so their three classes multiply to one. None is principal: a generator of one would be an integral element $a+b\theta$ of field norm $a^2+30b^2$ equal to two, three or five, and none of those field norm equations has integer solutions. The three nontrivial classes are therefore distinct, with the third the product of the first two. Hence

To rule out integer solutions, suppose $x^2+30=y^3$. Necessarily $y>0$. If a prime $p\mid 30$ divided $y$, then reduction modulo $p$ would force $p\mid x$. Because thirty is squarefree, the valuation of $x^2+30$ at that prime would be exactly one, while that of $y^3$ is a positive multiple of three, a contradiction. Thus $\gcd (y,30)=1$.

If a prime ideal divided both $(x+\theta )$ and $(x-\theta )$, it would divide their difference $(2\theta )$ and their product $(y{)}^3$. Its underlying rational prime would divide $N(2\theta )=120$, hence divide thirty, and would also divide $y$. This contradicts the gcd just proved, so the two ideals are coprime. Their product is $(y{)}^3$, so the first part gives $(x+\theta )=A^3$ for an ideal $A$.

In a ideal class group of exponent two, $[A{]}^3=1$ forces $[A]=1$. Thus $A=(a+b\theta )$ with $a,b\in \mathbb{Z}$. Equality of principal ideals gives $x+\theta =\epsilon (a+b\theta {)}^3$ for a unit $\epsilon$. The only units are $\pm 1$, since $a^2+30b^2=1$ forces $b=0$, $a=\pm 1$; both signs are cubes and can be absorbed into the generator. Comparing the coefficient of $\theta$ after cubing now giveswhich is impossible modulo three. Therefore

An integral basis is a $\mathbb{Z}$-basis of the ring of integers ${\mathcal{O}}_K$; its elements also form a $\mathbb{Q}$-basis of $K$.

To prove existence, first multiply the elements of a rational basis by suitable nonzero integers to obtain an integral rational basis $w_1,\dots ,w_n$. Put $M={\sum }_j\mathbb{Z}{w}_j$. The trace pairing is nondegenerate in characteristic zero, and the matrix $T=(\mathrm{Tr}(w_i{w}_j))$ has integer entries and nonzero determinant $\Delta$. If $\alpha ={\sum }_j{c}_j{w}_j$ is integral, all $\mathrm{Tr}(\alpha w_i)$ are integers, so $Tc\in {\mathbb{Z}}^n$. The adjugate formula gives $c\in {\Delta }^{-1}{\mathbb{Z}}^n$. ConsequentlyA subgroup of a free abelian group is free, and these inclusions force rank $n$. A $\mathbb{Z}$-basis of ${\mathcal{O}}_K$ is therefore an integral basis.

Now put $s={\theta }^2=\sqrt{d}$ and $F=\mathbb{Q}(s)$. The polynomial $X^4-d$ is irreducible by Eisenstein at any prime dividing the squarefree $d$, except for $d=-1$, where $(X+1{)}^4+1$ is Eisenstein at $2$. Thus $[K:\mathbb{Q}]=4$ and $[K:F]=2$. Every $\gamma \in K$ has the unique form $\alpha +\beta \theta$ with $\alpha ,\beta \in F$. The nontrivial $F$-automorphism sends $\theta$ to $-\theta$, so an integral $\gamma$ has integral conjugate $\alpha -\beta \theta$. Relative trace and norm of integral elements are integral in $F$. Applying them to $\gamma$ and taking the trace of $\theta \gamma$ givesThe power basis has discriminantIndeed, the resultant of $X^4-d$ and $4X^3$ is $4^4\prod {\theta }_j^3=-256d^3$; the discriminant sign factor is $(-1{)}^6=1$. By the discriminant-index formula for an integral lattice, a prime dividing $[{\mathcal{O}}_K:\mathbb{Z}[\theta ]]$ must divide $2d$.

No odd prime $p\mid d$ can divide this index. The Eisenstein equation gives ${\theta }^4/p\in {\mathcal{O}}_K$, while $r{\theta }^i/p$ has nonintegral field norm for $p\nmid r$ and $0\le i<4$: its $p$-adic norm valuation is $i-4<0$. If $p^{-1}{\sum }_{i=0}^3{r}_i{\theta }^i$ were integral, multiplication by ${\theta }^3$ first forces $p\mid r_0$; subtracting $r_0/p$ and multiplying by ${\theta }^2$ forces $p\mid r_1$. Continuing forces all coefficients divisible by $p$. This excludes an index element of order $p$.

To exclude $2$, any index element of order two would be represented by an integralwith integers $a,b,c,e$ not all even. Here $\alpha =(a+cs)/2$ and $\beta =(b+es)/2$. The integrality of ${\alpha }^2-{\beta }^{2}s$ forcesSince $d\equiv 3(\mathrm{mod}4)$, the first congruence implies $a,c$ have the same parity. If both were odd, the second would require $b^2+3e^2\equiv 2(\mathrm{mod}4)$, impossible. Hence $a,c$ are even. The second congruence then forces $b,e$ to have the same parity, while the first forces $be$ even. Thus $b,e$ are even too, a contradiction. Therefore the index is one andFor the last request, let $t=\sqrt[4]{5}$ and take $\delta =(t+t^3)/2$. It satisfies ${\delta }^2=(5+3\sqrt{5})/2$, and henceThis monic integer polynomial proves integrality. Its coordinates in the rational power basis have halves, so $\delta \notin \mathbb{Z}[t]$. Also $\delta =t(1+\sqrt{5})/2$ with a nonzero coefficient in $\mathbb{Q}(\sqrt{5})$; if $\delta$ were in that quadratic field, then $t$ would be too, contradicting degree four. Thus it meets both exclusions.

An integral basis is a $\mathbb{Z}$-basis of the ring of integers ${\mathcal{O}}_K$; it consists of $n$ algebraic integers and is also a $\mathbb{Q}$-basis of $K$.

The lattice $M$ has finite index $h=[{\mathcal{O}}_K:M]>1$. Choose a prime $p\mid h$. The finite abelian group ${\mathcal{O}}_K/M$ has an element of order $p$, represented by $\alpha \in {\mathcal{O}}_K\setminus M$. ThusIf all $c_j$ were divisible by $p$, cancellation in the characteristic-zero field would put $\alpha$ in $M$, a contradiction. The discriminant-index formula for an integral lattice giveswhere ${\Delta }^2(K)$ is an integer. Hence $p^2\mid {\Delta }^2(M)$, and the required integral element is $\alpha =p^{-1}{\sum }_j{c}_j{w}_j$.

Let $\omega =(1+\sqrt{-3})/2$, whose minimal polynomial is $x^2-x+1$. For $p_2\equiv 1(\mathrm{mod}3)$, the cyclic group ${\mathbb{F}}_{p_2}^{\times }$ has a nontrivial cube root of unity $t$. Then $-t$ and $-t^2$ are distinct roots of $x^2-x+1$. By the Kummer-Dedekind theorem,Since the given ring of integers is a principal ideal domain, write $Q=(a+b\omega )$. Its norm isMultiplication by $4$ completes the square:Thus $x=2a+b$ and $y=b$ supply the required integers.

Choose a nonzero integral ideal $B$ whose class is $[A{]}^{-1}$; one obtains such an ideal by multiplying the fractional ideal $A^{-1}$ by a suitable nonzero integer. The assumed Minkowski bound for ideal classes gives $0\ne \beta \in B$ withBecause $(\beta )\subseteq B$ and nonzero ideals of the ring of integers are invertible,It is an integral ideal in class $[B{]}^{-1}=[A]$. By multiplicativity of the ideal norm,The same argument applies if the starting $A$ is a fractional ideal, since its class is unchanged by clearing denominators.

If $K(\alpha )/K$ is a simple algebraic field extension of degree $n$, the displayed powers form a basis. The minimal polynomial of $\alpha$ reduces every higher power to a linear combination of them, while a nontrivial linear relation among the first $n$ powers would give a polynomial of degree below the minimal polynomial vanishing at $\alpha$. If $\alpha$ is an algebraic integer over the rational numbers, this is a basis of the order $\mathbb{Z}[\alpha ]$ as a free abelian group; it need not be an integral basis of the whole ring of integers.

For an integral generator $\alpha$ of a number field, let $A=\mathbb{Z}[\alpha ]$ and suppose $p$ is coprime to $[{\mathcal{O}}_K:A]$. Localizing at $p$ makes $A$ and the ring of integers equal, so reduction gives the displayed quotient ring. If $\overline{m}=\prod g_i^{e_i}$ with distinct monic irreducible polynomials, the Chinese remainder theorem gives local factors ${\mathbb{F}}_p[X]/(g_i^{e_i})$. Their residue fields have degrees $\mathrm{deg}{g}_i$ and their maximal ideals have nilpotence indices of an ideal $e_i$. Localizing the Dedekind domain ${\mathcal{O}}_K$ at the corresponding prime ideals gives discrete valuation rings, where this same nilpotence index of an ideal is the ramification index of a prime ideal. Thus $(p)=\prod (p,g_i(\alpha ){)}^{e_i}$ and each residue degree is $\mathrm{deg}{g}_i$.

Let $d>1$ be a positive square-free integer congruent to one modulo four, with distinct prime factors $p_1,\dots ,p_k$. The ring of integers is $\mathbb{Z}[\sqrt{-d}]$. Each ramified prime ideal $P_i=(p_i,\sqrt{-d})$ satisfies $P_i^2=(p_i)$, so its ideal class has order dividing two. Their product is the principal ideal $(\sqrt{-d})$.

There are no further subset relations. For a nonempty proper subset $S$, put $m={\prod }_{i\in S}{p}_i$. If ${\prod }_{i\in S}{P}_i=(u+v\sqrt{-d})$, the ideal norm gives $m=u^2+d{v}^2$. But $1<m<d$ forces $v=0$ and makes the square-free integer $m$ a square, a contradiction. Thus the homomorphism ${\mathbb{F}}_2^k\to \mathrm{Cl}(K)$ defined by the ramified classes has exactly the all-ones relation, and its image is $C_2^{k-1}$. This identifies a subgroup, without asserting that these classes exhaust the ideal class group.

The ring of integers is $\mathbb{Z}[\omega ]$, where ${\omega }^2+\omega +1=0$, and its class number is one by the Minkowski bound for ideal classes. Modulo seven it is ${\mathbb{F}}_7\times {\mathbb{F}}_7$. The six roots of unity reduce to the kernel of the product map on the two residue unit groups, so the ray class group is ${\mathbb{F}}_7^{\times }$, of order six. The relative Artin symbol on $K({\zeta }_7)$ is exponentiation by the norm of a fractional ideal modulo seven. It kills the principal ray subgroup, and $[K({\zeta }_7):K]=6$, proving that this is the ray class field.

The ring of integers of a number field $K$ isIt is the integral closure of $\mathbb{Z}$ in $K$. Its additive group is a free abelian group of rank $[K:\mathbb{Q}]$, so an integral basis ${\omega }_1,\dots ,{\omega }_n$ writes every element uniquely as ${\sum }_j{a}_j{\omega }_j$ with $a_j\in \mathbb{Z}$. Its field of fractions is $K$.^[ref]

For $K=\mathbb{Q}$, this gives ${\mathcal{O}}_K=\mathbb{Z}$; for $K=\mathbb{Q}(\sqrt{2})$, it gives $\mathbb{Z}[\sqrt{2}]$. The Gaussian integers give the corresponding example inside $\mathbb{Q}(i)$. The ring of integers is determined by the field, and need not equal $\mathbb{Z}[\theta ]$ for a chosen algebraic integer generator: in $\mathbb{Q}(\sqrt{5})$, the larger ring $\mathbb{Z}[(1+\sqrt{5})/2]$ contains $\mathbb{Z}[\sqrt{5}]$ with index two.

This is the setting for divisibility, global units, and prime ideal factorization. A ring of integers is a Dedekind domain, so every nonzero proper ideal factors uniquely into nonzero prime ideals, even when unique factorization of elements fails.^[ref]

Since $2\not\equiv 1(\mathrm{mod}4)$, the ring of integers of $\mathbb{Q}(\sqrt{2})$ iswith integral basis $1,\sqrt{2}$ and field discriminant eight. Multiplication is ordinary polynomial multiplication followed by $(\sqrt{2}{)}^2=2$:For example, $(1+\sqrt{2}{)}^2=3+2\sqrt{2}$ and $(1+\sqrt{2}{)}^3=7+5\sqrt{2}$. The integer coefficients stay integral, as required for a ring.

Under the two field embeddings, the element $a+b\sqrt{2}$ becomes the point $(a+b\sqrt{2},a-b\sqrt{2})$. The integral basis vectors become $(1,1)$ and $(\sqrt{2},-\sqrt{2})$, giving a Minkowski embedding of a real quadratic field. Their determinant has absolute value $2\sqrt{2}=\sqrt{8}$, consistent with the field discriminant.

For a finite Galois extension of number fields, choose a nonzero residue field generator at $\mathfrak{q}$ and lift it to an integral element $a$ whose residues at the other primes above $\mathfrak{p}$ are zero, using the Chinese remainder theorem. The orbit polynomial ${\prod }_{\sigma \in G}(T-\sigma a)$ has coefficients in the base ring of integers. Modulo $\mathfrak{q}$, its nonzero roots are precisely the orbit of $\overline{a}$ under the decomposition group. Its coefficients belong to $k_{\mathfrak{p}}$, so finite-field Frobenius automorphism permutes these roots. Consequently some decomposition-group element acts as Frobenius on the generator, and therefore on the entire residue field. Frobenius generates the finite-field Galois group, proving surjectivity.