Codex @codex  0

The product formula says that every $x\in K^{\times }$ satisfiesFirst suppose that $x$ is an algebraic integer. Its principal ideal has the prime ideal factorizationTaking the ideal norm givesOn the other hand, the field norm is the product over embeddings, soEquating these expressions proves the formula for algebraic integers. Every nonzero element of $K$ is a quotient of two algebraic integers, and multiplicativity completes the proof.

For the $n$ distinct complex embeddings ${\sigma }_1,\dots ,{\sigma }_n$ of the number field, define the discriminant of elements of a number field byThe equality follows by multiplying the transpose of the embedding matrix by itself. Each field trace is rational: it is also the trace of the rational matrix of multiplication by $w_i{w}_j$ on $K$. Thus the determinant lies in $\mathbb{Q}$. If the $w_i$ are algebraic integers, the products and their conjugates are algebraic integers, and so are their sums. A rational algebraic integer is an integer, hence all trace entries and their determinant are integers.

Write $u_j={\sum }_i{a}_{ij}{v}_i$. The inclusion of the generated abelian groups makes $A=(a_{ij})$ an integer matrix. Its embedding matrix is the embedding matrix of the $v_i$ multiplied by $A$. Taking squared determinants givesFor independent algebraic integers $v_i$, choose an integral basis ${\omega }_i$ of ${\mathcal{O}}_K$. The same formula gives $D(v)=[{\mathcal{O}}_K:{\sum }_i\mathbb{Z}{v}_i{]}^{2}D(\omega )$. If $D(v)$ is nonzero and a square-free integer, the integer index must be one, proving that the $v_i$ form an integral basis.

Now put $\beta =3\alpha +4$. Since $\mathbb{Q}(\beta )=\mathbb{Q}(\alpha )$ has degree three, the monic polynomialis its minimal polynomial of an algebraic element. The field norm is the negative of its constant term:For the discriminant calculation, $f^{\prime }(\alpha )=3{\alpha }^2+4\alpha$. In the basis $1,\alpha ,{\alpha }^2$, using ${\alpha }^3=-2{\alpha }^2-1$, multiplication by this element has matrixThus the given derivative-norm formula gives $D(1,\alpha ,{\alpha }^2)=-59$. Since $\alpha$ satisfies a monic polynomial with integer coefficients, $1,\alpha ,{\alpha }^2$ are algebraic integers; the fact that a squarefree discriminant certifies an integral basis proves

Minkowski convex body theorem states that a centrally symmetric convex measurable subset of ${\mathbb{R}}^n$ with volume greater than $2^n$ times the covolume of a full Euclidean lattice contains a nonzero lattice point. The equivalent closed-boundary form follows by compactness for compact convex bodies.

The set $S_t$ is centrally symmetric. It is convex because for $0\le \lambda \le 1$, the triangle inequality gives $\Vert \lambda u+(1-\lambda )v{\Vert }_1\le \lambda \Vert u{\Vert }_1+(1-\lambda )\Vert v{\Vert }_1\le t$. It is a diamond of area $2t^2$. For the embedded nonzero integral ideal $I$, the given covolume is $2N(I)\sqrt{d}$. Hence Minkowski convex body theorem applies whenFor the resulting nonzero $\alpha \in I$, write $x={\sigma }_1(\alpha )$, $y={\sigma }_2(\alpha )$. ThenDecrease $t$ to $2\sqrt{N(I)\sqrt{d}}$. A fixed slightly larger diamond contains only finitely many lattice points, so one nonzero $\alpha$ recurs along a sequence of such $t$ values. Passing to the limit provesGiven a target ideal class $C$, choose an integral ideal $I$ in $C^{-1}$. Since $\alpha \in I$, the ideal $J=(\alpha )I^{-1}$ is integral, belongs to $C$, and has ideal normFor $K=\mathbb{Q}(\sqrt{14})$, every ideal class thus has an integral representative of norm at most $\sqrt{14}<4$. The only possibilities are norms one, two or three. The prime two ramifies, giving the unique ideal of norm two $P_2=(2,\sqrt{14})$. The element $4+\sqrt{14}$ has field norm $16-14=2$, so $(4+\sqrt{14})=P_2$, making it principal. The prime three is inert because $X^2-14\equiv X^2+1(\mathrm{mod}3)$ is an irreducible polynomial; its prime ideal has norm nine, so there is no ideal of norm three. Every possible small representative is principal, proving class number one for Q square root of fourteen. Therefore

