Unification for nilpotent groups of class 2

DOI10.1515/FORM.1995.7.435MaRDI QIDQ4840300zbMATH OpenOpenAlexFDO

Authors Edmund K. 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

derived subgroupmost general unifierssubstitutionstheory in first order languageunification algorithmunification problem for nilpotent groups

Mathematics Subject Classification ID

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

Recommendations

• Unification in partially commutative semigroups
• The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5
• Complexity of nilpotent unification and matching problems.
• Unification in Varieties of Groups: Nilpotent Varieties

Cited in

(10)

• Unification in partially commutative semigroups
• Unification in commutative semigroups
• Complexity of nilpotent unification and matching problems.
• Longer nilpotent series for classical unipotent subgroups
• The unification type of the Pythagorean equation in varieties of nilpotent rings
• Equations in nilpotent groups.
• Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
• scientific article; zbMATH DE number 3863462 (Why is no real title available?)
• Unification in Varieties of Groups: Nilpotent Varieties
• Unification and matching modulo nilpotence

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

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