Proving a group trivial made easy: A case study in coset enumeration

DOI10.1017/S0004972700018529zbMath0985.20019OpenAlexW2152353007MaRDI QIDQ4515435

Colin M. Ramsay, George Havas

Publication date: 6 May 2002

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700018529

zbMATH Keywords

presentationscoset enumerationTodd-Coxeter process

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Software, source code, etc. for problems pertaining to group theory (20-04)

Related Items

On the Efficiency of Some Finite Groups, Nice Efficient Presentions for all Small Simple Groups and their Covers, Irreducible Cyclic Presentations of the Trivial Group, Locally toroidal polytopes of rank 6 and sporadic groups, COSET ENUMERATION FOR CERTAIN INFINITELY PRESENTED GROUPS

Uses Software

• STAR/MPI

Cites Work

• Unnamed Item
• Implementation and Analysis of the Todd-Coxeter Algorithm
• A practical method for enumerating cosets of a finite abstract group
• A Finitely Generated Infinite Simple Group
• An essay on free products of groups with amalgamations