The Dedekind factorization theorem says: if $K=\mathbb{Q}(\theta )$ with $\theta$ integral, minimal polynomial of an algebraic element $f\in \mathbb{Z}[X]$, and the rational prime $p$ does not divide $[{\mathcal{O}}_K:\mathbb{Z}[\theta ]]$, factor $\bar{f}={\prod }_i{\bar{f}}_i^{e_i}$ into distinct monic irreducibles over ${\mathbb{F}}_p$. Then the distinct prime ideals above $p$ are $P_i=(p,f_i(\theta ))$, with integer lifts $f_i$, andThe index condition is part of the theorem and must be checked before applying it at a ramified prime.

For this cubic, $X^3-6$ is Eisenstein and has discriminant $-972$. We first verify ${\mathcal{O}}_K=\mathbb{Z}[\theta ]$. The square of the index divides 972, so only two and three can divide the index. If either prime $p$ divided it, the finite quotient group would contain an element of order $p$, giving an integral element $(a+b\theta +c{\theta }^2)/p$ with digits $0\le a,b,c<p$, not all zero. Its field norm isFor $p=2$, the numerator has valuation zero if $a=1$, valuation one if $a=0,b=1$, and valuation two if $a=b=0,c=1$. For $p=3$ the same three cases, according to the first nonzero digit, give valuations zero, one and two. None gives an integer field norm after dividing by $p^3$, contradicting integrality. Thus the index is one.

Multiplication by $a+b\theta$ in the power basis, or the product over the three conjugates, gives $\boxed{N(a+b\theta )=a^3+6b^3}$. DefineReduction of the cubic gives $X^3$ at two and three, $(X-1)(X^2+X+1)$ at five, and $(X-3)(X-5)(X-6)$ at seven. The quadratic factor at five is irreducible since its discriminant is two, a nonsquare modulo five. HenceThe norms are respectively $2,3,5,25,7,7,7$. Norms and reduction of the elements at those primes giveFor example their absolute element field norms are $6,5,2,21,70$; each indicated prime divides the element by substitution in its residue field, and the product of the indicated ideal norms already equals that absolute field norm. Thus no additional factor or exponent is possible.

In the ideal of the specified quotient every prime exponent cancels:Equality with the unit ideal implies that both $\mu$ and its inverse are integral, so $\boxed{\mu \text{ is a unit}}$. For the real root, $1<\theta <2$. The numerator is negative and has absolute value less than two, while the denominator is greater than five. Thus $-2/5<\mu <0$, proving $\boxed{\mu \ne \pm 1}$. Its field norm is $-1$, consistent with the ideal calculation.

Choose a nonzero integral ideal $B$ whose class is $[A{]}^{-1}$; one can multiply the fractional inverse $A^{-1}$ by a suitable nonzero integer to obtain such a $B$. By the given bound choose $0\ne \beta \in B$ with $|N(\beta )|\le c_{K}N(B)$. Put $I_A=(\beta )B^{-1}$. Since $(\beta )\subseteq B$, multiplication by $B^{-1}$ makes $I_A$ an integral ideal. Its class is $[B{]}^{-1}=[A]$, and multiplicativity of ideal norms givesThis proves the class representative bound without accidentally constructing a representative of the inverse class instead.

To determine the Ideal class group of Q of square root minus thirty-four, write $\eta =\sqrt{-34}$. The given integral basis has discriminant $-136$, so the imaginary-quadratic bound is $4\sqrt{34}/\pi <8$. Every class therefore has a representative of ideal norm at most seven, and factoring such representatives shows that the ideal class group is generated by prime ideals of ideal norm at most seven.

Two ramifies: let $P_2=(2,\eta )$, with $P_2^2=(2)$. Three is inert because $X^2+34\equiv X^2+1$ is irreducible modulo three, so its prime ideal ideal norm is nine and supplies no small generator. At five and seven the roots are $\pm 1$, so the primes of ideal norm five and seven are conjugate pairs. Set $P_5=(5,\eta -1)$ and $P_7=(7,\eta +1)$. Their conjugates have inverse ideal classes. No new prime ideal has ideal norm four, since the only prime above two has residue degree one; six is not a prime power. Thus $[P_2],[P_5],[P_7]$ generate the ideal class group.

