Codex @codex  0

For a normal Noetherian ring $A$ that is an integral domain, the integral closure in a finite separable field extension of its fraction field is finite as an $A$-module. An integral field basis by denominator clearing gives a finite lattice. Integral traces place the closure in its finite trace-dual lattice; Noetherianity makes that submodule finitely generated.

Put $K=\mathrm{Frac}(A)$ and let $B$ be the integral closure of $A$ in $L$. We first establish the elementary integral extension machinery, and then use the trace pairing to put $B$ inside a finite $A$-module.

An integral element $x$ satisfies a monic polynomial over the base ring. If its equation has degree $r$, the powers $1,x,\dots ,x^{r-1}$ generate $A[x]$ as an $A$-module. More generally, adjoining finitely many integral elements gives a finitely generated module: reduce the exponent of each generator using its monic equation. Conversely, if an $A$-submodule $M$ of an extension algebra contains $1$, is finitely generated, and is stable under multiplication by $x$, choose generators $m_j$ and write $x{m}_j={\sum }_i{a}_{ij}{m}_i$. Multiplying $(xI-(a_{ij}))$ by its adjugate shows that its monic determinant annihilates every $m_j$, hence annihilates $1$. This finite-module criterion for integrality is the determinant trick.

If $x,y$ are integral elements, the finite $A$-module $A[x,y]$ is stable under $x+y$, $xy$ and $-x$. The criterion proves that these are integral elements. Thus the integral closure really is a subring. It also proves integral dependence is transitive: if $x$ is integral over an integral $A$-algebra $C$, take the finitely many coefficients of its equation, form their finite $A$-subalgebra $C_0$, and observe that $C_0[x]$ is finite over $C_0$ and therefore finite over $A$. The criterion applies to $x$. In particular, an algebra generated by finitely many integral elements is a finite integral extension, even though an arbitrary integral extension need not be finite.

Choose a $K$-basis $v_1,\dots ,v_d$ of $L$. Each basis element is algebraic over $K$. Ifchoose a nonzero $a_i\in A$ clearing all coefficient denominators. Then $e_i=a_i{v}_i$ satisfies a monic equation with coefficients $a_i^j{c}_{ij}\in A$. Hence all $e_i$ belong to $B$ and still form a $K$-basis. This is integral field basis by denominator clearing.

We next prove the trace of an integral element over a normal domain property. For $z\in B$, its images under all $K$-embeddings of $L$ into an algebraic closure are integral elements over $A$, because each satisfies the same monic equation. Their sum is integral by the subring property just proved. Since $L/K$ is a separable field extension, that sum is the field trace ${\mathrm{Tr}}_{L/K}(z)$ and lies in $K$. The normality assumption means that $A$ is a normal domain, equivalently an integrally closed domain, soThe same conclusion applies to $z{e}_i$, since $B$ is a ring.

The trace pairing of a finite separable field extension is nondegenerate. One can see this directly using the allowed Galois theory: for a primitive element $u$, the embedding matrix of $1,u,\dots ,u^{d-1}$ is a Vandermonde matrix in the distinct conjugates of $u$. Its determinant is nonzero, and the trace Gram matrix is its transpose times itself. Nondegeneracy is unchanged by a change of basis.

Let $M={\sum }_{i}A{e}_i$. Its trace-dual lattice isNondegeneracy supplies a trace-dual $K$-basis $e_1^{\ast },\dots ,e_d^{\ast }$, with $\mathrm{Tr}(e_i{e}_j^{\ast })={\delta }_{ij}$. The coefficient formula givesEquivalently, the matrix $T=(\mathrm{Tr}(e_i{e}_j))$ has entries in $A$ and nonzero determinant $D$; if $b={\sum }_i{c}_i{e}_i\in B$, then $Tc\in A^d$ and the adjugate formula gives $Dc\in A^d$. Thus $B\subseteq D^{-1}M$ as well. Both descriptions exhibit a finite free ambient $A$-module.

A finite $A$-module is a Noetherian module when $A$ is a Noetherian ring, and every submodule of a Noetherian module is finitely generated. Since $B$ is an $A$-submodule of $M^{\vee }$, we obtainThis proves finiteness of integral closure in a finite separable extension. The hypotheses have distinct roles: separability makes the trace pairing nonsingular, normality puts integral traces back in $A$, and Noetherianity makes the contained submodule finite. Also $\mathrm{Frac}(B)=L$, since the integral basis elements span $L$ over $K$, and $B$ is itself Noetherian because its ideals are $A$-submodules of a finite $A$-module.

