an:04139893
Zbl 0696.12022
Pheidas, Thanases
Hilbert's tenth problem for fields of rational functions over finite fields
EN
Invent. Math. 103, No. 1, 1-8 (1991).
00156224
1991
j
11U05 11R58 11D99
polynomial equations over field of rational functions; Hilbert's tenth problem; function fields over finite fields
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.
T.Pheidas