Abstract
The classification of the finite simple groups is one of the important achievements of the mathematicians in this century. According to p. 3 of the recent book [16] by Gorenstein, Lyons and Solomon “The existing proof of the classification of the finite simple groups runs to somewhere between 10 000 and 15 000 journal pages, spread across some 500 separate articles by more than 100 mathematicians .... As a result of these various factors, it is extremely difficult for even the most diligent mathematician to obtain a comprehensive picture of the proof by examining the existing literature.” On p. 45 of [16] these authors write: “The most serious problem concerns the sporadic groups, whose development at the time of the completion of the classification theorem was far from satisfactory. The existence and uniqueness of the sporadic groups and the development of their properties form a very elaborate chapter of simple group theory, spread across a large number of journal articles. Moreover, some of the results are unpublished (e.g. Sims’ computer calculations establishing the existence and uniqueness of the Lyons group Ly).Furthermore, until very recently, the two principal sources for properties of the sporadic groups were [5] and [15], Part 1, §5 consisting only of statements of results without proofs.”
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Bannai, T. Ito, Algebraic Combinatorics I: Association Schemes, Benjamin and Cummings Publishing Company, Menlo Park, California (1984).
D. J. Benson, The Simple Group J4, PhD. Thesis, Trinity College, Cambridge (1980).
W. Bosma, J. Cannon, MAGMA Handbook, Sydney (1993).
G. Butler, Fundamental algorithms for permutation groups, Lecture Notes in Computer Science, Springer Verlag, Heidelberg (1991).
J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wilson, Atlas of finite groups, Clarendon Press, Oxford (1985).
G. D. Cooperman, L. Finkelstein, M. Tselman, B. York, Constructing permutation representations for large matrix groups, J. Symb. Comput. 24 (1997), 471–488.
G. D. Cooperman, W. Lempken, G. O. Michler, M. Weller, A new existence proof of Janko’s simple group J4, Preprint, IEM Essen (1997).
A. Diaz, I. Z. Emiris, E. Kaltofen, V. Y. Pan, Algebraic algorithms,in: M. Attalah (ed.), The Computer Science Handbook, CRC Press, Boca Raton, Florida (1998).
P. Fleischmann, G. O. Michler, P. Roelse, J. Rosenboom, R. Staszewski, C. Wagner, M. Weller, Linear algebra over small finite fields on parallel machines, Vorlesungen Fachbereich Mathematik Universitat GH Essen, Heft 23 (1995).
H. W. GoHan, The 5-modular representations of the Tits simple group, Math. Compo 57(1991), 369–386.
H. W. GoHan, A new existence proof for Ly, the sporadic group of R. Lyons,Preprint, IEM Essen (1995).
H. W. GoHan, A contribution to the revision project of the sporadic group: Lyons’ simple group Ly, Vorlesungen Fachbereich Mathematik Universitat GH Essen, Heft 26 (1998).
D. Gorenstein, Finite simple groups, Plenum Press, New York (1982).
D. Gorenstein, R. Lyons, The local structure of finite groups of characteristic 2 type, Mem. Amer. Math. Soc. 276 (1983).
D. Gorenstein, R. Lyons, R. Solomon, The classification of the finite simple groups, Mathematical Surveys and Monographs 40, No.1, American Mathematical Society, Providence, Rhode Island (1994).
I. M. Isaacs, Character theory of finite groups, Academic Press, New York (1976).
Z. Janko, A new finite simple group of order86 . 775 . 571 . 046 . 077 . 562 . 880 which possesses M24 and the full covering group of M22 as subgroups, J. Algebra 42 (1976), 564–596.
W. Lempken, Constructing J4 in GL(1333,11), Comm. Algebra 21(1993),4311–4351.
K. Lux, J. Miiller, M. Ringe, Peakword condensation and submodule lattices: an application of the MeatAxe, J. Symb. Comput. 17 (1994), 529–544.
G. Malle, J. Saxl, T. Weigel, Generation of classical groups, Geom. Dedicata 49 (1994), 85–116.
G.O. Michler, 0. Solberg, Testing modules of groups of even order for simplicity, J. Algebra, (to appear).
G. O. Michler, M. Weller, A new computer construction of the irreducible 112-dimensional 2-modular representation of Janko’s group J4, Preprint, IEM Essen (1998).
J. Miiller, J. Rosenboom, Condensation of induced representations and an application: The 2-modular decomposition numbers of C02, Preprint (1997).
S. Norton, The construction of J4, Proceedings of Symposia in Mathematics AMS 37 (1980), 271–211
R. A. Parker, R. A. Wilson, The computer construction of matrix representations of finite groups over finite fields, J. Symb. Comput. 9 (1990), 583–590.
P. L. A. Roelse, Factoring high-degree polynomials over F2 with Niederreiter’s algorithm on the IBM SP2, Math. Comp., (to appear).
J. Rosenboom, Completing the 2-modular character table for Conway’s third group C03 using parallel computers, Exp. Math., (to appear).
M. Schönert e.a.: GAP- Groups, Algorithms, and Programming, 3rd ed., Lehrstuhl D für Mathematik, RWTH Aachen (1993).
C. C. Sims, The existence and uniqueness of Lyons’ group, in: T. Gagen, M.P. Hale Jr., E.E. Shult (eds.), Finite groups’72 (Gainsville Conference) pp. 138–141, North Holland, Amsterdam (1972).
I. Suleiman, R. A. Wilson, The 2-modular characters of Conway’s group Co2, Math. Proc. Cambridge Philos. Soc. 116(1994), 275–283.
I. Suleiman, R. A. Wilson, The 2-modular characters of Conway’s third group C03, J. Symb. Comput. 24(1997), 493–506.
J. G. Thompson, Finite-dimensional representations of free products with an amalgamated subgroup, J. Algebra 69 (1981), 146–149.
M. Weller, Construction of large permutation representations for matrix groups, Preprint, IEM Essen (1997).
M. Wiegelmann, Fixpunktkondensation von Tensorproduktmoduln, Diplomarbeit, Lehrstuhl D für Mathematik, RWTH Aachen, (1994).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lux, K., Pahlings, H. (1999). Computational Aspects of Representation Theory of Finite Groups II. In: Matzat, B.H., Greuel, GM., Hiss, G. (eds) Algorithmic Algebra and Number Theory. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59932-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-59932-3_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64670-9
Online ISBN: 978-3-642-59932-3
eBook Packages: Springer Book Archive