Recognising the small Ree groups in their natural representations.

DOI10.1016/J.JALGEBRA.2014.06.017zbMATH Open1303.20009arXiv1206.0411OpenAlexW2167058668MaRDI QIDQ404240FDOQ404240

Authors: Henrik Bäärnhielm 

Publication date: 4 September 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We present Las Vegas algorithms for constructive recognition and constructive membership testing of the Ree groups 2G_2(q) = Ree(q), where q = 3^{2m + 1} for some m > 0, in their natural representations of degree 7. The input is a generating set X. The constructive recognition algorithm is polynomial time given a discrete logarithm oracle. The constructive membership testing consists of a pre-processing step, that only needs to be executed once for a given X, and a main step. The latter is polynomial time, and the former is polynomial time given a discrete logarithm oracle. Implementations of the algorithms are available for the computer algebra system MAGMA.

Full work available at URL: https://arxiv.org/abs/1206.0411

Recommendations

• Constructive recognition of 𝑃𝑆𝐿(2,𝑞)
• Recognising the Suzuki groups in their natural representations.
• Recognition of finite exceptional groups of Lie type.
• Constructive recognition of classical groups in their natural representation.
• A new construction of the Ree groups of type ²G₂

zbMATH Keywords

representationsexceptional groupsRee groupsblack-box groupsclassical groups over finite fieldsconstructive recognitioneffective algorithmsLas Vegas algorithmsmatrix group recognition

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Linear algebraic groups over finite fields (20G40) Software, source code, etc. for problems pertaining to group theory (20-04)

Cites Work

• The Magma algebra system. I: The user language
• The maximal subgroups of the Chevalley groups \(G_ 2(q)\) with q odd, the Ree groups \(2G_ 2(q)\), and their automorphism groups
• The Finite Simple Groups
• Structure of Ree groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Ree's Series of Simple Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• A practical model for computation with matrix groups.
• Writing projective representations over subfields.
• A Family of Simple Groups Associated with the Simple Lie Algebra of Type (G 2 )
• Generating random elements of a finite group
• An improved method for generating the centralizer of an involution
• Constructive membership in black-box groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Treating the Exceptional Cases of the MeatAxe
• Recognising the Suzuki groups in their natural representations.
• The computational matrix group project.
• Title not available (Why is that?)
• A family of simple groups associated with the simple Lie algebra of type (𝐺₂)
• A new construction of the Ree groups of type ²G₂
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• MATRIX GENERATORS FOR THE REE GROUPS²G₂(q)
• Constructive recognition of 𝑃𝑆𝐿(2,𝑞)
• Another new approach to the small Ree groups.
• Constructive homomorphisms for classical groups.
• Constructive recognition of classical groups in odd characteristic.

Cited In (8)

• Recognition of finite exceptional groups of Lie type.
• Another new approach to the small Ree groups.
• A new method for recognising Suzuki groups
• A practical model for computation with matrix groups.
• Cubic graphical regular representations of Ree groups
• Scott's formula and Hurwitz groups.
• Constructing composition factors for a linear group in polynomial time
• Doubly transitive lines. II: Almost simple symmetries

Uses Software

• Magma
• MeatAxe

This page was built for publication: Recognising the small Ree groups in their natural representations.

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