The diophantine problem for addition and divisibility for subrings of rational functions over finite fields

• Cerda-Romero, Leonidas Antonio ^[2] ; Martínez-Ranero, Carlos ^[1]
  1. [1] Universidad de Concepción

     Universidad de Concepción

     Comuna de Concepción, Chile

     
  2. [2] Escuela Superior Politécnica de Chimborazo.
• Localización: Proyecciones: Journal of Mathematics, ISSN 0716-0917, ISSN-e 0717-6279, Vol. 39, Nº. 3, 2020, págs. 721-735
• Idioma: inglés
• DOI: 10.22199/issn.0717-6279-2020-03-0045
• Enlaces
  • Texto completo
• Resumen

  • It is shown that the positive existential theory of the structure ?S = (S?1F[t];=,F, 0, 1,+, |, f ? tf), where f ? tf is the multiplication by t map, S is non-empty a finite set of irreducible polynomials, and F is a finite field of odd characteristic, is undecidable.

• Referencias bibliográficas
  • A. P. Beltyukov, “Decidability of the universal theory of natural numbers with addition and divisibility”, Journal of soviet mathematics,...
  • L. Cerda-Romero and C. Martínez-Ranero, “The diophantine problem for addition and divisibility over subrings of the rationals”, The journal...
  • A. C. Pheidas, “The diophantine problem for addition and divisibility in polynomial rings (Decidability, undecidability)”, Ph. D. Thesis,...
  • T. Pheidas, “Diophantine undecidability for addition and divisibility in polynomial rings”, Fundamenta mathematicae, vol. 182, no. 3, pp....
  • H. Kornblum and E. Landau, “Über die primfunktionen in einer arithmetischen progression”, Mathematische zeitschrift, vol. 5, no. 1-2, pp....
  • H. W. Lenstra, “On Artins conjecture and Euclids algorithm in global fields”, Inventiones mathematicae, vol. 42, no. 1, pp. 201–224, 1977,...
  • L. Lipshitz, “Undecidable existential problems for addition and divisibility in algebraic number rings. II”, Proceedings of the American Mathematical...
  • L. Lipshitz, “The Diophantine problem for addition and divisibility”, Transactions of the American Mathematical Society, vol. 235, pp. 271–283,...
  • L. Lipshitz, “Undecidable existential problem for addition and divisibility in algebraic number rings”, Transactions of the American Mathematical...
  • J. Robinson, “Definability and decision problems in arithmetic”, Journal of symbolic logic, vol. 14, no. 2, pp. 98–114, Jun. 1949, doi: 10.2307/2266510