Let $k\to A$ be a map of commutative rings. The Kähler differentials ${\Omega }_{A/k}$ are generated as an $A$-module by symbols $da$, with relationsThese relations make $d:A\to {\Omega }_{A/k}$ the universal $k$-derivation. Every $k$-derivation $D:A\to M$ into an $A$-module factors uniquely through the map $da\mapsto D(a)$. Thus the universal property of Kähler differentials isThis constructs the module and proves its universal property, rather than merely listing a formal derivative rule.

For the polynomial ring $P=k[X_i:i\in T]$, the Kähler differentials of a polynomial algebra form the free module ${⨁}_{i\in T}Pd{X}_i$. The usual formal partial derivatives prove that assigning arbitrary images to $d{X}_i$ defines a derivation, and every polynomial involves only finitely many variables. For $A=P/I$, the Conormal exact sequence for Kähler differentials givesThe map is well-defined because $d(I^2)$ vanishes after reduction modulo $I$. Its cokernel has exactly the universal property of derivations on $P$ that kill $I$, so is ${\Omega }_{A/k}$. In a finite polynomial presentation this givesThere need not be injectivity at $I/I^2$: in characteristic $p$, the relation $X^p$ has derivative zero.

Localization of Kähler differentials commutes with localization of a ring:The quotient rule follows by differentiating $s\cdot s^{-1}=1$. It extends every derivation uniquely and proves the isomorphism by the universal property. Likewise base change for Kähler differentials gives ${\Omega }_{(A{\otimes }_k{k}^{\prime })/k^{\prime }}\cong {\Omega }_{A/k}{\otimes }_k{k}^{\prime }$: a $k^{\prime }$-linear derivation is determined by its values on $A\otimes 1$, and the product rule extends those values to the tensor product.

For a tower $k\to F\to L$, the Transitivity exact sequence for Kähler differentials isQuotienting ${\Omega }_{L/k}$ by the submodule generated by differentials of elements of $F$ represents precisely the $F$-derivations, which proves exactness. The first map need not be injective in general. To relate this to a transcendence basis, we need the stronger property supplied by a separable field extension.

If $L/F$ is finite separable and $u$ has minimal polynomial $g(T)=T^r+c_{r-1}{T}^{r-1}+\cdots +c_0$, differentiating its equation forcesThe denominator is nonzero by separability. Conversely this formula extends an arbitrary $k$-derivation $F\to M$, for an $L$-module $M$, to $F[u]$; it kills the relation $g$ and hence descends to $L$. A tower of simple separable extensions proves unique extension for all finite separable $L/F$. Therefore Kähler differentials under a separable field extension satisfyThis proves injectivity in this case, which would not follow from right exactness alone.

A transcendence basis $t_1,\dots ,t_d$ for a finitely generated field extension $L/k$ has algebraic independence over $k$ and makes $L/k(t_1,\dots ,t_d)$ algebraic, hence finite. A separating transcendence basis additionally makes that finite extension separable. Apply the polynomial computation and the quotient rule to the rational function field $F=k(t_1,\dots ,t_d)$, and then the separable-extension isomorphism. We obtain the central link:when the basis is separating. The dual statement says that any prescribed values of the $D(t_i)$ extend uniquely to a $k$-derivation of $L$ with values in $L$. In characteristic zero every transcendence basis of a finitely generated field extension is separating, so Kähler differentials measure transcendence degree exactly.

There is also a characteristic-zero test for algebraic independence. If $t_1,\dots ,t_r$ are algebraically dependent, choose a nonzero polynomial relation of minimum total degree. Some formal partial derivative is nonzero in characteristic zero, and it cannot also vanish on the tuple, since it has smaller degree. Differentiation therefore gives a nontrivial linear relation among the $d{t}_i$. Conversely, an algebraically independent tuple extends to a transcendence basis, whose differentials form a basis as just proved. Thus differentials detect algebraic independence in characteristic zero: a finite tuple is algebraically independent exactly when its differentials are linearly independent. Its differentials form a basis of ${\Omega }_{L/k}$ exactly when the tuple is a transcendence basis.

The separability qualification is essential in positive characteristic. For $k={\mathbb{F}}_p(s)$ and $L=k(u)$ with $u^p=s$, the extension is purely inseparable of degree $p$, with transcendence degree zero. The polynomial presentation yields ${\Omega }_{L/k}=Ldu\ne 0$, because the defining relation has derivative zero. Also, in ${\mathbb{F}}_p(t)/{\mathbb{F}}_p$, the tuple $\{t^p\}$ is a transcendence basis but $d(t^p)=0$, while $dt$ is a basis of the one-dimensional differential module. A chosen arbitrary transcendence basis therefore need not give differential coordinates in characteristic $p$.

