A Diophantine problem for Laurent polynomial rings

Pappas, Peter

doi:10.1090/S0002-9939-1985-0776209-6

A Diophantine problem for Laurent polynomial rings

Author: Peter Pappas
Journal: Proc. Amer. Math. Soc. 93 (1985), 713-718
MSC: Primary 03D35; Secondary 11U05
DOI: https://doi.org/10.1090/S0002-9939-1985-0776209-6
MathSciNet review: 776209
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be an integral domain of characteristic zero. We prove that the diophantine problem for the Laurent polynomial ring $R[T,{T^{ - 1}}]$ with coefficients in ${\mathbf{Z}}[T]$ is unsolvable. Under suitable conditions on we then show that either ${\mathbf{Z}}$ or ${\mathbf{Z}}[i]$ is diophantine over $R[T,{T^{ - 1}}]$ .

[1] Martin Davis, Hilbert’s tenth problem is unsolvable, Amer. Math. Monthly 80 (1973), 233–269. MR 0317916, https://doi.org/10.2307/2318447
[2] J. Denef, Hilbert’s tenth problem for quadratic rings, Proc. Amer. Math. Soc. 48 (1975), 214–220. MR 0360513, https://doi.org/10.1090/S0002-9939-1975-0360513-3
[3] J. Denef, The Diophantine problem for polynomial rings and fields of rational functions, Trans. Amer. Math. Soc. 242 , posted on (1978), 391–399. MR 0491583, https://doi.org/10.1090/S0002-9947-1978-0491583-7
[4] J. Denef, Diophantine sets over algebraic integer rings. II, Trans. Amer. Math. Soc. 257 (1980), no. 1, 227–236. MR 549163, https://doi.org/10.1090/S0002-9947-1980-0549163-X
[5] Michael O. Rabin, Computable algebra, general theory and theory of computable fields., Trans. Amer. Math. Soc. 95 (1960), 341–360. MR 0113807, https://doi.org/10.1090/S0002-9947-1960-0113807-4