On Non-Generic Finite Subgroups of Exceptional Algebraic Groups

DOI10.1090/MEMO/1207zbMATH Open1435.20001arXiv1511.03356OpenAlexW2119970366MaRDI QIDQ4645835FDOQ4645835

Authors: Alastair J. Litterick 

Publication date: 11 January 2019

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Abstract: The study of finite subgroups of a simple algebraic group $G$ reduces in a sense to those which are almost simple. If an almost simple subgroup of $G$ has a socle which is not isomorphic to a group of Lie type in the underlying characteristic of $G$, then the subgroup is called non-generic. This paper considers non-generic subgroups of simple algebraic groups of exceptional type in arbitrary characteristic. A finite subgroup is called Lie primitive if it lies in no proper subgroup of positive dimension. We prove here that many non-generic subgroup types, including the alternating and symmetric groups $ext{Alt}_n$, $ext{Sym}_n$ for $nge10$, do not occur as Lie primitive subgroups of an exceptional algebraic group. A subgroup of $G$ is called $G$-completely reducible if, whenever it lies in a parabolic subgroup of $G$, it lies in a conjugate of the corresponding Levi factor. Here, we derive a fairly short list of possible isomorphism types of non-$G$-completely reducible, non-generic simple subgroups. As an intermediate result, for each simply connected $G$ of exceptional type, and each non-generic finite simple group $H$ which embeds into $G/Z(G)$, we derive a set of feasible characters, which restrict the possible composition factors of $VdownarrowS$, whenever $S$ is a subgroup of $G$ with image $H$ in $G/Z(G)$, and $V$ is either the Lie algebra of $G$ or a non-trivial Weyl module for $G$ of least dimension. This has implications for the subgroup structure of the finite groups of exceptional Lie type. For instance, we show that for $nge10$, $ext{Alt}_n$ and $ext{Sym}_n$, as well as numerous other almost simple groups, cannot occur as a maximal subgroup of an almost simple group whose socle is a finite simple group of exceptional Lie type.

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

Recommendations

• On finite subgroups of exceptional algebraic groups
• scientific article; zbMATH DE number 848013
• The irreducible subgroups of exceptional algebraic groups
• Non-G-Completely Reducible Subgroups of the Exceptional Algebraic Groups
• Irreducible subgroups of exceptional algebraic groups
• On finite groups with non-subnormal subgroups
• Maximal subgroups of exceptional algebraic groups
• 𝐴₁ subgroups of exceptional algebraic groups
• scientific article; zbMATH DE number 4185917
• Reductive subgroups of exceptional algebraic groups

zbMATH Keywords

algebraic groupsfinite simple groupsexceptional groupscomplete reducibilitysubgroup structureLie primitive

Mathematics Subject Classification ID

Exceptional groups (20G41) Group schemes (14L15) Research exposition (monographs, survey articles) pertaining to group theory (20-02)

Cites Work

• The Magma algebra system. I: The user language
• The Finite Simple Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Endomorphisms of linear algebraic groups
• Title not available (Why is that?)
• Chevalley groups of type \(G_ 2\) as the group of a trilinear form
• On tilting modules for algebraic groups
• A geometric approach to complete reducibility.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Die Zerlegungsmatrizen der Gruppen \(PSL(2,p^f)\)
• Conjugacy classes of n-tuples in Lie algebras and algebraic groups
• Title not available (Why is that?)
• The maximal subgroups of classical algebraic groups
• Maximal subgroups of exceptional algebraic groups
• The maximal subgroups of positive dimension in exceptional algebraic groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the maximal subgroups of the finite classical groups
• Linear algebraic groups and finite groups of Lie type.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Low-dimensional representations of quasi-simple groups
• Small Degree Representations of Finite Chevalley Groups in Defining Characteristic
• The reductive subgroups of \(G_2\).
• Reductive subgroups of exceptional algebraic groups
• The reductive subgroups of \(F_4\).
• On the structure of parabolic subgroups
• Examples for embeddings of groups \(\text{PSL}_ 2(F_ p)\) into simple Lie groups
• Maximal subgroups of \(G_2(2^n)\)
• Sporadic simple subgroups of finite exceptional groups of Lie type
• Les sous-groupes fermes de rang maximum des groupes de Lie clos
• On finite subgroups of exceptional algebraic groups
• Filtrations of $G$-modules
• The Local Maximal Subgroups of Exceptional Groups of Lie Type, Finite and Algebraic
• On the subgroup structure of exceptional groups of Lie type
• On conjugacy classes of maximal subgroups of finite simple groups, and a related zeta function.
• The 27-dimensional module for \(E_ 6\). I
• Maximal subgroups of exceptional groups of Lie type, finite and algebraic
• The 27-Dimensional Module for E 6 , III
• The 27-Dimensional Module for E₆ , II
• Subgroups generated by root elements in groups of Lie type
• HS <E ₇ (5)
• Simple irreducible subgroups of exceptional algebraic groups.
• The 27-dimensional module for \(E_ 6\). IV
• Characters of Elements of Finite Order in Lie Groups
• Small representations are completely reducible
• Title not available (Why is that?)
• New versions of Schur-Weyl duality
• Finite subgroups of G₂,(c)
• The 2-transitive ovoids
• Finite simple groups which projectively embed in an exceptional Lie group are classified!
• Jordan subgroups of simple algebraic groups
• Structure of finite subgroups of simple algebraic groups
• J ₃ <E ₆ (4) and M ₁₂ <E ₆ (5)
• Conjugacy of \(\text{Alt}_5\) and \(\text{SL}(2,5)\) subgroups of \(E_6(\mathbb{C})\), \(F_4(\mathbb{C})\), and a subgroup of \(\mathbb{E}_8(\mathbb{C})\) of type \(A_2E_6\)
• Homomorphisms of the alternating group \({\mathcal A}_5\) into reductive groups.
• Conjugacy of \(\text{Alt}_5\) and \(\text{SL}(2,5)\) subgroups of \(E_7(\mathbb{C})\)
• Conjugacy of 𝐴𝑙𝑡₅ and 𝑆𝐿(2,5) subgroups of 𝐸₈(𝐶)
• Finite Subgroups of F ₄ (C) and E ₆ (C)
• Simple Subgroups of Large Rank in Groups of Lie Type
• Title not available (Why is that?)
• Ru< E₇(5)
• Non-G-Completely Reducible Subgroups of the Exceptional Algebraic Groups

Cited In (13)

• \(A_1\)-type subgroups containing regular unipotent elements
• Maximal 𝑃𝑆𝐿₂ Subgroups of Exceptional Groups of Lie Type
• The maximal subgroups of the exceptional groups \(F_4(q)\), \(E_6(q)\) and \(^2\!E_6(q)\) and related almost simple groups
• A new maximal subgroup of 𝐸₈ in characteristic 3
• Reducible subgroups of exceptional algebraic groups
• Construction de Variétés de Groupes Exceptionnels Non $k$-Rationnelles
• The irreducible subgroups of exceptional algebraic groups
• On Medium-Rank Lie Primitive and Maximal Subgroups of Exceptional Groups of Lie Type
• Hurwitz generation in groups of types \(F_4\), \(E_6\), \(^2E_6\), \(E_7\) and \(E_8\)
• The spread of a finite group
• Exceptional algebraic sets for infinite discrete groups of \(\operatorname{PSL}(3,\mathbb{C})\)
• Classification of finite quasisimple groups which embed in exceptional algebraic groups
• Non-Local Lie Primitive Subgroups of Lie Groups

Uses Software

• Magma

This page was built for publication: On Non-Generic Finite Subgroups of Exceptional Algebraic Groups

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