Exponential Diophantine equations in rings of positive characteristic

DOI10.1142/S0218216520400027zbMATH Open1442.11170arXiv1712.00508OpenAlexW3105436467WikidataQ115523473 ScholiaQ115523473MaRDI QIDQ5111661FDOQ5111661

Authors: A. A. Chilikov, A. Ya Belov 

Publication date: 27 May 2020

Published in: Journal of Knot Theory and Its Ramifications (Search for Journal in Brave)

Abstract: In this paper we discourse basises of representable algebras. This question lead to arithmetic problems. We prove algorithmical solvability of exponential-Diophantine equations in rings represented by matrices over fields of positive characteristic. Consider the system of exponential-Diophantine equations ${\displaystyle }$ sumlimits_{i=1}^s P_{ij}(n_1,dots,n_t) b_{ij0} a_{ij1}^{n_1} b_{ij1} dots a_{ijt}^{n_t}b_{ijt}=0 ${\displaystyle }$ where $b_{ijk},a_{ijk}$ are constants from matrix ring of characteristic $p$, $n_i$ are indeterminates. For any solution $(n_1,dots,n_t)$ of the system we construct a word (over an alphabet containing $p^t$ symbols) $overlinealph{a}_0,dots,overlinealph{a}_q$ where $overlinealph{a}_i$ is a $t$-tuple $langle{n}_1^{(i)},dots,n_t^{(i)}angle$, $n^{(i)}$ is the $i$-th digit in the $p$-adic representation of $n$. The main result of this paper is as follows: the set of words corresponding in this sense to solutions of a system of exponential-Diophantine equations is a regular language (i.e. recognizable by a finite automaton). There exists an effective algorithm which calculates this language. This algorithm is constructed in the paper.

Full work available at URL: https://arxiv.org/abs/1712.00508

Recommendations

• scientific article; zbMATH DE number 1567958
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• scientific article; zbMATH DE number 3845728
• scientific article; zbMATH DE number 95509
• Diophantine unsolvability over \(p\)-adic function fields

zbMATH Keywords

finite automataregular languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Exponential Diophantine equations (11D61) Decidability (number-theoretic aspects) (11U05)

Cites Work

• Title not available (Why is that?)
• Suites algébriques, automates et substitutions
• Title not available (Why is that?)
• Monomial algebras
• Title not available (Why is that?)
• On topological invariants of real algebraic functions
• Algebraic functions, configuration spaces, Teichmüller spaces, and new holomorphically combinatorial invariants
• Cohomologies of the group COS mod 2
• Title not available (Why is that?)
• The representability of algebroidal functions by superpositions of analytic functions and algebroidal functions of one variable
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Exponential Diophantine equations in rings of positive characteristic

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