Group of Lie type

Last updated March 29, 2023

In mathematics, specifically in group theory, the phrase group of Lie type usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phrase group of Lie type does not have a widely accepted precise definition,^[1] but the important collection of finite simple groups of Lie type does have a precise definition, and they make up most of the groups in the classification of finite simple groups.

The name "groups of Lie type" is due to the close relationship with the (infinite) Lie groups, since a compact Lie group may be viewed as the rational points of a reductive linear algebraic group over the field of real numbers. Dieudonné (1971) and Carter (1989) are standard references for groups of Lie type.

Classical groups

An initial approach to this question was the definition and detailed study of the so-called classical groups over finite and other fields by Jordan (1870). These groups were studied by L. E. Dickson and Jean Dieudonné. Emil Artin investigated the orders of such groups, with a view to classifying cases of coincidence.

A classical group is, roughly speaking, a special linear, orthogonal, symplectic, or unitary group. There are several minor variations of these, given by taking derived subgroups or central quotients, the latter yielding projective linear groups. They can be constructed over finite fields (or any other field) in much the same way that they are constructed over the real numbers. They correspond to the series A_n, B_n, C_n, D_n,²A_n, ²D_n of Chevalley and Steinberg groups.

Chevalley groups

Chevalley groups can be thought of as Lie groups over finite fields. The theory was clarified by the theory of algebraic groups, and the work of Chevalley ( 1955 ) on Lie algebras, by means of which the Chevalley group concept was isolated. Chevalley constructed a Chevalley basis (a sort of integral form but over finite fields) for all the complex simple Lie algebras (or rather of their universal enveloping algebras), which can be used to define the corresponding algebraic groups over the integers. In particular, he could take their points with values in any finite field. For the Lie algebras A_n, B_n, C_n, D_n this gave well known classical groups, but his construction also gave groups associated to the exceptional Lie algebras E₆, E₇, E₈, F₄, and G₂. The ones of type G₂ (sometimes called Dickson groups) had already been constructed by Dickson (1905), and the ones of type E₆ by Dickson (1901).

Steinberg groups

Chevalley's construction did not give all of the known classical groups: it omitted the unitary groups and the non-split orthogonal groups. Steinberg (1959) found a modification of Chevalley's construction that gave these groups and two new families ³D₄, ²E₆, the second of which was discovered at about the same time from a different point of view by Tits (1958). This construction generalizes the usual construction of the unitary group from the general linear group.

The unitary group arises as follows: the general linear group over the complex numbers has a diagram automorphism given by reversing the Dynkin diagram A_n (which corresponds to taking the transpose inverse), and a field automorphism given by taking complex conjugation, which commute. The unitary group is the group of fixed points of the product of these two automorphisms.

In the same way, many Chevalley groups have diagram automorphisms induced by automorphisms of their Dynkin diagrams, and field automorphisms induced by automorphisms of a finite field. Analogously to the unitary case, Steinberg constructed families of groups by taking fixed points of a product of a diagram and a field automorphism.

These gave:

the unitary groups²A_n, from the order 2 automorphism of A_n;
further orthogonal groups²D_n, from the order 2 automorphism of D_n;
the new series ²E₆, from the order 2 automorphism of E₆;
the new series ³D₄, from the order 3 automorphism of D₄.

The groups of type ³D₄ have no analogue over the reals, as the complex numbers have no automorphism of order 3.^{[ clarification needed ]} The symmetries of the D₄ diagram also give rise to triality.

Suzuki–Ree groups

Suzuki ( 1960 ) found a new infinite series of groups that at first sight seemed unrelated to the known algebraic groups. Ree ( 1960 , 1961 ) knew that the algebraic group B₂ had an "extra" automorphism in characteristic 2 whose square was the Frobenius automorphism. He found that if a finite field of characteristic 2 also has an automorphism whose square was the Frobenius map, then an analogue of Steinberg's construction gave the Suzuki groups. The fields with such an automorphism are those of order 2²ⁿ⁺¹, and the corresponding groups are the Suzuki groups

