Unification in Varieties of Groups: Nilpotent Varieties

DOI10.4153/CJM-1994-064-8zbMath0827.20047OpenAlexW1972774585MaRDI QIDQ4321864

No author found.

Publication date: 3 December 1995

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4153/cjm-1994-064-8

zbMATH Keywords

minimal elementsfree nilpotent groupsunification problemequivalence classes of solutionsfinitary systems of equationsinfinitary systems of equationsunitary systems of equationsnullarysystem of equations in a group

Mathematics Subject Classification ID

Nilpotent groups (20F18) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Quasivarieties and varieties of groups (20E10)

Related Items (6)

Computers and universal algebra: Some directions ⋮ Unification in commutative semigroups ⋮ The unification type of the Pythagorean equation in varieties of nilpotent rings ⋮ Rank and abelian rank of systems of equations over the free group ⋮ Category equivalence preserves unification type ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

This page was built for publication: Unification in Varieties of Groups: Nilpotent Varieties