An algorithm for solving the factorization problem in permutation groups

Abstract

The factorization problem in permutation groups is to represent an element g of some permutation group G as a word over a given set S of generators of G. For practical purposes, the word should be as short as possible, but must not be minimal. Like many other problems in computational group theory, the problem can be solved from a strong generating set (SGS) and a base of G. Different algorithms to compute an SGS and a base have been published. The classical algorithm is the Schreier-Sims method. However, for factorization an SGS is needed that has all its elements represented as words over S. The existing methods are not suitable, because they lead to an exponential growth of word lengths. This article presents a simple algorithm to solve the factorization problem. It is based on computing an SGS with elements represented by relatively short words over the generators. © 1998 Academic Press.