²B₂(2²ⁿ⁺¹) = Suz(2²ⁿ⁺¹).

(Strictly speaking, the group Suz(2) is not counted as a Suzuki group as it is not simple: it is the Frobenius group of order 20.) Ree was able to find two new similar families

²F₄(2²ⁿ⁺¹)

and

²G₂(3²ⁿ⁺¹)

of simple groups by using the fact that F₄ and G₂ have extra automorphisms in characteristic 2 and 3. (Roughly speaking, in characteristic p one is allowed to ignore the arrow on bonds of multiplicity p in the Dynkin diagram when taking diagram automorphisms.) The smallest group ²F₄(2) of type ²F₄ is not simple, but it has a simple subgroup of index 2, called the Tits group (named after the mathematician Jacques Tits). The smallest group ²G₂(3) of type ²G₂ is not simple, but it has a simple normal subgroup of index 3, isomorphic to A₁(8). In the classification of finite simple groups, the Ree groups

²G₂(3²ⁿ⁺¹)

are the ones whose structure is hardest to pin down explicitly. These groups also played a role in the discovery of the first modern sporadic group. They have involution centralizers of the form Z/2Z × PSL(2, q) for q = 3ⁿ, and by investigating groups with an involution centralizer of the similar form Z/2Z × PSL(2, 5) Janko found the sporadic group J₁.

The Suzuki groups are the only finite non-abelian simple groups with order not divisible by 3. They have order 2^2(2n+1)(2^2(2n+1) + 1)(2⁽²ⁿ⁺¹⁾ − 1).

Relations with finite simple groups

Finite groups of Lie type were among the first groups to be considered in mathematics, after cyclic, symmetric and alternating groups, with the projective special linear groups over prime finite fields, PSL(2, p) being constructed by Évariste Galois in the 1830s. The systematic exploration of finite groups of Lie type started with Camille Jordan's theorem that the projective special linear group PSL(2, q) is simple for q ≠ 2, 3. This theorem generalizes to projective groups of higher dimensions and gives an important infinite family PSL(n, q) of finite simple groups. Other classical groups were studied by Leonard Dickson in the beginning of 20th century. In the 1950s Claude Chevalley realized that after an appropriate reformulation, many theorems about semisimple Lie groups admit analogues for algebraic groups over an arbitrary field k, leading to construction of what are now called Chevalley groups. Moreover, as in the case of compact simple Lie groups, the corresponding groups turned out to be almost simple as abstract groups (Tits simplicity theorem). Although it was known since 19th century that other finite simple groups exist (for example, Mathieu groups), gradually a belief formed that nearly all finite simple groups can be accounted for by appropriate extensions of Chevalley's construction, together with cyclic and alternating groups. Moreover, the exceptions, the sporadic groups, share many properties with the finite groups of Lie type, and in particular, can be constructed and characterized based on their geometry in the sense of Tits.

The belief has now become a theorem – the classification of finite simple groups. Inspection of the list of finite simple groups shows that groups of Lie type over a finite field include all the finite simple groups other than the cyclic groups, the alternating groups, the Tits group, and the 26 sporadic simple groups.

Small groups of Lie type

In general the finite group associated to an endomorphism of a simply connected simple algebraic group is the universal central extension of a simple group, so is perfect and has trivial Schur multiplier. However some of the smallest groups in the families above are either not perfect or have a Schur multiplier larger than "expected".

Cases where the group is not perfect include

