= Solution
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 subset>
$$
H_K(f_1,\ldots,f_r;h)=
\{a\in K:h(a)\ne0,\ f_i(a,X)\text{ irreducible of degree }\deg_Xf_i\text{ for all }i\}
$$
is 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 https://www.numdam.org/item/ASENS_1991_4_24_6_739_0.pdf[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]\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 $\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$, consider
$$
f(T,X)=X^p-X-T(T^q-T).
$$
Its 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 $nX^{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.
Back to article page
