On an algorithm for finding a base and a strong generating set for a group given by generating permutations
Author:
Jeffrey S. Leon
Journal:
Math. Comp. 35 (1980), 941974
MSC:
Primary 2004; Secondary 20F05
MathSciNet review:
572868
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: This paper deals with the problem of finding a base and strong generating set for the group generated by a given set of permutations. The concepts of base and strong generating set were introduced by Sims [5], [6] and provide the most effective tool for computing with permutation groups of high degree. One algorithm, originally proposed by Sims [7], is described in detail; its behavior on a number of groups is studied, and the influence of certain parameters on its performance is investigated. Another algorithm, developed by the author, is given, and it is shown how the two algorithms may be combined to yield an exceptionally fast and effective method.
 [1]
John
J. Cannon, Lucien
A. Dimino, George
Havas, and Jane
M. Watson, Implementation and analysis of the
ToddCoxeter algorithm, Math. Comp. 27 (1973), 463–490. MR 0335610
(49 #390), http://dx.doi.org/10.1090/S00255718197303356105
 [2]
John
J. Cannon and George
Havas, Defining relations for the HeldHigmanThompson simple
group, Bull. Austral. Math. Soc. 11 (1974),
43–46. MR
0360795 (50 #13242)
 [3]
Marshall
Hall Jr., The theory of groups, The Macmillan Co., New York,
N.Y., 1959. MR
0103215 (21 #1996)
 [4]
John
McKay and David
Wales, The multipliers of the simple groups of order 604,800 and
50,232,960, J. Algebra 17 (1971), 262–272. MR 0274577
(43 #340)
 [5]
Charles
C. Sims, Determining the conjugacy classes of a permutation
group, Computers in algebra and number theory (Proc. SIAMAMS Sympos.
Appl. Math., New York, 1970), Amer. Math. Soc., Providence, R.I., 1971,
pp. 191–195. SIAMAMS Proc., Vol. IV. MR 0338135
(49 #2901)
 [6]
CHARLES C. SIMS, "Computation with permutation groups," in Proc. Second Sympos. Symbolic and Algebraic Manipulation, Assoc. Comput. Mach., New York, 1971.
 [7]
CHARLES C. SIMS, "Some algorithms based on coset enumeration," Unpublished notes, 1974.
 [8]
Charles
C. Sims, Some grouptheoretic algorithms, Topics in algebra
(Proc. 18th Summer Res. Inst., Austral. Math. Soc., Austral. Nat. Univ.,
Canberra, 1978), Lecture Notes in Math., vol. 697, Springer, Berlin,
1978, pp. 108–124. MR 524367
(81b:20026)
 [9]
J.
A. Todd, Abstract definitions for the Mathieu groups, Quart.
J. Math. Oxford Ser. (2) 21 (1970), 421–424. MR 0272878
(42 #7759)
 [10]
J. A. TODD & H. S. M. COXETER, "A practical method for enumerating cosets of a finite abstract group," Proc. Edinburgh Math. Soc., v. 5, 1936, pp. 2634.
 [1]
 JOHN J. CANNON, LUCIEN A. DIMINO, GEORGE HAVAS & JANE M. WATSON, "Implementation and analysis of the ToddCoxeter algorithm," Math. Comp., v. 27, 1973, pp. 463490. MR 0335610 (49:390)
 [2]
 JOHN J. CANNON & GEORGE HAVAS, "Defining relations for the HeldHigmanThompson simple group," Bull. Austral. Math. Soc., v. 11, 1974, pp. 4346. MR 0360795 (50:13242)
 [3]
 MARSHALL HALL, JR., The Theory of Groups, Macmillan, New York, 1959. MR 0103215 (21:1996)
 [4]
 JOHN McKAY & DAVID W. WALES, "The multipliers of the simple groups of order 604,800 and 50,232,960," J. Algebra, v. 17, 1971, pp. 262272. MR 0274577 (43:340)
 [5]
 CHARLES C. SIMS, "Determining the conjugacy classes of a permutation group," in Computers in Algebra and Number Theory (Proc. Sympos. Appl. Math., New York, 1970), SIAMAMS Proc., Vol. 4, Amer. Math. Soc., Providence, R. I., 1971, pp. 191195. MR 0338135 (49:2901)
 [6]
 CHARLES C. SIMS, "Computation with permutation groups," in Proc. Second Sympos. Symbolic and Algebraic Manipulation, Assoc. Comput. Mach., New York, 1971.
 [7]
 CHARLES C. SIMS, "Some algorithms based on coset enumeration," Unpublished notes, 1974.
 [8]
 CHARLES C. SIMS, "Some group theoretic algorithms," in Topics in Algebra, Lecture Notes in Math., Vol. 697, SpringerVerlag, Berlin, 1978. MR 524367 (81b:20026)
 [9]
 J. A. TODD, "Abstract definitions for the Mathieu groups," Quart. J. Math., v. 21, 1970, pp. 421424. MR 0272878 (42:7759)
 [10]
 J. A. TODD & H. S. M. COXETER, "A practical method for enumerating cosets of a finite abstract group," Proc. Edinburgh Math. Soc., v. 5, 1936, pp. 2634.
Similar Articles
Retrieve articles in Mathematics of Computation
with MSC:
2004,
20F05
Retrieve articles in all journals
with MSC:
2004,
20F05
Additional Information
DOI:
http://dx.doi.org/10.1090/S00255718198005728685
PII:
S 00255718(1980)05728685
Article copyright:
© Copyright 1980 American Mathematical Society