A₁(2) = SL(2, 2) Solvable of order 6 (the symmetric group on 3 points)
A₁(3) = PSL(2, 3) Solvable of order 12 (the alternating group on 4 points)
²A₂(4) Solvable
B₂(2) Not perfect, but is isomorphic to the symmetric group on 6 points so its derived subgroup has index 2 and is simple of order 360.
²B₂(2) = Suz(2) Solvable of order 20 (a Frobenius group)
²F₄(2) Not perfect, but the derived group has index 2 and is the simple Tits group.
G₂(2) Not perfect, but the derived group has index 2 and is simple of order 6048.
²G₂(3) Not perfect, but the derived group has index 3 and is the simple group of order 504.

Some cases where the group is perfect but has a Schur multiplier that is larger than expected include:

A₁(4) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
A₁(9) The Schur multiplier has an extra Z/3Z, so the Schur multiplier of the simple group has order 6 instead of 2.
A₂(2) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
A₂(4) The Schur multiplier has an extra Z/4Z × Z/4Z, so the Schur multiplier of the simple group has order 48 instead of 3.
A₃(2) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
B₃(2) = C₃(2) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
B₃(3) The Schur multiplier has an extra Z/3Z, so the Schur multiplier of the simple group has order 6 instead of 2.
D₄(2) The Schur multiplier has an extra Z/2Z × Z/2Z, so the Schur multiplier of the simple group has order 4 instead of 1.
F₄(2) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
G₂(3) The Schur multiplier has an extra Z/3Z, so the Schur multiplier of the simple group has order 3 instead of 1.
G₂(4) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
²A₃(4) The Schur multiplier has an extra Z/2Z, so the Schur multiplier of the simple group has order 2 instead of 1.
²A₃(9) The Schur multiplier has an extra Z/3Z × Z/3Z, so the Schur multiplier of the simple group has order 36 instead of 4.
²A₅(4) The Schur multiplier has an extra Z/2Z × Z/2Z, so the Schur multiplier of the simple group has order 12 instead of 3.
²E₆(4) The Schur multiplier has an extra Z/2Z × Z/2Z, so the Schur multiplier of the simple group has order 12 instead of 3.
²B₂(8) The Schur multiplier has an extra Z/2Z × Z/2Z, so the Schur multiplier of the simple group has order 4 instead of 1.

There is a bewildering number of "accidental" isomorphisms between various small groups of Lie type (and alternating groups). For example, the groups SL(2, 4), PSL(2, 5), and the alternating group on 5 points are all isomorphic.

For a complete list of these exceptions see the list of finite simple groups. Many of these special properties are related to certain sporadic simple groups.

Alternating groups sometimes behave as if they were groups of Lie type over the field with one element. Some of the small alternating groups also have exceptional properties. The alternating groups usually have an outer automorphism group of order 2, but the alternating group on 6 points has an outer automorphism group of order 4. Alternating groups usually have a Schur multiplier of order 2, but the ones on 6 or 7 points have a Schur multiplier of order 6.

Notation issues

There is no standard notation for the finite groups of Lie type, and the literature contains dozens of incompatible and confusing systems of notation for them.

The simple group PSL(n, q) is not usually the same as the group PSL(n, F_q) of F_q-valued points of the algebraic group PSL(n). The problem is that a surjective map of algebraic groups such as SL(n) → PSL(n) does not necessarily induce a surjective map of the corresponding groups with values in some (non algebraically closed) field. There are similar problems with the points of other algebraic groups with values in finite fields.
The groups of type A_n−1 are sometimes denoted by PSL(n, q) (the projective special linear group) or by L(n, q).
The groups of type C_n are sometimes denoted by Sp(2n, q) (the symplectic group) or (confusingly) by Sp(n, q).
The notation for groups of type D_n ("orthogonal" groups) is particularly confusing. Some symbols used are O(n, q), O⁻(n, q), PSO(n, q), Ω_n(q), but there are so many conventions that it is not possible to say exactly what groups these correspond to without it being specified explicitly. The source of the problem is that the simple group is not the orthogonal group O, nor the projective special orthogonal group PSO, but rather a subgroup of PSO,^[2] which accordingly does not have a classical notation. A particularly nasty trap is that some authors, such as the ATLAS, use O(n, q) for a group that is not the orthogonal group, but the corresponding simple group. The notation Ω, PΩ was introduced by Jean Dieudonné, though his definition is not simple for n ≤ 4 and thus the same notation may be used for a slightly different group, which agrees in n ≥ 5 but not in lower dimension.^[2]
For the Steinberg groups, some authors write ²A_n(q²) (and so on) for the group that other authors denote by ²A_n(q). The problem is that there are two fields involved, one of order q², and its fixed field of order q, and people have different ideas on which should be included in the notation. The "²A_n(q²)" convention is more logical and consistent, but the "²A_n(q)" convention is far more common and is closer to the convention for algebraic groups.
Authors differ on whether groups such as A_n(q) are the groups of points with values in the simple or the simply connected algebraic group. For example, A_n(q) may mean either the special linear group SL(n+1, q) or the projective special linear group PSL(n+1, q). So ²A₂(4) may be any one of 4 different groups, depending on the author.

