Hilbert's irreducibility theorem

Last updated August 21, 2021

In number theory, Hilbert's irreducibility theorem, conceived by David Hilbert in 1892, states that every finite set of irreducible polynomials in a finite number of variables and having rational number coefficients admit a common specialization of a proper subset of the variables to rational numbers such that all the polynomials remain irreducible. This theorem is a prominent theorem in number theory.

Formulation of the theorem

Hilbert's irreducibility theorem. Let

f_{1}(X_{1},\ldots ,X_{r},Y_{1},\ldots ,Y_{s}),\ldots ,f_{n}(X_{1},\ldots ,X_{r},Y_{1},\ldots ,Y_{s})

be irreducible polynomials in the ring

\mathbb {Q} (X_{1},\ldots ,X_{r})[Y_{1},\ldots ,Y_{s}].

Then there exists an r-tuple of rational numbers (a₁, ..., a_r) such that

f_{1}(a_{1},\ldots ,a_{r},Y_{1},\ldots ,Y_{s}),\ldots ,f_{n}(a_{1},\ldots ,a_{r},Y_{1},\ldots ,Y_{s})

are irreducible in the ring

\mathbb {Q} [Y_{1},\ldots ,Y_{s}].

Remarks.

It follows from the theorem that there are infinitely many r-tuples. In fact the set of all irreducible specializations, called Hilbert set, is large in many senses. For example, this set is Zariski dense in $\mathbb {Q} ^{r}.$
There are always (infinitely many) integer specializations, i.e., the assertion of the theorem holds even if we demand (a₁, ..., a_r) to be integers.
There are many Hilbertian fields, i.e., fields satisfying Hilbert's irreducibility theorem. For example, number fields are Hilbertian.^[1]
The irreducible specialization property stated in the theorem is the most general. There are many reductions, e.g., it suffices to take $n=r=s=1$ in the definition. A result of Bary-Soroker shows that for a field K to be Hilbertian it suffices to consider the case of $n=r=s=1$ and $f=f_{1}$ absolutely irreducible, that is, irreducible in the ring K^alg[X,Y], where K^alg is the algebraic closure of K.

Applications

Hilbert's irreducibility theorem has numerous applications in number theory and algebra. For example:

The inverse Galois problem, Hilbert's original motivation. The theorem almost immediately implies that if a finite group G can be realized as the Galois group of a Galois extension N of

E=\mathbb {Q} (X_{1},\ldots ,X_{r}),

then it can be specialized to a Galois extension N₀ of the rational numbers with G as its Galois group.^[2] (To see this, choose a monic irreducible polynomial f(X₁, ..., X_n, Y) whose root generates N over E. If f(a₁, ..., a_n, Y) is irreducible for some a_i, then a root of it will generate the asserted N₀.)

Construction of elliptic curves with large rank.^[2]

Hilbert's irreducibility theorem is used as a step in the Andrew Wiles proof of Fermat's Last Theorem.

If a polynomial $g(x)\in \mathbb {Z} [x]$ is a perfect square for all large integer values of x, then g(x) is the square of a polynomial in $\mathbb {Z} [x].$ This follows from Hilbert's irreducibility theorem with $n=r=s=1$ and

f_{1}(X,Y)=Y^{2}-g(X).

(More elementary proofs exist.) The same result is true when "square" is replaced by "cube", "fourth power", etc.

Generalizations

It has been reformulated and generalized extensively, by using the language of algebraic geometry. See thin set (Serre).

Related Research Articles

In mathematics, a finite field or Galois field is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod $p$ when $p$ is a prime number.

In mathematics, particularly in algebra, a field extension is a pair of fields $such that the operations of E are those of F restricted to E . In this case, F is an extension field of E and E is a subfield of F . For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers.$

In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the polynomials that give rise to them via Galois groups is called Galois theory, so named in honor of Évariste Galois who first discovered them.

In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm which, for any given Diophantine equation, can decide whether the equation has a solution with all unknowns taking integer values.

In mathematics, specifically ring theory, a principal ideal is an ideal $in a ring that is generated by a single element of through multiplication by every element of The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset generated by a single element which is to say the set of all elements less than or equal to in$

Hilbert's Nullstellensatz is a theorem that establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry, a branch of mathematics. It relates algebraic sets to ideals in polynomial rings over algebraically closed fields. This relationship was discovered by David Hilbert who proved the Nullstellensatz and several other important related theorems named after him.

In mathematics, the Abel–Ruffini theorem states that there is no solution in radicals to general polynomial equations of degree five or higher with arbitrary coefficients. Here, general means that the coefficients of the equation are viewed and manipulated as indeterminates.

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials. The property of irreducibility depends on the nature of the coefficients that are accepted for the possible factors, that is, the field or ring to which the coefficients of the polynomial and its possible factors are supposed to belong. For example, the polynomial $x 2 - 2$ is a polynomial with integer coefficients, but, as every integer is also a real number, it is also a polynomial with real coefficients. It is irreducible if it is considered as a polynomial with integer coefficients, but it factors as $if it is considered as a polynomial with real coefficients. One says that the polynomial x 2 - 2 is irreducible over the integers but not over the reals.$

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space $over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .$

In field theory, a subfield of algebra, an algebraic field extension $is called a separable extension if for every, the minimal polynomial of over F is a separable polynomial. There is also a more general definition that applies when E is not necessarily algebraic over F . An extension that is not separable is said to be inseparable .$

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, the ring of integers of an algebraic number field $is the ring of all algebraic integers contained in . An algebraic integer is a root of a monic polynomial with integer coefficients: . This ring is often denoted by or . Since any integer belongs to and is an integral element of, the ring is always a subring of .$

In Galois theory, the inverse Galois problem concerns whether or not every finite group appears as the Galois group of some Galois extension of the rational numbers $. This problem, first posed in the early 19th century, is unsolved.$

In abstract algebra, Hilbert's Theorem 90 is an important result on cyclic extensions of fields that leads to Kummer theory. In its most basic form, it states that if L/K is an extension of fields with cyclic Galois group G = Gal(L/K) generated by an element $and if is an element of L of relative norm 1, that is$

In mathematics, a field $is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967.$

In mathematics and computer algebra, factorization of polynomials or polynomial factorization expresses a polynomial with coefficients in a given field or in the integers as the product of irreducible factors with coefficients in the same domain. Polynomial factorization is one of the fundamental components of computer algebra systems.

In commutative algebra, an element b of a commutative ring B is said to be integral overA, a subring of B, if there are n ≥ 1 and a_j in A such that

In mathematics, an algebraic number field is an extension field $of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .$

References

D. Hilbert, "Uber die Irreducibilitat ganzer rationaler Functionen mit ganzzahligen Coefficienten", J. reine angew. Math. 110 (1892) 104–129.

↑ Lang (1997) p.41
1 2 Lang (1997) p.42

Lang, Serge (1997). Survey of Diophantine Geometry. Springer-Verlag. ISBN 3-540-61223-8. Zbl 0869.11051.
J. P. Serre, Lectures on The Mordell-Weil Theorem, Vieweg, 1989.
M. D. Fried and M. Jarden, Field Arithmetic, Springer-Verlag, Berlin, 2005.
H. Völklein, Groups as Galois Groups, Cambridge University Press, 1996.
G. Malle and B. H. Matzat, Inverse Galois Theory, Springer, 1999.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[L41-1] Lang (1997) p.41

[L42-2] 1 2 Lang (1997) p.42

[1]

[2]