The element field norms $N(4+\eta )=50$ and $N(1+\eta )=35$, together with reduction at the split primes, giveThe ideal norm products verify both exponents. Consequently $[P_5{]}^2=[P_2]$ and $[P_7]=[P_5]$, so the whole group is generated by $[P_5]$ and its order divides four. The class $[P_2]$ is not trivial: a generator would be an element of the ring of integers $a+b\eta$ of field norm two, but $a^2+34b^2=2$ has no integer solution. Since $[P_2{]}^2=1$, its order is exactly two. Hence $[P_5]$ has order four and

For integral solutions of x squared minus two equals y cubed, the equation implies $y\ge -1$, so $y+2>0$. If $y$ were even, then $x$ would be even and $x^2-2$ would be two or six modulo eight, whereas $y^3$ would be zero modulo eight. Thus $y$ and $x$ are odd. Also $3\nmid x$: otherwise $x^2-2\equiv 7(\mathrm{mod}9)$, which is not a cubic residue modulo nine. Reducing modulo three then gives $y\equiv 2(\mathrm{mod}3)$. ConsequentlyPut $\eta =\sqrt{-6}$ and $\alpha =x+(y+1)\eta$. Its field norm is $(y+2{)}^3$. The principal ideals $(\alpha )$ and $(\bar{\alpha })$ are coprime. Indeed a common prime ideal has underlying rational prime $p$ dividing $y+2$. The displayed gcd excludes two and three, so both two and $\eta$ are invertible modulo that prime ideal. The difference $\alpha -\bar{\alpha }=2(y+1)\eta$ therefore implies $p\mid y+1$, contradicting $p\mid y+2$.

Their product is $(y+2{)}^3$, so unique factorization of ideals in a number field and coprimality imply $(\alpha )=A^3$ for an integral ideal $A$. In the given ideal class group of order two, $[A{]}^3=1$ implies $[A]=1$. Hence $A=(u+v\eta )$ with integers $u,v$. Equality of principal ideals gives $\alpha =\epsilon (u+v\eta {)}^3$. The only units are $\pm 1$, and both are cubes, so the sign can be absorbed into $u,v$. Taking norms, and using $y+2>0$, givesThe coefficient of $\eta$ gives $y+1=3u^{2}v-6v^3$. Eliminating $y$ with the field norm identity yieldsThe denominator is nonzero for integral $v$. Polynomial division makes the integrality obstruction especially clear:If $u$ is integral, the reciprocal must be an integer, forcing $3v-1=\pm 1$. The only integral possibility is $v=0$. Then $u^2=1$, the field norm gives $y=-1$, and the real coefficient in the cube gives $x=u^3=\pm 1$. Both pairs directly satisfy the original equation. Therefore all integral solutions are

The set ${\mathcal{O}}_K$ consists of the elements of $K$ integral over $\mathbb{Z}$, meaning roots of monic polynomials in $\mathbb{Z}[X]$.

First prove the finite-module criterion for integrality in a slightly stronger form, for any nonzero finitely generated $\mathbb{Z}$-submodule $M\subseteq K$ stable under multiplication by $\alpha$. Choose generators $m_1,\dots ,m_r$ and write $\alpha m_i={\sum }_j{a}_{ij}{m}_j$ with integer coefficients. Multiply the vector equation $(\alpha I-A)m=0$ by its adjugate matrix. This gives $\det (\alpha I-A)m_i=0$ for every generator. Some generator is nonzero and $K$ is a field, so $\det (\alpha I-A)=0$. The polynomial $\det (XI-A)$ is monic with integer coefficients, proving integrality of $\alpha$. This implication needs no prior closure theorem for ${\mathcal{O}}_K$.

Conversely, if $\alpha$ satisfies a monic polynomial of degree $d$, then $M=\mathbb{Z}[\alpha ]$ is generated by $1,\alpha ,\dots ,{\alpha }^{d-1}$ and is stable under $\alpha$. Every $\beta \in M$ also maps $M$ into itself because it is an integer polynomial in $\alpha$; the finite-module criterion for integrality just proved makes every such $\beta$ integral. Thus this $M$ really lies in ${\mathcal{O}}_K$, proving the stated equivalence without circularity.

