Computable subgroup chains and shadowing

Gene Cooperman, Scott H. Murray


We present a new structural framework for computational group theory, based on chains of subgroups. This extends existing methods, such as Schreier-Sims techniques for permutation groups. This framework is now a part of the GAP 4 computational algebra system. It will be useful for implementing the matrix group recognition project.

This paper is available as a pdf (188kB) file.

Tuesday, May 6, 2008