Diophantine undecidability over algebraic function fields over finite fields of constants (Q1915694): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jnth.1996.0080 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2035776188 / rank | |||
Normal rank |
Latest revision as of 21:55, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diophantine undecidability over algebraic function fields over finite fields of constants |
scientific article |
Statements
Diophantine undecidability over algebraic function fields over finite fields of constants (English)
0 references
5 March 1997
0 references
Let \(F(t)\) be a function field over a finite field \(F\). Let \(K\) be a finite extension of \(F(t)\). One can ask the following analogue of Hilbert's Tenth problem for \(K\): Is the existential theory of \(F(t)\) in the language \(\{0,1,t,+,\cdot\}\) decidable, that is, is there an algorithm which checks the existence of solutions \((x_1,\dots,x_n)\) of an arbitrary polynomial equation \(f=0\) in \(K\) with \(f\in F[t,X_1,\dots, X_n]\)? The author shows that the answer to this question is ``No''. This is the first result for algebraic function fields of arbitrary degree over \(F(t)\) and may be an evidence for the similar question for number fields, an outstanding open problem. The similar question for arbitrary algebraic function fields over any \(F\) remains open.
0 references
diophantine undecidability
0 references
function field over a finite field
0 references
analogue of Hilbert's Tenth problem
0 references
existential theory
0 references
existence of solutions
0 references