Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach

DOI10.1112/S1461157000000826MaRDI QIDQ4827588zbMATH OpenFDO

Authors Dirk Zeckzer, Birgit Reinert

Publication date 18 November 2004

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL http://www.lms.ac.uk/jcm/4/lms2000-010/

zbMATH Keywords

finitely presented groupsGröbner bases computationsKnuth-Bendix rewriting proceduresmonoid ringsstring rewriting systemsTodd-Coxeter coset enumeration

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Generators, relations, and presentations of groups (20F05) Free semigroups, generators and relations, word problems (20M05) Semigroup rings, multiplicative semigroups of rings (20M25) Symbolic computation and algebraic computation (68W30)

Recommendations

• Coset enumeration of symmetrically generated groups using Gröbner bases.
• scientific article; zbMATH DE number 1262445
• scientific article; zbMATH DE number 1762784
• scientific article; zbMATH DE number 1263328
• Applying Gröbner basis techniques to group theory.

Cites work

• A practical method for enumerating cosets of a finite abstract group
• Constructing matrix representations of finitely presented groups
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• Implementation and Analysis of the Todd-Coxeter Algorithm
• MRC -- data structures and procedures for computing in monoid and group rings
• On a Class of Finitely Presented Groups
• The Abstract Groups G m,n,p
• The Knuth-Bendix procedure for strings as a substitute for coset enumeration
• The Magma algebra system. I: The user language

Cited in

(3)

• scientific article; zbMATH DE number 3889793 (Why is no real title available?)
• Coset enumeration of symmetrically generated groups using Gröbner bases.
• scientific article; zbMATH DE number 1762784 (Why is no real title available?)

This page was built for publication: Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach

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