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.