Matrix generators for the orthogonal groups

DOI10.1006/JSCO.1997.0180MaRDI QIDQ1264450zbMATH OpenOpenAlexFDO

Authors K. Appert, Leanne Rylands, D. E. Taylor

Publication date 20 April 1999

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/c7aeb774d5620b6111291ea8d758c514cb5fd364

zbMATH Keywords

computer algebra systemsfinite simple groups of Lie typelinear groupsmatrix generatorsorthogonal groupspairs of generatorsroot elementsWeyl groups

Mathematics Subject Classification ID

Representations of finite groups of Lie type (20C33) Simple groups: alternating groups and groups of Lie type (20D06) Generators, relations, and presentations of groups (20F05) Linear algebraic groups over finite fields (20G40) Symbolic computation and algebraic computation (68W30)

Review text

Generators for the groups \(\text{SL}(l,q)\), \(\text{Sp}(2m,q)\), \(U(l,q)\) and \(\text{Sz}(q)\) have been available in computer algebra systems for some time. But until recently it has been impractical to work with these groups for large dimensions and fields. Since the orthogonal groups up to dimension 6 are isomorphic to other linear groups, only small orthogonal groups are available in this way. Hence there has been a need for matrix generators for the orthogonal groups of dimensions beyond 6. In 1962, Steinberg gave pairs of generators for all finite simple groups of Lie type. These generators are given in terms of root elements and generators for the Weyl group. In the paper under review, the authors describe the corresponding generators for the finite orthogonal groups \(\Omega(l,q)\). In order to provide explicit constructions for the orthogonal groups which can be used within computer algebra packages, these generators are presented as matrices. These generators are equal to Steinberg's generators modulo centre of the group. Their methods are easily adaptable for finding generators for \(\text{SO}(l,q)\) and \(O(l,q)\).

Recommendations

• Publication:3031154
• Matrix generators for exceptional groups of Lie type
• Matrix generators for the Harada–Norton group
• scientific article; zbMATH DE number 3056354
• Generators for orthogonal groups of unimodular lattices
• scientific article; zbMATH DE number 4159098
• scientific article; zbMATH DE number 4181759
• Groups of orthogonal matrices all orbits of which generate lattices
• scientific article; zbMATH DE number 3955221
• scientific article; zbMATH DE number 850197

Cited in

(16)

• Generators for orthogonal groups of unimodular lattices
• Computing generators of groups preserving a bilinear form over residue class rings.
• A counterexample to a conjugacy conjecture of Steinberg
• Construction of the irreducible modular representations of a finite group
• Cycle index methods for finite groups of orthogonal type in odd characteristic
• SMALL ZEROS OF QUADRATIC FORMS OVER $\overline{\mathbb{Q}}$
• scientific article; zbMATH DE number 3955221 (Why is no real title available?)
• Steinberggruppen von orthogonalen Gruppen
• Conjugacy of Subgroups of the General Linear Group
• Matrix generators for the Harada–Norton group
• Galois criterion for torsion points of Drinfeld modules
• Computing isometry groups of Hermitian maps
• Matrix generators for exceptional groups of Lie type
• Two-closure of rank \(3\) groups in polynomial time
• Generating triples of conjugate involutions for finite simple groups
• Creating a dynamic database of finite groups

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Matrix generators for the orthogonal groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1264450)