Efficient representation of perm groups
Abstract
This note presents an elementary version of Sims's algorithm for computing strong generators of a given perm group, together with a proof of correctness and some notes about appropriate low-level data structures. Upper and lower bounds on the running time are also obtained. (Following a suggestion of Vaughan Pratt, we adopt the convention that perm $=$ permutation, perhaps thereby saving millions of syllables in future research.)
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- December 1990
- DOI:
- 10.48550/arXiv.math/9201304
- arXiv:
- arXiv:math/9201304
- Bibcode:
- 1992math......1304K
- Keywords:
-
- Mathematics - Group Theory
- E-Print:
- Combinatorica 11 (1991), no. 1, 33--43