| |
| |
Preface | |
| |
| |
Acknowledgements | |
| |
| |
| |
Motivation | |
| |
| |
Introduction to Part I | |
| |
| |
| |
The Mathieu group M[subscript 12] | |
| |
| |
| |
The combinatorial approach | |
| |
| |
| |
The regular dodecahedron | |
| |
| |
| |
The algebraic approach | |
| |
| |
| |
Independent proofs | |
| |
| |
| |
The Mathieu group M[subscript 24] | |
| |
| |
| |
The combinatorial approach | |
| |
| |
| |
The Klein map | |
| |
| |
| |
The algebraic approach | |
| |
| |
| |
Independent proofs | |
| |
| |
Conclusions to Part I | |
| |
| |
| |
Involutory Symmetric Generators | |
| |
| |
| |
The (involutory) progenitor | |
| |
| |
| |
Free products of cyclic groups of order 2 | |
| |
| |
| |
Semi-direct products and the progenitor P | |
| |
| |
| |
The Cayley graph of P over N | |
| |
| |
| |
The regular graph preserved by P | |
| |
| |
| |
Homomorphic images of P | |
| |
| |
| |
The lemma | |
| |
| |
| |
Further properties of the progenitor | |
| |
| |
| |
Coxeter diagrams and Y-diagrams | |
| |
| |
| |
Introduction to Magma and GAP | |
| |
| |
| |
Algorithm for double coset enumeration | |
| |
| |
| |
Systematic approach | |
| |
| |
| |
Classical examples | |
| |
| |
| |
The group PGL[subscript 2](7) | |
| |
| |
| |
Exceptional behaviour of S[subscript n] | |
| |
| |
| |
The 11-point biplane and PGL[subscript 2](11) | |
| |
| |
| |
The group of the 28 bitangents | |
| |
| |
| |
Sporadic simple groups | |
| |
| |
| |
The Mathieu group M[subscript 22] | |
| |
| |
| |
The Janko group J[subscript 1] | |
| |
| |
| |
The Higman-Sims group | |
| |
| |
| |
The Hall-Janko group and the Suzuki chain | |
| |
| |
| |
The Mathieu groups M[subscript 12] and M[subscript 24] | |
| |
| |
| |
The Janko group J[subscript 3] | |
| |
| |
| |
The Mathieu group M[subscript 24] as control subgroup | |
| |
| |
| |
The Fischer groups | |
| |
| |
| |
Transitive extensions and the O'Nan group | |
| |
| |
| |
Symmetric representation of groups | |
| |
| |
| |
Appendix to Chapter 5 | |
| |
| |
| |
Non-Involutory Symmetric Generators | |
| |
| |
| |
The (non-involutory) progenitor | |
| |
| |
| |
Monomial automorphisms | |
| |
| |
| |
Monomial representations | |
| |
| |
| |
Monomial action of a control subgroup | |
| |
| |
| |
Images of the progenitors in Chapter 6 | |
| |
| |
| |
The Mathieu group M[subscript 11] | |
| |
| |
| |
The Mathieu group M[subscript 23] | |
| |
| |
| |
The Mathieu group M[subscript 24] | |
| |
| |
| |
Factoring out a 'classical' relator | |
| |
| |
| |
The Suzuki chain and the Conway group | |
| |
| |
| |
Systematic approach | |
| |
| |
| |
Tabulated results | |
| |
| |
| |
Some sporadic groups | |
| |
| |
References | |
| |
| |
Index | |