Identification of matrix generators of a Chevalley group.
type: Item
instance of: scholarly article
title: Identification of matrix generators of a Chevalley group.
zbMATH Open document ID: 1124.20008
author: Alex Ryba
published in: Journal of Algebra
publication date: 2007-04-11T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 20C40
Mathematics Subject Classification ID: 20C33
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 5141726
zbMATH Keywords: Chevalley groups
zbMATH Keywords: representations
zbMATH Keywords: algorithms
zbMATH Keywords: quasisimple groups
zbMATH Keywords: groups of Lie type
zbMATH Keywords: Chevalley bases
zbMATH Keywords: generators
reviewed by: Robert A. Wilson
describes a project that uses: MeatAxe
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2006.06.027
OpenAlex ID: W2075404452
cites work: Q4273888
cites work: Q3996420
cites work: Computing in groups of Lie type
cites work: Q4942163
cites work: Writing projective representations over subfields.
cites work: Die adjungierten Darstellungen der Chevalley-Gruppen
cites work: Q4750828
cites work: Q4312071
cites work: Q4217857
cites work: Modular representations of simple Lie algebras
cites work: Q3892399
cites work: Treating the Exceptional Cases of the MeatAxe
cites work: Q4426040
cites work: The computational matrix group project.
cites work: Small Degree Representations of Finite Chevalley Groups in Defining Characteristic
cites work: Q3218280
cites work: Computer condensation of modular representations
DOI: 10.1016/J.JALGEBRA.2006.06.027
description: scientific article; zbMATH DE number 5141726