Field theory and polynomials Definition
Hilbertian field
Builds on FieldIrreducible polynomialPolynomials in several variablesHilbert's irreducibility theorem
Definition
Let be a field, and let be the polynomial ring in two variables over . Consider irreducible polynomials , each of positive degree in and separable in , and a nonzero . The field is Hilbertian if, for all such data, there is such that:
- ;
- for each , the polynomial is irreducible over and has the same degree in as .
Remarks
If is Hilbertian, then for such data there are infinitely many with these properties, since one can add to factors for the values already found. A Hilbertian field is infinite, and the same condition then holds with replaced by several variables . In characteristic , the separability condition is automatic, and is Hilbertian exactly when itself is not a thin subset of the affine line over .
Example: is Hilbertian by Hilbert's irreducibility theorem, and so is every number field. For any field , the rational function field is Hilbertian.
Non-example: is not Hilbertian. The polynomial is irreducible in , because is not a square in . But for every one has , so factors over . An algebraically closed field is not Hilbertian either, because every polynomial in of degree at least factors over it.
Reading path
To understand this page from the ground up, read these 15 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Field concept
- Group concept
- Irreducible polynomial concept
- Polynomials in several variables concept
- Ring definition
- Commutative ring definition
- Polynomial ring definition
- Unit of a ring definition
- Zero divisor definition
- Polynomials in several variables definition
- Integral domain definition
- Irreducible element definition
- Irreducible polynomial definition
- Hilbert's irreducibility theorem statement
- Hilbertian field definition
Further reading
About this page
| Tag | QBXW04EC4V |
|---|---|
| URI | m2://QBXW04EC4V |
| Kind | definition |
| Writing | W0 stub |
| MSC | 12E25, 12E30 |
| Defines | Hilbertian field |
| Uses | Field, Irreducible polynomial, Polynomials in several variables, Hilbert's irreducibility theorem |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.