Notes

Related Research Articles

In mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a nontrivial normal subgroup and the corresponding quotient group. This process can be repeated, and for finite groups one eventually arrives at uniquely determined simple groups, by the Jordan–Hölder theorem.

In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of $n$ elements is called the alternating group of degree $n$ , or the alternating group on $n$ letters and denoted by $A n$ or $Alt(n).$

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

In mathematics, G₂ is the name of three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras $as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups. G 2 has rank 2 and dimension 14. It has two fundamental representations, with dimension 7 and 14.$

In mathematics, E₆ is the name of some closely related Lie groups, linear algebraic groups or their Lie algebras $, all of which have dimension 78; the same notation E 6 is used for the corresponding root lattice, which has rank 6. The designation E 6 comes from the Cartan-Killing classification of the complex simple Lie algebras (see Élie Cartan § Work). This classifies Lie algebras into four infinite series labeled A n, B n, C n, D n, and five exceptional cases labeled E 6, E 7, E 8, F 4, and G 2 . The E 6 algebra is thus one of the five exceptional cases.$

In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups.

<span class="mw-page-title-main">Projective linear group</span>

In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group

In group theory, the Tits group²F₄(2)′, named for Jacques Tits (French: [tits]), is a finite simple group of order

In the area of modern algebra known as group theory, the Thompson groupTh is a sporadic simple group of order

In mathematics, E₈ is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8. The designation E₈ comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled A_n, B_n, C_n, D_n, and five exceptional cases labeled G₂, F₄, E₆, E₇, and E₈. The E₈ algebra is the largest and most complicated of these exceptional cases.

In mathematics, E₇ is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e₇, all of which have dimension 133; the same notation E₇ is used for the corresponding root lattice, which has rank 7. The designation E₇ comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled A_n, B_n, C_n, D_n, and five exceptional cases labeled E₆, E₇, E₈, F₄, and G₂. The E₇ algebra is thus one of the five exceptional cases.

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In mathematics, a Ree group is a group of Lie type over a finite field constructed by Ree from an exceptional automorphism of a Dynkin diagram that reverses the direction of the multiple bonds, generalizing the Suzuki groups found by Suzuki using a different method. They were the last of the infinite families of finite simple groups to be discovered.

In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group.

In the area of modern algebra known as group theory, the Janko groupJ₁ is a sporadic simple group of order

In the mathematical area of group theory, the covering groups of the alternating and symmetric groups are groups that are used to understand the projective representations of the alternating and symmetric groups. The covering groups were classified in : for n ≥ 4, the covering groups are 2-fold covers except for the alternating groups of degree 6 and 7 where the covers are 6-fold.

In mathematics, ²E₆ is the name of a family of Steinberg or twisted Chevalley groups. It is a quasi-split form of E₆, depending on a quadratic extension of fields K⊂L. Unfortunately the notation for the group is not standardized, as some authors write it as ²E₆(K) (thinking of ²E₆ as an algebraic group taking values in K) and some as ²E₆(L) (thinking of the group as a subgroup of E₆(L) fixed by an outer involution).

