Ru< E7(5)

DOI10.1080/00927870008827041MaRDI QIDQ4500809zbMATH OpenOpenAlexFDO

Authors Peter B. Kleidman, U. Meierfrankenfeld, Alex Ryba

Publication date 20 March 2001

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927870008827041

zbMATH Keywords

Chevalley groupsconjugacy classescoset enumerationgroups of Lie typemaximal subgroupssporadic Rudvalis group

Mathematics Subject Classification ID

Simple groups: alternating groups and groups of Lie type (20D06) Simple groups: sporadic groups (20D08) Subgroup theorems; subgroup growth (20E07) Maximal subgroups (20E28)

Review text

In this long-awaited article (preprints have been circulating for over a decade) the authors present two proofs that the sporadic Rudvalis group is a subgroup of the Chevalley group \(E_7(5)\). The first is entirely computational, and proceeds by first performing an exhaustive search through all subgroups of \(E_7(5)\) generated by a Frobenius group \(29:7\) and a dihedral group \(D_{14}\) intersecting in a group of order 7. The six cases which are not immediately eliminated are then shown by coset enumeration to be isomorphic to the Rudvalis group. They fall into two conjugacy classes in \(E_7(5)\), interchanged by the outer automorphism. In the process of this proof, it is shown that the Rudvalis group contains subgroups \(L_3(2):2\) and \({^2F_4}(2)'\). The second proof of the main result is computer-free. In consequence, the detailed calculations are given in full, and not suppressed as in the first proof. The method here is to use Aschbacher's unpublished construction of a subgroup \({^2F_2(2)}\) in \(E_6(5)\), to construct a subgroup of \(E_7(5)\) generated by two different subgroups \({^2F_4(2)}\) sharing a common subgroup \(L_2(25)\). This is eventually identified as a rank 3 extension of \({^2F_4(2)}\), with suborbits 1, 1755, and 2304, and hence as the Rudvalis group. It should be remarked that a third later (and independent) proof of the same result has been obtained by \textit{R. L. Griess} jun. and \textit{A. J. E. Ryba} [Invent. Math. 116, No. 1-3, 215-241 (1994; Zbl 0796.20014)]. A fourth proof could be obtained by using the results of \textit{G. Hiß} and \textit{J. Müller} [Commun. Algebra 23, No. 12, 4633-4667 (1995; Zbl 0834.20017)]: they show that there is an irreducible 133-dimensional representation of the Rudvalis group over \(\text{GF}(5)\), which supports an invariant anticommutative nonassociative algebra, and it remains only to show that this algebra is a Lie algebra of type \(E_7\).

Recommendations

• A construction of the simple group of Rudvalis from the group U₃(5):2
• Symmetric generation of the Rudvalis group
• HS <E ₇ (5)

Cites work

• A Family of Simple Groups Associated with the Simple Lie Algebra of Type (F 4 )
• A rank 3 simple group G of order \(2^{14} 3^{3} 5^{3}7.13.29\). II: Characters of G and G*
• Amalgams of prime index
• Embeddings of \(U_ 3(8)\), \(Sz(8)\) and the Rudvalis group in algebraic groups of type \(E_ 7\)
• scientific article; zbMATH DE number 3904833 (Why is no real title available?)
• The 5-modular characters of the sporadic simple rudvalis group and its covering group^*

Cited in

(9)

• Embeddings of \(U_ 3(8)\), \(Sz(8)\) and the Rudvalis group in algebraic groups of type \(E_ 7\)
• Short proofs of embeddings into exceptional groups of Lie type
• Symmetric generation of the Rudvalis group
• Constructive membership in black-box groups
• J ₃ <E ₆ (4) and M ₁₂ <E ₆ (5)
• A construction of the simple group of Rudvalis from the group U₃(5):2
• HS <E ₇ (5)
• On Non-Generic Finite Subgroups of Exceptional Algebraic Groups
• scientific article; zbMATH DE number 3995953 (Why is no real title available?)

This page was built for publication: Ru< E₇(5)

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