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)

Full work available at URL https://doi.org/10.1016/S0747-7171(08)80084-3

zbMATH Keywords

algorithmcomputer implementationfinitely presented groupGröbner basesnilpotent quotientspolycyclic quotients

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) 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) Symbolic computation and algebraic computation (68W30)

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

• 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
• 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?)
• Some algorithmic problems for solvable groups
• Some recognizable properties of solvable groups
• Towards a soluble quotient algorithm
• Verifying nilpotence

Cited in

(6)

• A polycyclic quotient algorithm
• Using the Mal'cev correspondence for collection in polycyclic groups.
• Some remarks on the computation of complements and normalizers in soluble groups
• scientific article; zbMATH DE number 4208376 (Why is no real title available?)
• Algorithmic use of the Mal'cev correspondence.
• scientific article; zbMATH DE number 1004936 (Why is no real title available?)

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)