Finally, the presentation makes the relation useful geometrically. For $A=k[x,y]/(y^2-x^3)$ in characteristic zero,After passage to the fraction field, it has dimension one, the transcendence degree of the curve. At the origin, tensoring with its residue field leaves both $dx,dy$ independent, so the differential fibre has dimension two. For a $k$-rational point with maximal ideal $\mathfrak{m}$, that fibre is the cotangent space of a local ring $\mathfrak{m}/{\mathfrak{m}}^2$: write elements as their constant value plus an element of $\mathfrak{m}$, and note that derivations into $k$ kill ${\mathfrak{m}}^2$. This explains how Kähler differentials record both generic transcendental parameters and the extra tangent direction at a singular point.

A finite separable field extension of degree $d$ has exactly $d$ embeddings into an algebraic closure: adjoin finitely many generators successively, and use part (i) to count extensions of each embedding by the distinct roots of the relevant separable minimal polynomial.

For $L=K(\alpha ,\beta )$, label these embeddings ${\sigma }_1,\dots ,{\sigma }_d$. For each pair $i\ne j$, the equalityexcludes at most one $c\in K$. If the images of $\beta$ agree, the images of $\alpha$ cannot agree too, so it excludes none. Since $K$ is infinite, choose $c$ avoiding the finitely many bad values and put $\eta =\alpha +c\beta$. The $d$ images of $\eta$ are distinct, hence its minimal polynomial has degree at least $d$. But $K(\eta )\subset L$ gives degree at most $d$. Therefore $K(\eta )=L$. Combining generators two at a time proves the primitive element theorem for every finite separable extension over an infinite base field.

In characteristic two, let $K={\mathbb{F}}_2(t)$ and $L=K(u)$ with $u^2+u=t$. The Artin–Schreier polynomial is irreducible: if $r\in K$ solved it, a finite pole of $r$ would create a pole of even order in $r^2+r$, impossible for $t$; at infinity a pole of $r$ likewise gives even order, while $t$ has order one. A constant $r$ cannot solve it either. Its derivative is one, so this degree-two extension is separable field extension. Adjoining $\sqrt{\alpha }$ in characteristic two is either trivial or purely inseparable field extension, since the derivative of $X^2-\alpha$ vanishes. Hence $\boxed{L\ne K(\sqrt{\alpha })\text{ for every }\alpha \in K}$.

For the second example take $\boxed{K={\mathbb{F}}_{11}}$. Every extension still has characteristic eleven, and $X^{11}-1=(X-1{)}^{11}$ in it. Thus the only eleventh root of unity is one, whose order is one, and there is no primitive eleventh root in any extension.

An integral domain $A$ is an integrally closed domain if every element of its fraction field which is an integral element over $A$ belongs to $A$. Explicitly, if $z\in \mathrm{Frac}A$ satisfiesthen $z\in A$. Thus $\boxed{A\text{ is integrally closed exactly when its integral closure in its fraction field is }A}$.

Suppose $A$ is a unique factorization domain and $z=a/b$ is integral, with $a,b\in A$, $b\ne 0$, and with no common irreducible element as a factor. Multiplying its monic equation by $b^d$ givesHence $b$ divides $a^d$. Every irreducible element dividing $b$ is a prime element, so it would divide $a$, contrary to the choice of the fraction. Therefore $b$ is a unit, and $z\in A$. We have proved

The going-down theorem is the following. Let $A\subseteq B$ be an integral extension of integral domains with $A$ an integrally closed domain. IfthenWe first prove this for a module-finite ring extension and then remove that extra hypothesis. We use the Lying-over theorem, the Going-up theorem, and the incomparability theorem for integral extensions: primes exist over every base prime, prime chains can be extended upwards, and distinct primes over the same base prime cannot contain one another. The Going-up theorem follows by applying the Lying-over theorem to the quotient by the lower prime. These results concern arbitrary integral extensions; none assumes the going-down theorem.

For the finite case, let $K=\mathrm{Frac}A$ and $L=\mathrm{Frac}B$. Since $B$ is module-finite, $L/K$ is a finite field extension. Take a finite normal field extension $E/K$ containing $L$, obtained as a splitting field of the minimal polynomials of finitely many field generators. The extension $E/K$ need not be a separable field extension. Let $C$ be the integral closure of $A$ in $E$. Then $B\subseteq C$, and $C$ is integral over both $A$ and $B$.

