Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.

MaRDI QIDQ3537433zbMATH OpenFDO

Authors Olga Kharlampovich, Alexei Myasnikov

Publication date 6 November 2008

zbMATH Keywords

conjugacy problemequations over groupsword problemelementary theoriesfully residually free groupssolutions of equationsTarski conjecturesnon-Abelian free groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Residual properties and generalizations; residually finite groups (20E26) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70) Applications of logic to group theory (20A15)

Recommendations

• scientific article; zbMATH DE number 2070157
• The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
• Tarski’s problem about the elementary theory of free groups has a positive solution
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• scientific article; zbMATH DE number 1789956

Cited in

(15)

• scientific article; zbMATH DE number 2221702 (Why is no real title available?)
• On systems of equations over free products of groups.
• Elementary theory of free non-abelian groups.
• Groups, Algebras and Applications
• Equations in algebras
• The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
• scientific article; zbMATH DE number 848041 (Why is no real title available?)
• A polynomial bound on solutions of quadratic equations in free groups.
• scientific article; zbMATH DE number 2070157 (Why is no real title available?)
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Implicit function theorem over free groups.
• First-order theories and Tarski problems
• ON SOLVABILITY OF REGULAR EQUATIONS IN THE VARIETY OF METABELIAN GROUPS
• On elementary theories of algebraically closed groups
• Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems

This page was built for publication: Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.

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