Computing in permutation and matrix groups. I. Normal closure, commutator subgroups, series

Abstract

This paper is the first in a series which discusses computation in permutation and matrix groups of very large order. The fundamental concepts are defined, and some algorithms which perform elementary operations are presented. Algorithms to compute normal closures, commutator subgroups, derived series, lower central series, and upper central series are presented.