Equation-Solving in Free Nilpotent groups Class 2 and 3

DOI10.1112/blms/27.1.39zbMath0819.20035OpenAlexW1964618157MaRDI QIDQ4835712

John K. Truss

Publication date: 28 August 1995

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/blms/27.1.39

zbMATH Keywords

systems of equationssolubilitysystem of quadratic diophantine equationsclass 2 unification problemMatiyasevich's Theoremunification problem for nilpotent groups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Nilpotent groups (20F18) Quadratic and bilinear Diophantine equations (11D09) Undecidability and degrees of sets of sentences (03D35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items (6)

Unification in partially commutative semigroups ⋮ Unification in commutative semigroups ⋮ Equations in nilpotent groups ⋮ Equation problem over central extensions of hyperbolic groups ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups ⋮ Diophantine problems in solvable groups

This page was built for publication: Equation-Solving in Free Nilpotent groups Class 2 and 3