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
• 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.