The Diophantine problem in the classical matrix groups

DOI10.1070/IM9104zbMath1487.20011OpenAlexW3096973903MaRDI QIDQ5033989

Mahmood Sohrabi, Alexei G. Myasnikov

Publication date: 24 February 2022

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im9104

zbMATH Keywords

undecidabilitydecidabilityDiophantine problemsequationsclassical matrix groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Linear algebraic groups over adèles and other rings and schemes (20G35) Algebraic geometry over groups; equations over groups (20F70)

Related Items

Regular bi-interpretability of Chevalley groups over local rings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finding all solutions of equations in free groups and monoids with involution
• Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
• On systems of equations over free products of groups.
• Formally \(p\)-adic fields
• On a question of M. Newman on the number of commutators
• The decision problem for exponential diophantine equations
• Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
• The model theory of unitriangular groups
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Canonical representatives and equations in hyperbolic groups
• The complexity of solution sets to equations in hyperbolic groups
• Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity
• First order rigidity of non-uniform higher rank arithmetic groups
• Diophantine problems over local fields. III: Decidable fields
• Elementary equivalence of Chevalley groups
• Solution sets for equations over free groups are EDT0L languages
• Equations in nilpotent groups
• Bounded Elementary Generation of SL n (O)
• EQUATIONS IN A FREE GROUP
• On systems of equations over free partially commutative groups
• Recompression
• SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE
• Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
• Diophantine relationships between algebraic number fields
• WORD EQUATIONS OVER GRAPH PRODUCTS
• Foliations for solving equations in groups: free, virtually free, and hyperbolic groups
• Elementary equivalence of Chevalley groups over local rings
• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS
• Diophantine Sets Over Algebraic Integer Rings. II
• A note on computable real fields
• Hilbert's Tenth Problem for Quadratic Rings
• Diophantine Sets over Some Rings of Algebraic Integers
• Elementary equivalence of unitary linear groups over rings and skew fields
• Equations in Algebras
• Undecidability of equations in free Lie algebras
• Model Theory
• Diophantine problems in solvable groups
• Isomorphisms and elementary equivalence of Chevalley groups over commutative rings
• CONSTRUCTIVE ALGEBRAS I
• Diophantine Problems Over Local Fields I
• On a correspondence between rings and groups
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable Fields and Arithmetically Definable Ordered Fields