Identification of matrix generators of a Chevalley group.
The problem of computing effectively (and efficiently) with matrix groups over finite fields is one which has received a great deal of attention over the last two decades, and various approaches have been suggested and adopted. Most of these involve at some stage working with simple or quasisimple groups in some, usually irreducible but otherwise arbitrary, representation. In order to identify the group with certainty, it is necessary to set up an isomorphism with some standard copy of the group in question. The paper under review proposes a new approach to this latter problem, in the case where the quasisimple group is an untwisted group of Lie type over a field of odd order. The `standard copy' in this case is the adjoint representation written with respect to a Chevalley basis. The `arbitrary' representation is assumed to be in the defining characteristic, as in non-defining characteristic the group must be `small' and permutation group methods are more appropriate. The method relies on the fact that the tensor product of any such representation with its dual contains a copy of the adjoint representation. Hence the adjoint can be constructed by well-known (so-called `Meataxe') methods. The next step is to construct the Lie bracket -- here lies the real novelty of the author's approach -- and thence compute a Chevalley basis. Thus the standard representation of the group is obtained, on the original (user-defined) generators. In order to complete the construction of the group isomorphism it is then necessary to obtain `standard generators' as well, but that is a separate problem addressed elsewhere.
- Computer condensation of modular representations
- Computing in groups of Lie type
- Die adjungierten Darstellungen der Chevalley-Gruppen
- scientific article; zbMATH DE number 3884354 (Why is no real title available?)
- scientific article; zbMATH DE number 3699132 (Why is no real title available?)
- scientific article; zbMATH DE number 46141 (Why is no real title available?)
- scientific article; zbMATH DE number 1222340 (Why is no real title available?)
- scientific article; zbMATH DE number 475631 (Why is no real title available?)
- scientific article; zbMATH DE number 682071 (Why is no real title available?)
- scientific article; zbMATH DE number 1981751 (Why is no real title available?)
- scientific article; zbMATH DE number 3807840 (Why is no real title available?)
- scientific article; zbMATH DE number 1418992 (Why is no real title available?)
- Modular representations of simple Lie algebras
- Small Degree Representations of Finite Chevalley Groups in Defining Characteristic
- The computational matrix group project.
- Treating the Exceptional Cases of the MeatAxe
- Writing projective representations over subfields.
- Calculations in exceptional groups over rings.
- Recognition of absolutely irreducible matrix groups that are tensor decomposable or induced
- Construction of some irreducible subgroups of E₈ and E₆.
- Chevalley groups of type \(E_7\) in the 56-dimensional representation.
- Computing in groups of Lie type
- Algorithmic construction of Chevalley bases
- RECOGNITION OF SMALL DIMENSIONAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
- Matrix generators for exceptional groups of Lie type
- An algorithm for Lang's theorem.
- Computer construction of split Cartan subalgebras
This page was built for publication: Identification of matrix generators of a Chevalley group.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q875097)
