Testing matrix groups for primitivity

Abstract

We describe an algorithm which seeks to decide whether or not a matrix group defined over a finite field acts to preserve blocks of imprimitivity and, if so, to find a block system. Implementations of the algorithm are publicly available. © 1996 Academic Press, Inc.