Unification for nilpotent groups of class 2

DOI10.1515/form.1995.7.435zbMath0830.20055OpenAlexW2052230135MaRDI QIDQ4840300

Edmund Kieran Burke, John K. Truss

Publication date: 21 January 1996

Published in: Forum Mathematicum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/186431

zbMATH Keywords

substitutionsderived subgroupunification algorithmmost general unifiersunification problem for nilpotent groupstheory in first order language

Mathematics Subject Classification ID

Nilpotent groups (20F18) Classical first-order logic (03B10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)

Related Items (5)

Unification in partially commutative semigroups ⋮ Unification in commutative semigroups ⋮ Equations in nilpotent groups ⋮ The unification type of the Pythagorean equation in varieties of nilpotent rings ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

This page was built for publication: Unification for nilpotent groups of class 2