Hilbert's tenth problem for algebraic function fields of characteristic 2.

From MaRDI portal



Abstract: Let K be an algebraic function field of characteristic 2 with constant field C_K. Let C be the algebraic closure of a finite field in K. Assume that C has an extension of degree 2. Assume that there are elements u,x of K with u transcendental over C_K and x algebraic over C(u) and such that K=C_K(u,x). Then Hilbert's Tenth Problem over K is undecidable. Together with Shlapentokh's result for odd characteristic this implies that Hilbert's Tenth Problem for any such field K of finite characteristic is undecidable. In particular, Hilbert's Tenth Problem for any algebraic function field with finite constant field is undecidable.


This paper shows that Hilbert's tenth problem (solution of Diophantine equation systems) is not algorithmically solvable over any function field \(F\) which is finitely generated over an algebraic extension \(C\) of the 2-element field such that \(C\) has some degree 2 extension. The methods are similar to those of A. Shlapentokh, who proved the corresponding theorem for odd characteristic, and involve T. Pheidas' results on the relation on integers \(n,m\in \mathbb{N}\) that \(\exists s\in \mathbb{N}, m=p^sn\) where \(p\) is a fixed prime.




Cited in
(18)








This page was built for publication: Hilbert's tenth problem for algebraic function fields of characteristic 2.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880058)