FAST MANAGEMENT OF PERMUTATION-GROUPS .1.

Citation
L. Babai et al., FAST MANAGEMENT OF PERMUTATION-GROUPS .1., SIAM journal on computing, 26(5), 1997, pp. 1310-1342
Citations number
36
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods",Mathematics
Journal title
ISSN journal
00975397
Volume
26
Issue
5
Year of publication
1997
Pages
1310 - 1342
Database
ISI
SICI code
0097-5397(1997)26:5<1310:FMOP.>2.0.ZU;2-U
Abstract
We present new algorithms for permutation group manipulation. Our meth ods result in an improvement of nearly an order of magnitude in the wo rst-case analysis for the fundamental problems of finding strong gener ating sets and testing membership. The normal structure of the group i s brought into play even for such elementary issues. An essential elem ent is the recognition of large alternating composition factors of the given group and subsequent extension of the permutation domain to dis play the natural action of these alternating groups. Further new featu res include a novel fast handling of alternating groups and the siftin g of defining relations in order to link these and other analyzed fact ors with the rest of the group. The analysis of the algorithm depends on the classification of finite simple groups. In a sequel to this pap er, using an enhancement of the present method, we shall achieve a fur ther order of magnitude improvement.