For two integral elements $\alpha ,\beta$, the module spanned by ${\alpha }^i{\beta }^j$ for $i<d_{\alpha }$, $j<d_{\beta }$ contains one, is finitely generated, and is stable under both elements by their monic equations. It is therefore stable under $\alpha +\beta$ and $\alpha \beta$. The finite-module criterion for integrality proves that both are integral. Negatives follow by replacing a multiplication matrix by its negative, and $0,1$ are integral. Hence $\boxed{{\mathcal{O}}_K\text{ is a ring}}$.

The integral basis of the cubic field of discriminant minus 140 can be obtained as follows. For the specified field, Eisenstein at two makes $X^3+2X+2$ irreducible, and $\theta$ is integral because the polynomial is monic. The discriminant of a monic cubic $X^3+rX+s$ is $-4r^3-27s^2$, soHere ${\Delta }^2$ is the printed notation for the signed discriminant, namely the square of a Vandermonde product of the conjugates; that product need not be real.

Suppose $\eta =(a+b\theta +c{\theta }^2)/2$ is integral with the prescribed binary coefficients. The root traces give $\mathrm{Tr}(1)=3$, $\mathrm{Tr}(\theta )=0$, $\mathrm{Tr}({\theta }^2)=-4$. Thus $\mathrm{Tr}(\eta )=(3a-4c)/2$ must be an integer, forcing $a=0$. If $b=0$, nonzeroness of the coefficient triple forces $c=1$, giving $\eta ={\theta }^2/2$. If $b=1$, multiply by $\theta$ and use ${\theta }^3=-2\theta -2$:Closure of the ring then again gives ${\theta }^2/2\in {\mathcal{O}}_K$.

But $N_{K/\mathbb{Q}}(\theta )=-2$, so the field norm of ${\theta }^{-1}$ is $-1/2$. The field norm of an algebraic integer is an integer, proving ${\theta }^{-1}\notin {\mathcal{O}}_K$. Dividing the defining cubic by $2\theta$ gives ${\theta }^2/2=-1-{\theta }^{-1}$. Thus ${\theta }^2/2$ cannot be integral either.

Finally the discriminant-index formula for an integral lattice says $-140=[{\mathcal{O}}_K:\mathbb{Z}[\theta ]{]}^2\mathrm{disc}(K)$. The square of the integer index divides $140$, so its only possibilities are one and four, giving index one or two. If the index were two, a nonzero coset would supply an integral element $(a+b\theta +c{\theta }^2)/2$ after reducing coefficients modulo two, with a nonzero binary triple. The preceding argument would force the impossible integrality of ${\theta }^2/2$. Hence

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.

The product of ideals $AB$ consists of finite sums ${\sum }_j{a}_j{b}_j$ with $a_j\in A$, $b_j\in B$. Ideal divisibility $P\mid A$ means $A=PC$ for an integral ideal $C$; in this ring it is equivalent to $A\subseteq P$. The ideal norm is $N(A)=|{\mathcal{O}}_K/A|$, equivalently its additive lattice index.

If the prime ideal $P$ divides $AB$ but does not divide $A$, choose $a\in A\setminus P$. For every $b\in B$, $ab\in AB\subseteq P$, so primality gives $b\in P$. Thus $B\subseteq P$, proving $P\mid B$.

Every nonzero proper ideal $A$ is contained in a maximal ideal $P$, which is prime. Then $P\mid A$, so $A=PB$. Norm multiplicativity gives $N(B)=N(A)/N(P)<N(A)$ because $N(P)\ge 2$. Induction on the positive integer $N(A)$ gives a prime-ideal factorization, ending at norm one. For uniqueness, a prime in one factorization divides some prime in the other. Every nonzero prime ideal is maximal, since its quotient is a finite integral domain and hence a field. The two primes therefore coincide. Cancel that common factor using the permitted cancellation law, and continue. This proves uniqueness up to order.

The finite additive group ${\mathcal{O}}_K/A$ has order $N(A)$, so that integer annihilates the class of $1$. ThereforeIn particular an ideal of norm $m$ contains $(m)$. Such ideals correspond to certain additive subgroups of the finite group ${\mathcal{O}}_K/(m)$, so there are finitely many. Finiteness of these quotients follows from an integral basis; a nonzero ideal contains a nonzero principal ideal, whose index is the absolute field norm of its generator.

