COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.
COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA. COMPUTATIONAL PROBLEMS IN ABSTRACT ALGEBRA.
134 R. Billow and J. Neubiiser Derivation of the crystal classes of Rq 135 matrix X = (xik) such that XGi=H$for i= 1, . . ..s. (4.1) This is a homogeneous system of linear equations for the xjk with coefficients in Z. A programme has been written which reduces (4.1) by integral row-operations to row-reduced echelon form. From this it determines the xjk as integral linear combinations of some x1, . . . , x, of them, chosen as parameters. Then it computes det X as a polynomial p(xl, . . . , x~) in these parameters. Three cases can occur: 1. If&l, . . .) x,) E 0 the mapping Gi -+ Hi is not induced by transformation with any matrix from CL,(Q) (where Q is the rational field). 2. If p(x1, . . . ) x,) $ 0 and the (integral) coefficients of all monomials in it have a greatest common divisor s 1, then no X with det X = f 1 can exist as the parameters can only be substituted by integers. In this case, however, Gi+Hi can be induced by transformation with some matrix X with det X + 0 and hence @ and @ are geometrically equivalent. 3. Ifp(x1, . . . . x,) 9 0 and the greatest common divisor of the coefficients of all monomials is 1, one has to try to find values of the parameters Xl, .a-, x, such that the matrix X obtained by substituting these values for the parameters has det X = 1. If one does find such values for the xl,. . . , x,, 8 and @ are arithmetically equivalent; if one does not find such values, only geometrical equivalence has been proved, but no conclusion about arithmetical equivalence has been reached. In all examples treated by us in which the third case occurred, it was always possible to find such values; so in fact the study of the greatest common divisor of the coefficients of the monomials ofp(xl, . . . , x,) was sufficient to prove nonequivalence. However, we owe to W. Gaschiitz an example of two groups (in GLz2 (Z)) for which the greatest common divisor of these coefficients is 1, but which are not arithmetically equivalent. 5. By the procedures described, we were able to classify the 1869 groups into both geometrical and arithmetical crystal classes. It turned out that the geometrical classes coincided with the similarity classes introduced here; this incidentally is also true for n = 1, 2, 3. Although it is unlikely that this is always the case, we do not know of an example of similar but not geometrically equivalent groups for any n * 5. 710 arithmetical classes were obtained, but as some hand-work was involved in the sorting, etc., this number has to be checked before it can be regarded as certain. Independent derivations of the arithmetical classes have been undertaken by H. Zassenhaus and D. Falk [lo] by slightly different algebraic methods and by H. Wondratschek by more geometrical means. It has been agreed that the results of all these calculations will be collated before they are published jointly. As a by-product of this investigation one gets a complete list of Bravais lattices in 4 dimensions which will correct an incomplete (and partially incorrect) list previously obtained [8] by heuristic considerations. The list of arithmetical classes will also be used to determine the list of all space-groups in 4 dimensions. A programme for this, following ideas of H. Zassenhaus [9], has already been written and used on partial lists of crystal classes by H. Brown. We would like to thank Professor H. Wondratschek, who first aroused our interest in the subject, for many valuable discussions and suggestions. REFERENCES 1. J. J. BURKHARDT: Die Bewegungsgruppen der Kristallographie, 2nd ed. (Birkhluser Verlag, Basel, Stuttgart, 1966). 2. E. C. DADE: The maximal finite groups of 4X 4 integral matrices. Illinois J. Math. 9 (1965), 99-122. 3. V. FELSCH and J. NEUBUSER: Ein Programm zur Berechnung des Untergruppenverbandes einer endlichen Gruppe. Mitt. Rhein-Westf. Inst. f. Znstr. Math. Bonn 2 (1963), 39-74. 4. C. HERMANN: Translationsgruppen in n Dimensionen. Zur Struktur und Materie der Festkiirper, 24-33 (Springer Verlag, Berlin, Giittingen, Heidelberg, 1951). 5. A. C. HURLEY: Finite rotation groups and crystal classes in four dimensions. Proc. Camb. Phil. Sot. 47 (1951), 650-661. 6. A. C. HTJRLEY, J. NEUB~~SER and H. WONDRATSCHEK: Crystal classes of four-dimensional space R4. Acta Cryst. 22 (1967), 605. 7. J. S. LOMONT: Applications of Finite Groups (Academic Press, New York, London, 1959). 8. A. I. MACKAY and G. S. PAWLEY: Bravais lattices in four-dimensional space. Acta Cryst. 16 (1963), 11-19. 9. H. ZASSENHAUS : Faber einen Algorithmus zur Bestimmung der Raumgruppen. Comm. Math. Helv. 21 (1948), 117-141. 10. H. ZASSENHAUS: On the classification of finite integral groups of degree 4. Mimeographed notes, Columbus, 1966. CPA 10
A search for simple groups of order less than one milliont MARSHALL HALL Jr. 1. Introduction. In 1900 L. E. Dickson [17] listed 53 known simple groups of composite order less than one million. Three more groups have been added to this list since that time. A group of order 29,120 was discovered by M. Suzuki [31] in 1960, the first of an infinite class, and one of order 175,560 was discovered by Z. Janko [25] in 1965 which appears to be isolated. Very recently Z. Janko announced that a simple group with certain properties would have order 604,800 and have a specific character table. The construction of a simple group of order 604,800 is given for the first time in this paper. The search for simple groups described here is not as yet complete. Approximately 100 further orders, all of the form 2”3*5”7’, remain to be examined. A number of people have helped me with this search. Dr. Leonard Baumert has helped with advice and computing. Dr. Leonard Scott sent me the proof of a formula on modular characters. But my main sources of help have come from Mr. Richard Lane and Professor Richard Brauer. For more than a year Mr. Richard Lane has carried out a large number of complicated computations on the IBM 7094 at the California Institute of Technology’s computing center. Professor Richard Brauer has been generous with help in references, correspondence, and conversations. The construction of the simple group of order 604,800 was carried out in August 1967 at the University of Warwick and at Cambridge University. Mr. Peter Swinnerton-Dyer was extremely helpful in writing on short notice a program for the Titan computer at Cambridge which finally confirmed the correctness of the construction. 2. Notation. List of known simple groups in the range. The notation for the classical simple groups used here will be essentially that used in Artin [l]. Here let GF(q) be the finite field with q elements where q = p’, p a prime. t This research was supported in part by NSF grant GP3909 and in part by ONR contract N00014-67-A-0094-0010. 10* 137
- Page 23 and 24: Some examples using coset enumerati
- Page 25 and 26: 40 C. M. Campbell Some examples usi
- Page 27 and 28: 44 N. S. Mendelsohn for example, in
- Page 29 and 30: 48 H. Jiirgensen Calculation with e
- Page 31 and 32: 52 H. Jiirgensen Calculation with e
- Page 33 and 34: 56 H. Jiirgensen Calculation with e
- Page 35 and 36: 60 V. Fe&h and J. Neubiiser 2. The
- Page 37 and 38: 64 L. Gerhards and E. Altmann Autom
- Page 39 and 40: 68 L. Gerhards and E. Altmann Autom
- Page 41 and 42: 72 L. Gerhards and E. Altmann ni E
- Page 43 and 44: 76 W. Lindenberg and L. Gerhards Se
- Page 45 and 46: 80 W. Lindenberg and L. Gerhards Se
- Page 47 and 48: 84 K. Ferber and H. Jiirgensen The
- Page 49 and 50: 7 The construction of the character
- Page 51 and 52: 92 John McKay defining multiplicati
- Page 53 and 54: 96 John McKay Construction of chara
- Page 55 and 56: 100 John McKay In the table, c indi
- Page 57 and 58: 104 C. Brott and J. Neubiiser irred
- Page 59 and 60: 108 C. Brott and J. Neubiiser eleme
- Page 61 and 62: 112 J. S. Frame The characters of t
- Page 63 and 64: 116 J. S. Frame 3. The decompositio
- Page 65 and 66: 120 J. S. Frame The characters of t
- Page 67 and 68: 124 J. S. Frame The characters of t
- Page 69 and 70: TABLE 5. The Z, character block for
- Page 71: 132 R. Biilow and J. Neubiiser Deri
- Page 75 and 76: 140 Marshall Hall Jr. Simple groups
- Page 77 and 78: 144 Marshall Hall Jr. Simple groups
- Page 79 and 80: 148 Marshall Hall Jr. otherwise no
- Page 81 and 82: 152 Marshall Hall Jr. easily found
- Page 83 and 84: 156 Marshall Hall Jr. Simple groups
- Page 85 and 86: 160 Marshall Hail Jr. This leads to
- Page 87 and 88: 164 Marshall Hall Jr. b= (OO)(Ol, 0
- Page 89 and 90: 168 Marshall Hall Jr. 11. R. BRAUER
- Page 91 and 92: 172 Charles C. Sims THEOREM 2.3. Th
- Page 93 and 94: 176 Charles C. Sims has a set of im
- Page 95 and 96: 180 Degrc - No. Order t N (-63 Gene
- Page 97 and 98: An algorithm related to the restric
- Page 99 and 100: A module-theoretic computation rela
- Page 101 and 102: 192 A. L. Tritter expressed in the
- Page 103 and 104: 196 A. L. Tritter a question is mos
- Page 105 and 106: 200 John J. Cannon stack. The Cayle
- Page 107 and 108: , I The computation of irreducible
- Page 109 and 110: 208 P. G. Ruud and R. Keown product
- Page 111 and 112: 212 P. G. Ruud and R. Keown TX wher
- Page 113 and 114: 216 P. G. Ruud and R. Keown 4. L. G
- Page 115 and 116: 220 N. S. Mendelsohn where it is kn
- Page 117 and 118: 224 Robert J. Plemmons such class [
- Page 119 and 120: 228 Robert J. Plemmons ! TOTALS Sem
- Page 121 and 122: 232 Takayuki Tamura 8” = 0B if an
A search for simple groups of order<br />
less than one milliont<br />
MARSHALL HALL Jr.<br />
1. Introduction. In 1900 L. E. Dickson [17] listed 53 known simple groups<br />
of composite order less than one million. Three more groups have been added<br />
to this list since that time. A group of order 29,120 was discovered by M.<br />
Suzuki [31] in 1960, the first of an infinite class, and one of order 175,560<br />
was discovered by Z. Janko [25] in 1965 which appears to be isolated. Very<br />
recently Z. Janko announced that a simple group with certain properties<br />
would have order 604,800 and have a specific character table. The construction<br />
of a simple group of order 604,800 is given for the first time in this<br />
paper.<br />
The search for simple groups described here is not as yet complete.<br />
Approximately 100 further orders, all of the form 2”3*5”7’, remain to be<br />
examined.<br />
A number of people have helped me with this search. Dr. Leonard<br />
Baumert has helped with advice and computing. Dr. Leonard Scott sent me<br />
the proof of a formula on modular characters. But my main sources of help<br />
have come from Mr. Richard Lane and Professor Richard Brauer. For<br />
more than a year Mr. Richard Lane has carried out a large number of<br />
complicated computations on the IBM 7094 at the California Institute of<br />
Technology’s computing center. Professor Richard Brauer has been generous<br />
with help in references, correspondence, and conversations.<br />
The construction of the simple group of order 604,800 was carried out in<br />
August 1967 at the University of Warwick and at Cambridge University.<br />
Mr. Peter Swinnerton-Dyer was extremely helpful in writing on short notice<br />
a program for the Titan computer at Cambridge which finally confirmed<br />
the correctness of the construction.<br />
2. Notation. List of known simple groups in the range. The notation for<br />
the classical simple groups used here will be essentially that used in Artin<br />
[l]. Here let GF(q) be the finite field with q elements where q = p’, p a<br />
prime.<br />
t This research was supported in part by NSF grant GP3909 and in part by ONR contract<br />
N00014-67-A-0094-0010.<br />
10* 137