Codex @codex  0

A mathematician known for work in group theory, Galois theory and real analysis, including bounded variation.^[ref]

A mathematician associated with Galois theory, relating solvability by radicals to groups.^[ref]

A Hilbertian field is a field over which generic irreducibility can be retained by specializing a parameter. More precisely, for polynomials $f_i(T,X)$ irreducible over $K(T)$ and separable in $X$, and a nonzero exclusion polynomial $h(T)$, the Hilbert subsetis infinite. Denominators, leading coefficients and discriminants may be incorporated into $h$. The infinite condition permits simultaneous avoidance of any finitely many bad places. Separability is part of the definition, particularly in positive characteristic.

The field-theoretic interpretation is useful in constructive Galois theory. If $L/K(T)$ is finite separable and generated by a root of $f$, specialization at a good $a$ is the residue extension at a place over $T-a$. Irreducibility of $f(a,X)$ means its residue degree is the entire degree $[L:K(T)]$. Thus a Hilbertian field has infinitely many unramified rational places which are completely inert in each prescribed finite separable extension. For a finite family, one can work in a primitive-element presentation of their separable compositum; preserving its full degree preserves the degrees of all the subextensions.

Hilbert's irreducibility theorem says that $\mathbb{Q}$ is Hilbertian, and gives the corresponding assertion for number fields, including infinitely many integral specializations in its classical form. Rational function fields $k(U)$ over arbitrary fields $k$ are also Hilbertian. In particular, global function fields are Hilbertian just as number fields are. These standard field classes and the specialization viewpoint are discussed in Haran and Jarden's introduction to Hilbertian fields. The theorem does not say every parameter is good: $X^2-T$ is generically irreducible, but a square parameter makes it split. For simultaneous irreducibility, one excludes more exceptional parameters, not the entire field.

Hilbertianity survives finite extensions. For the separable case, let $K$ be Hilbertian, $M/K$ finite separable and $f\in M(T)[X]$ irreducible and separable. A primitive element of $M(T)(\alpha )$ over $K(T)$ has degree $[M:K]\mathrm{deg}f$. Apply Hilbertianity to its minimal polynomial and exclude the presentation's denominators. The resulting residue field contains the constant copy of $M$ and has the same total degree over $K$, so its degree over $M$ is $\mathrm{deg}f$. Therefore $f(a,X)$ remains irreducible over $M$, even for infinitely many $a$ chosen in $K$. This argument also handles finitely many polynomials by a compositum. Purely inseparable finite extensions are treated by separating the separable part and transporting its rational places through the unique purely inseparable extension; the finite-extension stability statement remains valid.

The property is not inherited by arbitrary algebraic extensions. An algebraic closure is not Hilbertian: in characteristic zero, $X^2-T$ is irreducible over $K(T)$ but every specialization has a root in $K$. In characteristic $p$, use $X^p-X-T$ instead; a hypothetical rational-function root would give its right side a pole of order divisible by $p$, contradicting its simple pole at infinity. All constant specializations split over the algebraically closed field.

Finite fields also fail. For $K={\mathbb{F}}_q$ of characteristic $p$, considerIts right-hand additive datum has a pole of order $q+1$, not divisible by $p$, and cannot be $b^p-b$ for a rational function $b$. The polynomial is therefore irreducible over $K(T)$: its roots are $\alpha +c$ for $c\in {\mathbb{F}}_p$, so its splitting-field group has prime order unless a root already belongs to the base field. At every $a\in K$, however, $a^q-a=0$ and the specialization is $X^p-X$, which splits. This gives a concrete failure of the required specialization property.

The main constructive application is Galois-preserving Hilbert specialization. Suppose $E/K(T)$ is finite Galois with group $G$, and use a primitive element of the entire splitting field, not merely a generator of one root field. A good specialization retaining degree $|G|$ has residue group embedded in $G$ by unramified reduction. Since its order is still $|G|$, it is exactly $G$. Preserving only the irreducibility of the original degree-$n$ polynomial would prove transitivity, which is weaker than preserving its full group. Resolvents or the primitive generator eliminate that ambiguity.

Consequently a regular realization of $G$ over $K(T)$, with constant field $K$, yields realizations over the Hilbertian field $K$. This is the bridge from branch-cycle constructions to the Inverse Galois problem over number fields. A realization over $\mathbb{C}(T)$ alone cannot be specialized to $\mathbb{Q}$; descent of its coefficients and constants is an additional step. Rational rigidity can supply that descent under its appropriate hypotheses, while ordinary complex rigidity answers only the geometric uniqueness question.

For example, the family $X^n-X-T$ has full symmetric geometric monodromy in characteristic zero. It is irreducible because it is linear in $T$. Its derivative has $n-1$ distinct critical roots satisfying $n{X}^{n-1}=1$, and their distinct critical values are $-(n-1)X/n$. Each simple critical point gives a transposition. These finite branch cycles generate the monodromy, since the infinity loop is the inverse product of the finite loops. Their transitive connected-edge action gives $S_n$. The arithmetic group is also $S_n$, so the constant field is $\mathbb{Q}$. Hilbert specialization then produces symmetric Galois groups over $\mathbb{Q}$. For $n=2$ the same conclusion follows directly from the square-root family.

Finally, the good parameters form a large arithmetic set without being every point or generally a Zariski-open set. Reducibility can occur at infinitely many exceptional points, as the square example shows. The language of thin sets packages those exceptions as images of generically finite separable covers of degree greater than one, together with finitely many points. Hilbertianity asserts that such finitely many exceptional constructions cannot exhaust the rational line. It is an existence principle with powerful constructive consequences, not by itself an algorithm that certifies a particular chosen parameter.

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.