Skip to main content
added 1949 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups. In any case, the almost-simple groups are the essential ones to consider.

ADDED: Concerning my last remark, keep in mind that a (connected) reductive algebraic group is the almost-direct product of various almost-simple groups and a central torus. So for conjugacy purposes in the finite groups you can focus just on the almost-simple case.

G-L-S is not easy to read, because their study of known finite simple groups requires building considerable notation and terminology. However, they do present an authoritative version (modulo their posted corrections) of the internal structure of finite groups of Lie type. This gets complicated by the fact that most work has to be done case-by-case, while there are untwisted (split, Chevalley) groups as well as twisted (Steinberg, Suzuki, Ree) groups to consider. All of these groups draw their structure from the root system of a simple algebraic group, however. So in spite of the case arguments there is a lot of unity in the results. For instance, a typical Sylow $p$-subgroup comes from a set of positive roots, while conjugacy of Sylow subgroups and conjugacy theorems in the algebraic group help to focus attention on fixed root data.

While G-L-S primarily focus on finding maximal elementary abelian $p$-subgroups and the resulting $p$-rank, their results imply a reasonable finite upper bound on the number of conjugacy classes in the finite group. Roughly speaking, this comes from a case-by-case study of the "abelian" sets of positive roots (for which the corresponding root groups commute). But there are many special cases, for instance when $p$ is 2 or 3. So the details are delicate. On the other hand, passing to larger finite fields of characteristic $p$ obviously increases the $p$-rank, but the underlying size of maximal abelian subsets of roots is unaffected by that. The Lie-theoretic structure is especially crucial for exceptional types such as $E_8$, where some of the ideas go back to the older work of Mal'cev.

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups. In any case, the almost-simple groups are the essential ones to consider.

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups. In any case, the almost-simple groups are the essential ones to consider.

ADDED: Concerning my last remark, keep in mind that a (connected) reductive algebraic group is the almost-direct product of various almost-simple groups and a central torus. So for conjugacy purposes in the finite groups you can focus just on the almost-simple case.

G-L-S is not easy to read, because their study of known finite simple groups requires building considerable notation and terminology. However, they do present an authoritative version (modulo their posted corrections) of the internal structure of finite groups of Lie type. This gets complicated by the fact that most work has to be done case-by-case, while there are untwisted (split, Chevalley) groups as well as twisted (Steinberg, Suzuki, Ree) groups to consider. All of these groups draw their structure from the root system of a simple algebraic group, however. So in spite of the case arguments there is a lot of unity in the results. For instance, a typical Sylow $p$-subgroup comes from a set of positive roots, while conjugacy of Sylow subgroups and conjugacy theorems in the algebraic group help to focus attention on fixed root data.

While G-L-S primarily focus on finding maximal elementary abelian $p$-subgroups and the resulting $p$-rank, their results imply a reasonable finite upper bound on the number of conjugacy classes in the finite group. Roughly speaking, this comes from a case-by-case study of the "abelian" sets of positive roots (for which the corresponding root groups commute). But there are many special cases, for instance when $p$ is 2 or 3. So the details are delicate. On the other hand, passing to larger finite fields of characteristic $p$ obviously increases the $p$-rank, but the underlying size of maximal abelian subsets of roots is unaffected by that. The Lie-theoretic structure is especially crucial for exceptional types such as $E_8$, where some of the ideas go back to the older work of Mal'cev.

added 73 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups. In any case, the almost-simple groups are the essential ones to consider.

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups.

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups. In any case, the almost-simple groups are the essential ones to consider.

Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

I believe the answer to your question (including the stronger version) is yes, and it may be written down explicitly in the finite group literature. Note that in the defining characteristic $p$ for a finite group of Lie type, the root structure plays a major role here since $p$-subgroups are the same thing as unipotent subgroups.

A basic source for the detailed structure of Sylow $p$-subgroups in all cases is Number 3 in the treatise The Classification of Finite Simple Groups by Gorenstein-Lyons-Solomon (AMS, 1998). See in particular their section 3.3, where for instance they have a convenient summary of the $p$-ranks of the finite groups of Lie type: this is the largest rank of an elementary abelian $p$-subgroup, important in the study of complexity and support varieties.

I'd have to look again at the literature including G-L-S to sort out what is actually known about conjugacy classes of elementary abelian $p$-subgroups, but in any case it's probably essential to relate the question to the Lie-theoretic structure inherited by the finite groups.