Equations in algebras

DOI10.1142/S0218196718400064MaRDI QIDQ4611337zbMATH OpenOpenAlexFDO

Authors Olga Kharlampovich, Alexei Myasnikov

Publication date 18 January 2019

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

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

zbMATH Keywords

associative algebraDiophantine problemequationgroup algebra

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70)

Abstract: We show that the Diophantine problem(decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively hyperbolic groups, right angled Artin groups, commutative transitive groups, the fundamental groups of various graph groups, etc.

Recommendations

• Equations in a free 𝐐-group
• Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
• scientific article; zbMATH DE number 1748024
• Problems equivalent to rational Diophantine solvability
• Diophantine problems in solvable groups

Cites work

• A Diophantine Problem for Laurent Polynomial Rings
• Automorphisms of graph groups.
• Canonical representatives and equations in hyperbolic groups
• Diophantine problems over local fields. III: Decidable fields
• Diophantine undecidability for addition and divisibility in polynomial rings
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 98592 (Why is no real title available?)
• scientific article; zbMATH DE number 3577484 (Why is no real title available?)
• scientific article; zbMATH DE number 3805807 (Why is no real title available?)
• scientific article; zbMATH DE number 3430641 (Why is no real title available?)
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• On systems of equations over free partially commutative groups.
• On systems of equations over free products of groups.
• SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE
• Solving diophantine problems modulo every prime
• Some general algorithms. II: Nilpotent groups
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• The elementary theory of finite fields
• The isomorphism problem for toral relatively hyperbolic groups.
• Undecidability of existential theories of rings and fields: A survey

Cited in

(12)

• Problems equivalent to rational Diophantine solvability
• Some equivalents of AC in algebra
• Some equivalents of AC in algebra. II
• Algebraic Equations in State Condition
• Equations in a free 𝐐-group
• Undecidability of equations in free Lie algebras
• Diophantine problems in solvable groups
• The Diophantine problem in the classical matrix groups
• The Diophantine problem in some metabelian groups
• scientific article; zbMATH DE number 3102899 (Why is no real title available?)
• Differential calculuses on group algebras
• The Diophantine problem in Chevalley groups

This page was built for publication: Equations in algebras

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