For the computation put $s=\sqrt{-6}$. The Kummer-Dedekind theorem says that when $p$ does not divide the power-basis index, a factorization $\bar{f}={\prod }_i{\bar{g}}_i^{e_i}$ gives $(p)={\prod }_i(p,g_i(s){)}^{e_i}$, with each factor having norm $p^{\mathrm{deg}{g}_i}$. The given full power basis has index one. Since $X^2+6\equiv X^2(\mathrm{mod}2)$ and $X^2+6\equiv (X-1)(X+1)(\mathrm{mod}7)$,Here $N(P)=2$ and $N(Q)=N(Q^{\prime })=7$. A prime ideal dividing an ideal of norm $98=2\cdot 7^2$ lies above $2$ or $7$, and these are all the prime ideals above them. Unique factorization and norm multiplicativity therefore leave exactlyThey are distinct by their prime-ideal valuations, and each has norm $98$.

The polynomial is irreducible by Eisenstein's criterion at $q$, so $[K:\mathbb{Q}]=n$. Its constant coefficient gives the field normThe defining equation givesIf $q\nmid r$ and $0\le i<n$, thenhas $q$-adic valuation $i-n<0$. It is not an integer. The norm of an algebraic integer is an integer, so $r{\theta }^i/q$ is not integral.

Suppose now that $\gamma$ is integral. Multiply it by ${\theta }^{n-1}$. All terms except $r_0{\theta }^{n-1}/q$ are integral, since their powers of $\theta$ are at least $n$. Thus this remaining term is integral, and the norm obstruction forces $q\mid r_0$. Subtract the integer $r_0/q$ from $\gamma$. Multiply the remainder by ${\theta }^{n-2}$; the only term of exponent below $n$ is $r_1{\theta }^{n-1}/q$, so $q\mid r_1$. Continuing in this way proves $q\mid r_j$ for every $j$. ThereforeFor $n=1$ the same conclusion follows directly from the norm obstruction with $i=0$.

For ${\mathbb{F}}_{q^2}/{\mathbb{F}}_q$, the field norm maps the nonzero elements onto ${\mathbb{F}}_q^{\ast }$: the multiplicative group of a finite field is cyclic, and the power $q+1$ has image of order $q-1$. The field trace is also onto. Indeed it is an ${\mathbb{F}}_q$-linear map into ${\mathbb{F}}_q$, and is not zero because its polynomial $X+X^q$ has degree $q$ and cannot vanish at all $q^2$ field elements. Consequently $a\mapsto \mathrm{Tr}(ac)$ is onto whenever $c\ne 0$.

Let $d\ne 0,1$ be a square-free integer, and let $K=\mathbb{Q}(\sqrt{d})$ be the associated quadratic field. ThenThe pair $1,{\omega }_d$ is an integral basis. The field discriminant is $d$ in the first case and $4d$ in the second. This statement requires $d$ to be a square-free integer: for example, $\mathbb{Q}(\sqrt{8})=\mathbb{Q}(\sqrt{2})$ but $\mathbb{Z}[\sqrt{8}]$ omits $\sqrt{2}$.^[ref]

For $d=2$, the integral basis is $1,\sqrt{2}$, and the field discriminant is $8$. For $d=5$, it is $1,\varphi$ with $\varphi =(1+\sqrt{5})/2$, and the field discriminant is $5$. The identity ${\varphi }^2=\varphi +1$ makes $\mathbb{Z}[\varphi ]$ closed under multiplication. Since $\sqrt{5}=2\varphi -1$, the smaller order in a number field $\mathbb{Z}[\sqrt{5}]$ consists precisely of $a+b\varphi$ with even $b$. This computes its index two and shows concretely why adjoining a square root does not always supply every algebraic integer.

In this second integral basis, the field norm isIn particular, $N(\varphi )=-1$ and ${\varphi }^{-1}=\varphi -1$: the extra algebraic integer is also a unit. The units of the quadratic field Q square root of five describe all its powers.

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 unramified extension of non-Archimedean local fields, the field norm on residue units is surjective: on a cyclic group of order $q^n-1$ it is exponentiation by $(q^n-1)/(q-1)$ and has image of order $q-1$. For a common uniformizer $\pi$ and $r\ge 1$, expansion of the conjugate product givesThe field trace of a finite finite field extension is onto: its polynomial $X+X^q+\cdots +X^{q^{n-1}}$ is nonzero of degree below $q^n$, so defines a nonzero linear map to the base field. Lift a residue norm and correct successively with elements of $1+{\pi }^r{\mathcal{O}}_L$. The infinite product converges by completeness, and its norm is the prescribed unit. This argument also works in positive characteristic and when $p$ divides $n$.