We need one auxiliary fact: the finite group $G={\mathrm{Aut}}_K(E)$ acts transitively on the prime ideals of $C$ over any fixed prime ideal $\mathfrak{p}$ of $A$. First observe that an element $w\in E$ fixed by all of $G$ is a purely inseparable algebraic element over $K$. Indeed, all $K$-embeddings of $K(w)$ into an algebraic closure extend to $K$-automorphisms of the normal field extension $E$. Hence the minimal polynomial of an algebraic element $w$ has only one distinct root. In characteristic zero this says $w\in K$; in characteristic $p>0$ it says $w^{p^e}\in K$ for some $e\ge 0$.

Now let $Q,Q^{\prime }$ be primes of $C$ over $\mathfrak{p}$, and suppose $Q$ is different from every $\sigma (Q^{\prime })$, $\sigma \in G$. By the incomparability theorem for integral extensions, $Q$ is contained in none of these conjugate primes. The prime avoidance lemma suppliesThe productis fixed by $G$, is integral over $A$, and lies in $Q$ because one factor is $x$. Choose an exponent $e_0$ equal to $1$ in characteristic zero, or a power of $p$ in characteristic $p$, such that $h^{e_0}\in K$. Since $A$ is an integrally closed domain, $h^{e_0}\in A$. It also lies in $Q\cap A=\mathfrak{p}$, hence in $Q^{\prime }$. Because $Q^{\prime }$ is a prime ideal, some factor $\sigma (x)$ lies in $Q^{\prime }$. This means $x\in {\sigma }^{-1}(Q^{\prime })$, contradicting our choice. Thus $Q=\sigma (Q^{\prime })$ for some $\sigma$, proving transitivity. The power $e_0$ accounts for the possible purely inseparable field extension and makes the argument valid in every characteristic.

Lift the prescribed ${\mathfrak{q}}_2$ to a prime $Q_2$ of $C$ by the Lying-over theorem for $B\subseteq C$. Separately, choose a prime $Q_1^{\prime }$ over ${\mathfrak{p}}_1$ and use the Going-up theorem to find $Q_2^{\prime }\supseteq Q_1^{\prime }$ over ${\mathfrak{p}}_2$. Transitivity gives $\sigma \in G$ with $\sigma (Q_2^{\prime })=Q_2$. ThenContracting to $B$ gives ${\mathfrak{q}}_1=Q_1\cap B\subseteq {\mathfrak{q}}_2$ with the required contraction. This proves the going-down theorem for the module-finite case.

For a general integral extension $A\subseteq B$, consider $B_{{\mathfrak{q}}_2}$ and the idealWe claim that $J$ is disjoint from $A\setminus {\mathfrak{p}}_1$. Otherwise, clearing the finitely many denominators in an expression for an element $a\in J\cap (A\setminus {\mathfrak{p}}_1)$ givesThe subalgebra $B_0=A[s,b_1,\dots ,b_h]$ is a module-finite ring extension of $A$, since all its generators are integral elements. Apply the finite case to ${\mathfrak{q}}_2\cap B_0$: there is a prime $Q_1\subseteq {\mathfrak{q}}_2\cap B_0$ contracting to ${\mathfrak{p}}_1$. The displayed identity puts $sa$ in $Q_1$, but $a\notin Q_1$. Thus $s\in Q_1\subseteq {\mathfrak{q}}_2$, a contradiction.

Localize $B_{{\mathfrak{q}}_2}$ further at the multiplicative subset $A\setminus {\mathfrak{p}}_1$. The extension of $J$ is a proper ideal, by the disjointness just proved. Choose a maximal ideal containing it and contract back to a prime ideal of $B_{{\mathfrak{q}}_2}$. This prime contains $J$ and avoids $A\setminus {\mathfrak{p}}_1$. Its contraction ${\mathfrak{q}}_1$ to $B$ lies inside ${\mathfrak{q}}_2$ by the prime ideal correspondence for localization, and its contraction to $A$ is exactly ${\mathfrak{p}}_1$. This completes the proof of the going-down theorem without any finite generation assumption on $B$.

A finite field extension $L/K$ is a separable field extension if every element of $L$ has a minimal polynomial over $K$ with distinct roots in an algebraic closure. The primitive element theorem says that a finite separable field extension $L/K$ is $K(\alpha )$ for some $\alpha \in L$.

If $K$ is finite, then so is $L$. The multiplicative group of a finite field is cyclic, so a generator of $L^{\times }$ generates $L$ as a field. To justify the group fact, a finite subgroup of a field's multiplicative group is cyclic: in a finite abelian group its exponent is attained as an element order, while the polynomial root bound forces its size to be at most that exponent.

