Book contents
- Frontmatter
- Contents
- Introduction
- Galois groups through invariant relations
- Construction of Co3. An example of the use of an integrated system for computational group theory
- Embedding some recursively presented groups
- The Dedekind-Frobenius group determinant: new life in an old problem
- Group characters and π-sharpness
- Permutation group algorithms via black box recognition algorithms
- Nonabelian tensor products of groups: the commutator connection
- Simple subalgebras of generalized Witt algebras of characteristic zero
- Applications of the Baker-Hausdorff formula in the theory of finite p-groups
- Generalizations of the restricted Burnside problem for groups with automorphisms
- The ∑m-conjecture for a class of metabelian groups
- Rings with periodic groups of units II
- Some free-by-cyclic groups
- The residually weakly primitive geometries of the Suzuki simple group Sz(8)
- Semigroup identities and Engel groups
- Groups whose elements have given orders
- The Burnside groups and small cancellation theory
- Solvable Engel groups with nilpotent normal closures
- Nilpotent injectors in finite groups
- Some groups with right Engel elements
- The growth of finite subgroups in p-groups
- Symplectic amalgams and extremal subgroups
- Primitive prime divisor elements in finite classical groups
- On the classification of generalized Hamiltonian groups
- Permutability properties of subgroups
- When Schreier transversals grow wild
- Probabilistic group theory
- Combinatorial methods: from groups to polynomial algebras
- Formal languages and the word problem for groups
- Periodic cohomology and free and proper actions on ℝn × Sm
- On modules over group rings of soluble groups of finite rank
- On some series of normal subgroups of the Gupta-Sidki 3-group
Construction of Co3. An example of the use of an integrated system for computational group theory
Published online by Cambridge University Press: 04 August 2010
- Frontmatter
- Contents
- Introduction
- Galois groups through invariant relations
- Construction of Co3. An example of the use of an integrated system for computational group theory
- Embedding some recursively presented groups
- The Dedekind-Frobenius group determinant: new life in an old problem
- Group characters and π-sharpness
- Permutation group algorithms via black box recognition algorithms
- Nonabelian tensor products of groups: the commutator connection
- Simple subalgebras of generalized Witt algebras of characteristic zero
- Applications of the Baker-Hausdorff formula in the theory of finite p-groups
- Generalizations of the restricted Burnside problem for groups with automorphisms
- The ∑m-conjecture for a class of metabelian groups
- Rings with periodic groups of units II
- Some free-by-cyclic groups
- The residually weakly primitive geometries of the Suzuki simple group Sz(8)
- Semigroup identities and Engel groups
- Groups whose elements have given orders
- The Burnside groups and small cancellation theory
- Solvable Engel groups with nilpotent normal closures
- Nilpotent injectors in finite groups
- Some groups with right Engel elements
- The growth of finite subgroups in p-groups
- Symplectic amalgams and extremal subgroups
- Primitive prime divisor elements in finite classical groups
- On the classification of generalized Hamiltonian groups
- Permutability properties of subgroups
- When Schreier transversals grow wild
- Probabilistic group theory
- Combinatorial methods: from groups to polynomial algebras
- Formal languages and the word problem for groups
- Periodic cohomology and free and proper actions on ℝn × Sm
- On modules over group rings of soluble groups of finite rank
- On some series of normal subgroups of the Gupta-Sidki 3-group
Summary
Introduction
This paper aims to demonstrate, by example, a small sample of the capabilities of the GAP system [S+97] for computational algebra. We specifically focus on the advantages arising from the use of an integrated system such as GAP, which allows the easy combination of techniques from a range of areas, without requiring the user to have a detailed knowledge of the algorithms used.
The sporadic group Co3 has a faithful permutation representation on 276 points which is unusually small for a group of its size. We want to construct this permutation representation by way of a chain of subgroups of ascending order. In this process we will construct explicitly the sporadic simple groups M22 and HS together with associated graphs and codes. Our guide in this is the ATLAS of Finite Simple Groups [CCN+85], which contains a variety of information about the groups of interest, including very terse “constructions” – outlines of settings in which these groups can occur.
We will use GAP (version 3.4, patchlevel 4, including the GRAPE [Soi93] and GUAVA [BCMR] share packages) to realise these constructions. We will see that the integration of many algorithms in one system will permit us to follow the path outlined in theory with concrete constructions.
From a computational stand-point, this is not a very large or difficult computation. It is interesting, however, because it uses a very wide range of techniques, and because it demonstrates one important way in which an integrated system such as GAP can be used.
- Type
- Chapter
- Information
- Groups St Andrews 1997 in Bath , pp. 394 - 409Publisher: Cambridge University PressPrint publication year: 1999