Hilbert's tenth problem for fields of rational functions over finite fields (Q910434)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hilbert's tenth problem for fields of rational functions over finite fields |
scientific article |
Statements
Hilbert's tenth problem for fields of rational functions over finite fields (English)
0 references
1991
0 references
Let F be a finite field of characteristic \(p>2\) and F(t) the field of rational functions in the variable t with coefficients in F. It is proved that the existential theory of F(t) in the language \(\{+,\cdot,0,1,t\}\) is undecidable, and so, there is no algorithm to solve arbitrary polynomial equations over F(t); this is an analogue to Hilbert's tenth problem for the case of a function field. Due to the similarities between \({\mathbb{Q}}\) (the field of rationals) and the common properties of function fields over finite fields, when it comes to the solvability of diophantine equations, this result seems to suggest that the analogue of Hilbert's tenth problem for \({\mathbb{Q}}\) has a negative answer.
0 references
polynomial equations over field of rational functions
0 references
Hilbert's tenth problem
0 references
function fields over finite fields
0 references