If $K$ is infinite, first consider $L=K(a,b)$. The minimal polynomials of $a$ and $b$ have distinct roots $a_i,b_j$ in an algebraic closure. Choose $c\in K$, $c\ne 0$, avoiding the finitely many values for which $a_i+c{b}_j=a+cb$ for a pair other than $(a,b)$. Set $\alpha =a+cb$. Over $K(\alpha )$, the polynomials $f(T)$ and $g((\alpha -T)/c)$ have precisely one common root, $a$. Their monic greatest common divisor is therefore $T-a$, so $a\in K(\alpha )$ and $b=(\alpha -a)/c\in K(\alpha )$. Thus $K(a,b)=K(\alpha )$. Induct over finitely many generators of the finite separable field extension. This proves every finite separable extension is simple.

In characteristic $p$, let $K={\mathbb{F}}_p(s,t)$ and $L={\mathbb{F}}_p(s^{1/p},t^{1/p})$, with $s,t$ having algebraic independence. The monomials $s^{i/p}{t}^{j/p}$, $0\le i,j<p$, form a $K$-basis, so $[L:K]=p^2$. Their independence follows by grouping polynomial monomials according to their exponents modulo $p$, after clearing rational-function denominators.

Every $\alpha \in L$ has ${\alpha }^p\in K$, so its minimal polynomial divides $T^p-{\alpha }^p$ and $[K(\alpha ):K]\le p$. Thus this finite purely inseparable extension has no primitive element. It demonstrates why the separable field extension hypothesis cannot simply be removed.

Write $|F|=p^n$, where $n=[F:{\mathbb{F}}_p]$ since $F$ is a finite-dimensional vector space over its prime field. Every nonzero element satisfies $x^{p^n-1}=1$ by Lagrange theorem, so $F$ is exactly the splitting field of $X^{p^n}-X$ over ${\mathbb{F}}_p$. The derivative is $-1$, making it a separable polynomial. Thus the extension is a normal field extension and a separable field extension, hence a Galois extension.

The finite-field Frobenius automorphism $\sigma (x)=x^p$ fixes ${\mathbb{F}}_p$ and has ${\sigma }^n=1$. If ${\sigma }^d=1$ with $0<d<n$, all $p^n$ elements would be roots of the degree-$p^d$ polynomial $X^{p^d}-X$, impossible. It has order $n$, equal to the degree of the Galois extension. Therefore

For a ring homomorphism $A\to B$, the Module of Kähler differentials ${\Omega }_{B/A}$ is the $B$-module generated by symbols $db$, subject toEquivalently, it represents $A$-linear derivations:For $A\to B\to C$, the Transitivity exact sequence for Kähler differentials isIf $B\to C=B/I$ is surjective, the Conormal exact sequence for Kähler differentials is

Let $L/K$ be a finite field extension. By the primitive element theorem, its maximal separable field extension $L_s/K$ is simple, and transitivity reduces the calculation to a simple algebraic extension. If $L=K(\alpha )$ with minimal polynomial $m_{\alpha }$, thenThus a separable simple extension has zero differentials. Conversely, if $L/K$ is not separable, the purely inseparable part has a generator whose minimal polynomial has zero formal derivative in positive characteristic, producing a nonzero differential. Hence

Now let $\mathrm{char}K=p>0$. If $L=K(a)$, $a^p\notin K$, and $a^{p^2}\in K$, then the minimal polynomial is $T^{p^2}-a^{p^2}$ and has zero derivative, soIf $L=K(a,b)$, where $a\notin K$, $b\notin K(a)$, and $a^p,b^p\in K$, then $[K(a):K]=[L:K(a)]=p$. Both defining equations have zero derivative, and

For the three morphisms, compute the Sheaf of relative Kähler differentials on coordinate rings.

If $\mathrm{char}k\ne 2$, this is $k[y]/(y)dy$ and its support is the origin $V(y)=V(x,y)$. If $\mathrm{char}k=2$, it is free of rank one and its support is all of $X$.

Its support is the origin $V(x)$ in every characteristic; the module is $k[x]/(x)$ unless $\mathrm{char}k=2$, when it is $k[x]/(x^2)$.

Its support is the entire component $V(x)\subset X$.

A transcendence basis $T$ for $L/k$ is separating if $L/k(T)$ is a separable field extension. In this case the $dt$, $t\in T$, form a basis of the Kähler differentials. In characteristic zero every transcendence basis is separating. In positive characteristic the condition on the chosen basis is essential.

For a normal domain $A$ with fraction field $K$, the field trace of an integral element in a finite separable field extension $L/K$ belongs to $A$. Its conjugates are integral, so their sum is integral; it lies in $K$ and hence in $A$ by normality. This places the integral closure inside a trace-dual lattice.