Identification of matrix generators of a Chevalley group. (Q875097): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2006.06.027 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075404452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing in groups of Lie type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4942163 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Writing projective representations over subfields. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Die adjungierten Darstellungen der Chevalley-Gruppen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4750828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4312071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4217857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular representations of simple Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3892399 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Treating the Exceptional Cases of the MeatAxe / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4426040 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2759632 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Small Degree Representations of Finite Chevalley Groups in Defining Characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3218280 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer condensation of modular representations / rank | |||
Normal rank |
Latest revision as of 17:06, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Identification of matrix generators of a Chevalley group. |
scientific article |
Statements
Identification of matrix generators of a Chevalley group. (English)
0 references
11 April 2007
0 references
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.
0 references
Chevalley groups
0 references
representations
0 references
algorithms
0 references
quasisimple groups
0 references
groups of Lie type
0 references
Chevalley bases
0 references
generators
0 references