๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Standard Generators for Sporadic Simple Groups

โœ Scribed by Robert A. Wilson


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
130 KB
Volume
184
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

โœฆ Synopsis


In recent years an increasing amount of our knowledge about finite groups, and especially the sporadic simple groups, has been obtained by computer calculations. This has many advantages over more traditional methods, especially speed and accuracy, and problems can be solved that are out of reach of theoretical methods. But there are also some disadvantages, the most frequently mentioned being problems of checking or ลฝ reproducing results. The accusation of unreliability need not detain us, as . the average published proof ''by hand'' is equally, if not more, unreliable. Much progress has, however, been made in remedying these deficiencies. A properly carried out computational proof can be much more rigorously and thoroughly checked than any proof ''by hand,'' and if it is properly documented then there should be no problem with repeating the calculations and reproducing the results. It has to be admitted, however, that many computational results fall far short of these ideal standards.

The aim of the present paper is to make a small contribution toward improving the reproducibility of computational results on the sporadic simple groups. True reproducibility requires that both data and programs be produced independently. As regards programs, there are several inde-ลฝ . pendent systems capable of performing basic or not so basic calculations with permutations or matrices. As regards data, the situation is much less satisfactory. Where two independent sets of generators for a given group exist on computers, the two sets usually bear no relation to each other, and it is often all but impossible to obtain one from the other. While it is not to be expected that everyone will agree on what are the ''best'' generators for 505


๐Ÿ“œ SIMILAR VOLUMES


The McKay Conjecture Is True for the Spo
โœ Robert A. Wilson ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 146 KB

The McKay conjecture states that the number of irreducible complex characters of a group G that have degree prime to p is equal to the same number for the Sylow p-normalizer in G. We verify this conjecture for the 26 sporadic simple groups.

Matrix Generators for the Orthogonal Gro
โœ L.J. Rylands; D.E. Taylor ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 395 KB

In 1962 Steinberg gave pairs of generators for all finite simple groups of Lie type. In this paper, for each finite orthogonal group we provide a pair of matrices which generate its derived group: the matrices correspond to Steinberg's generators modulo the centre. These generators have been impleme

Rationality Problem for Generic Tori in
โœ Anne Cortella; Boris Kunyavskiฤญ ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 178 KB

We prove that except for several already known cases, the generic torus of a simple (adjoint or simply connected) group is not stably rational. This confirms a conjecture by Le Bruyn on generic norm tori.

Matrix Generators for Exceptional Groups
โœ R.B Howlett; L.J Rylands; D.E Taylor ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 337 KB

This paper gives a uniform method of constructing generators for matrix representations of finite groups of Lie type with particular emphasis on the exceptional groups. The algorithm constructs matrices for the action of root elements on the lowest dimension representation of an associated Lie algeb