Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm

DOI10.1016/S0747-7171(08)80084-3MaRDI QIDQ915859zbMATH OpenFDO

Authors Charles C. Sims

Publication date 1990

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

algorithmcomputer implementationfinitely presented groupnilpotent quotientspolycyclic quotientsGröbner bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Solvable groups, supersolvable groups (20F16) Software, source code, etc. for problems pertaining to group theory (20-04)

Recommendations

• A polycyclic quotient algorithm
• Practical algorithms for polycyclic matrix groups
• scientific article; zbMATH DE number 1004936
• Algorithms for polycyclic-by-finite groups
• Computing polycyclic quotients of finitely (\(L\)-)presented groups via Groebner bases.

Cites work

• scientific article; zbMATH DE number 3889792 (Why is no real title available?)
• scientific article; zbMATH DE number 3136688 (Why is no real title available?)
• scientific article; zbMATH DE number 3870585 (Why is no real title available?)
• scientific article; zbMATH DE number 3813900 (Why is no real title available?)
• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 3901022 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 4065140 (Why is no real title available?)
• scientific article; zbMATH DE number 3672557 (Why is no real title available?)
• scientific article; zbMATH DE number 3558069 (Why is no real title available?)
• scientific article; zbMATH DE number 3632676 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• A p-adic approach to the computation of Gröbner bases
• Algorithm 628
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Computable algebra and group embeddings
• Constructive Aspects of Noetherian Rings
• Free differential calculus. IV: The quotient groups of the lower central series
• Hermite Normal Form Computation Using Modulo Determinant Arithmetic
• Some algorithmic problems for solvable groups
• Some recognizable properties of solvable groups
• Towards a soluble quotient algorithm
• Verifying nilpotence

Cited in

(3)

• Using the Mal'cev correspondence for collection in polycyclic groups.
• Some remarks on the computation of complements and normalizers in soluble groups
• Algorithmic use of the Mal'cev correspondence.

Describes a project that uses

Uses Software

• Algorithm 628

This page was built for publication: Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm

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