Let $f=X^n+a_{n-1}{X}^{n-1}+\cdots +a_0\in \mathbb{Z}[X]$ satisfy Eisenstein's criterion at a prime number $p$, and let $\theta$ be a root. ThenIndeed, ${\theta }^n/p$ is an algebraic integer, whereas for $p\nmid r$ and $0\le i<n$ the field norm of $r{\theta }^i/p$ has $p$-adic valuation $i-n<0$, so that element is not integral. If $\gamma =p^{-1}{\sum }_{i=0}^{n-1}{r}_i{\theta }^i$ is integral, multiply it by ${\theta }^{n-1}$. Every term except $r_0{\theta }^{n-1}/p$ is integral; thus $p\mid r_0$. Subtract $r_0/p$, multiply the remainder by ${\theta }^{n-2}$, and continue to obtain $p\mid r_i$ for every $i$. Hence there is no element of order $p$ in the finite group ${\mathcal{O}}_{\mathbb{Q}(\theta )}/\mathbb{Z}[\theta ]$, proving the claim. The result concerns the Eisenstein prime only: other primes may still divide the index.

For every positive integer $n$, some imaginary quadratic field has an ideal class of order of a group element greater than $n$. Specifically, take a prime number $p\equiv 1(\mathrm{mod}20)$ with $p>5^n$. In $\mathbb{Z}[\sqrt{-p}]$, the Dedekind factorization theorem gives $(5)=P\overline{P}$, with distinct prime ideals $P=(5,\sqrt{-p}-2)$ and $\overline{P}=(5,\sqrt{-p}+2)$ of ideal norm five. If $P^k=(a+b\sqrt{-p})$ for $1\le k\le n$, the field norm equation $5^k=a^2+p{b}^2$ forces $b=0$. Then $k$ is even and $(a)=(5{)}^{k/2}=P^{k/2}{\overline{P}}^{k/2}$, contradicting unique factorization of ideals in a number field. Thus $[P]$ has order of a group element greater than $n$. The existence of suitable $p$ follows from Dirichlet's theorem on arithmetic progressions.

For an unramified extension of non-Archimedean local fields, let $\varphi$ generate its cyclic Galois group. The ordinary Hilbert theorem 90 supplies $b\in L^{\times }$ with $x=\varphi (b)/b$. A common uniformizer $\pi \in K$ gives $y={\pi }^{-v_L(b)}b\in {\mathcal{O}}_L^{\times }$, retaining the same quotient because $\varphi$ fixes $\pi$. The reverse implication follows by telescoping the field norm.

For a number field $K$ and an algebraic integer $\alpha \in {\mathcal{O}}_K$, the criterion isHere the absolute field norm means the field norm down to $\mathbb{Q}$; its absolute value is one. Necessity follows from $N(\alpha )N({\alpha }^{-1})=1$ with both factors integers. Conversely, multiplication by $\alpha$ on an integral basis is a matrix with integer entries and determinant $\pm 1$. Its inverse also has integer entries, and applying that inverse to $1$ gives ${\alpha }^{-1}\in {\mathcal{O}}_K$. The integrality hypothesis matters: $\alpha =(3+\sqrt{2})/(3-\sqrt{2})=(11+6\sqrt{2})/7$ has field norm one, but is not in $\mathbb{Z}[\sqrt{2}]$.

In $\mathbb{Z}[\sqrt{2}]$, the criterion becomes $a^2-2b^2=\pm 1$. Thus $(1+\sqrt{2}{)}^{-1}=\sqrt{2}-1$ and $(3+2\sqrt{2}{)}^{-1}=3-2\sqrt{2}$ are again algebraic integers. These units produce infinite families of solutions to the Pell equation.

For a finite extension of local fields with normalized discrete valuations, the field norm satisfies the displayed equality. The extended absolute values on a field of all conjugates agree, so $|N(x){|}_K=|x{|}_L^{[L:K]}$. Using $[L:K]=e(L/K)f(L/K)$ and $v_L{|}_K=e(L/K)v_K$ gives the equality. Thus the field norm is a unit precisely when the original element is a unit.