In mathematics, the Steinberg triality groups of type ³D₄ form a family of Steinberg or twisted Chevalley groups. They are quasi-split forms of D₄, depending on a cubic Galois extension of fields K ⊂ L, and using the triality automorphism of the Dynkin diagram D₄. Unfortunately the notation for the group is not standardized, as some authors write it as ³D₄(K) (thinking of ³D₄ as an algebraic group taking values in K) and some as ³D₄(L) (thinking of the group as a subgroup of D₄(L) fixed by an outer automorphism of order 3). The group ³D₄ is very similar to an orthogonal or spin group in dimension 8.

References

Carter, Roger W. (1989) [1972], Simple groups of Lie type, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-50683-6, MR 0407163
Chevalley, Claude (1955), "Sur certains groupes simples", The Tohoku Mathematical Journal, Second Series, 7 (1–2): 14–66, doi: 10.2748/tmj/1178245104 , ISSN 0040-8735, MR 0073602
Dickson, Leonard Eugene (1901b), "Theory of Linear Groups in An Arbitrary Field", Transactions of the American Mathematical Society , Providence, R.I.: American Mathematical Society, 2 (4): 363–394, doi: 10.1090/S0002-9947-1901-1500573-3 , ISSN 0002-9947, JSTOR 1986251, Reprinted in volume II of his collected papers
Dickson, Leonard Eugene (1901), "A class of groups in an arbitrary realm connected with the configuration of the 27 lines on a cubic surface", The Quarterly Journal of Pure and Applied Mathematics, 33: 145–173, Reprinted in volume 5 of his collected works
Dickson, L. E. (1905), "A new system of simple groups", Math. Ann., 60: 137–150, doi:10.1007/BF01447497, S2CID 179178145 Leonard E. Dickson reported groups of type G₂
Dieudonné, Jean A. (1971) [1955], La géométrie des groupes classiques (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-05391-2, MR 0310083
Jordan, Camille (1870), Traité des substitutions et des équations algébriques, Paris: Gauthier-Villars
Ree, Rimhak (1960), "A family of simple groups associated with the simple Lie algebra of type (G₂)", Bulletin of the American Mathematical Society , 66 (6): 508–510, doi: 10.1090/S0002-9904-1960-10523-X , ISSN 0002-9904, MR 0125155
Ree, Rimhak (1961), "A family of simple groups associated with the simple Lie algebra of type (F₄)", Bulletin of the American Mathematical Society , 67: 115–116, doi: 10.1090/S0002-9904-1961-10527-2 , ISSN 0002-9904, MR 0125155
Steinberg, Robert (1959), "Variations on a theme of Chevalley", Pacific Journal of Mathematics , 9 (3): 875–891, doi: 10.2140/pjm.1959.9.875 , ISSN 0030-8730, MR 0109191
Steinberg, Robert (1968), Lectures on Chevalley groups, Yale University, New Haven, Conn., MR 0466335, archived from the original on 2012-09-10
Suzuki, Michio (1960), "A new type of simple groups of finite order", Proceedings of the National Academy of Sciences of the United States of America , 46 (6): 868–870, Bibcode:1960PNAS...46..868S, doi: 10.1073/pnas.46.6.868 , ISSN 0027-8424, JSTOR 70960, MR 0120283, PMC 222949 , PMID 16590684
Tits, Jacques (1958), Les "formes réelles" des groupes de type E₆, Séminaire Bourbaki; 10e année: 1957/1958. Textes des conférences; Exposés 152 à 168; 2e èd. corrigée, Exposé 162, vol. 15, Paris: Secrétariat math'ematique, MR 0106247

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] thoverflow – Definition of “finite group of Lie type”?

[atlasxi-2] 1 2 ATLAS, p. xi

[1]

[2]