Publication:3442595
From MaRDI portal
zbMath1156.20031MaRDI QIDQ3442595
Publication date: 18 May 2007
algorithms; normal forms; polycyclic presentations; polycyclic groups; collection from the left; finitely generated torsion-free nilpotent groups; Mal'cev correspondence
68W30: Symbolic computation and algebraic computation
20F16: Solvable groups, supersolvable groups
20F05: Generators, relations, and presentations of groups
20F18: Nilpotent groups
17B30: Solvable, nilpotent (super)algebras
20-04: Software, source code, etc. for problems pertaining to group theory
20F40: Associated Lie structures for groups
Related Items
Linear groups and computation, Realization of 2-solvable nilpotent groups as groups of classes of homotopy self-equivalences, Using the Mal'cev correspondence for collection in polycyclic groups.