Abstract

Possibly the most frequently used algorithm in computational group theory is the Todd-Coxeter process for enumerating the cosets of a subgroup of a finitely presented group. In all implementations the power of this algorithm is limited much more by its storage requirements than by its execution time. This note outlines a technique which can often be used to economise on storage at the expense of an increased execution time. Before giving details it will be helpful to review some background.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.