The Diophantine problem in Chevalley groups

DOI10.1016/J.JALGEBRA.2024.04.003MaRDI QIDQ6432911zbMATH OpenOpenAlexFDO

Authors E. I. Bunina, Alexei D. Miasnikov, Eugene Plotkin

Publication date 13 April 2023

Full work available at URL https://doi.org/10.1016/j.jalgebra.2024.04.003

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70) Linear algebraic groups over arbitrary fields (20G15)

Abstract: In this paper we study the Diophantine problem in Chevalley groups $G_{p}i(Phi,R)$, where $Phi$ is an indecomposable root system of rank $>1$, $R$ is an arbitrary commutative ring with $1$. We establish a variant of double centralizer theorem for elementary unipotents $x_{a}lpha(1)$. This theorem is valid for arbitrary commutative rings with $1$. The result is principle to show that any one-parametric subgroup $X_{a}lpha$, $alphainPhi$, is Diophantine in $G$. Then we prove that the Diophantine problem in $G_{p}i(Phi,R)$ is polynomial time equivalent (more precisely, Karp equivalent) to the Diophantine problem in $R$. This fact gives rise to a number of model-theoretic corollaries for specific types of rings.

Recommendations

• The Diophantine problem in the classical matrix groups
• Diophantine problems in solvable groups
• Diophantine questions in the class of finitely generated nilpotent groups
• Problems equivalent to rational Diophantine solvability
• Equations in algebras

Cited in

(1)

• Bounded generation of Steinberg groups over Dedekind rings of arithmetic type

This page was built for publication: The Diophantine problem in Chevalley groups

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