# Group of Lie type

In mathematics, a **group of Lie type** is a group closely related to the group *G*(*k*) of rational points of a reductive linear algebraic group *G* with values in the field *k*. Finite groups of Lie type give the bulk of nonabelian finite simple groups. Special cases include the **classical groups**, the **Chevalley groups**, the **Steinberg groups**, and the **Suzuki–Ree groups**.

Template:Harvtxt and Template:Harvtxt are standard references for groups of Lie type.

## Classical groups

{{#invoke:main|main}}

An initial approach to this question was the definition and detailed study of the so-called **classical groups** over finite and other fields by Template:Harvtxt. 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}^{2}

*A*

_{n},

^{2}

*D*

_{n}of Chevalley and Steinberg groups.

## Chevalley groups

The theory was clarified by the theory of algebraic groups, and the work of Template:Harvs on Lie algebras, by means of which the *Chevalley group* concept was isolated. Chevalley constructed a Chevalley basis (a sort of integral form) 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*this gave well known classical groups, but his construction also gave groups associated to the exceptional Lie algebras

_{n}*E*

_{6},

*E*

_{7},

*E*

_{8},

*F*

_{4}, and

*G*

_{2}. The ones of type G

_{2}(sometimes called

**Dickson groups**) had already been constructed by Template:Harvtxt, and the ones of type

*E*

_{6}by Template:Harvtxt.

## Steinberg groups

{{#invoke:main|main}}
{{#invoke:main|main}}
Chevalley's construction did not give all of the known classical groups: it omitted the unitary groups and the non-split orthogonal groups. Template:Harvtxt found a modification of Chevalley's construction that gave these groups and two new families ^{3}*D*_{4}, ^{2}*E*_{6}, the second of which was discovered at about the same time from a different point of view by Template:Harvtxt. 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**^{2}*A*_{n}, from the order 2 automorphism of*A*;_{n} - further
**orthogonal groups**^{2}*D*_{n}, from the order 2 automorphism of*D*;_{n} - the new series
^{2}*E*_{6}, from the order 2 automorphism of*E*;_{6} - the new series
^{3}*D*_{4}, from the order 3 automorphism of*D*._{4}

The groups of type ^{3}*D*_{4} have no analogue over the reals, as the complex numbers have no automorphism of order 3. The symmetries of the *D*_{4} diagram also give rise to triality.

## Suzuki–Ree groups

{{#invoke:main|main}} {{#invoke:main|main}}
Template:Harvs found a new infinite series of groups that at first sight seemed unrelated to the known algebraic groups. Template:Harvs knew that the algebraic group *B*_{2} 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^{2n+1}, and the corresponding groups are the Suzuki groups

^{2}*B*_{2}(2^{2n+1}) = Suz(2^{2n+1}).

(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

^{2}*F*_{4}(2^{2n+1})

and

^{2}*G*_{2}(3^{2n+1})

of simple groups by using the fact that *F*_{4} and *G*_{2} 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 ^{2}*F*_{4}(2) of type ^{2}*F*_{4} 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 ^{2}*G*_{2}(3) of type ^{2}*G*_{2} is not simple, but it has a simple normal subgroup of index 3, isomorphic to SL_{2}(8). In the classification of finite simple groups, the Ree groups

^{2}*G*_{2}(3^{2n+1})

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**/2**Z** × PSL_{2}(*q*) for *q* = 3^{n}, and by investigating groups with an involution centralizer of the similar form **Z**/2**Z** × PSL_{2}(5) Janko found the sporadic group *J*_{1}.

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^{(2n+1)} − 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*_{1}(2) = SL_{2}(2) Solvable of order 6 (the symmetric group on 3 points)*A*_{1}(3) = SL_{2}(3) Solvable of order 24 (a double cover of the alternating group on 4 points)^{2}*A*_{2}(2^{2}) Solvable*B*_{2}(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.^{2}*B*_{2}(2) = Suz(2) Solvable of order 20 (a Frobenius group)^{2}*F*_{4}(2) Not perfect, but the derived group has index 2 and is the simple Tits group.*G*_{2}(2) Not perfect, but the derived group has index 2 and is simple or order 6048.^{2}*G*_{2}(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*_{1}(4) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.*A*_{1}(9) The Schur multiplier has an extra**Z**/3**Z**, so the Schur multiplier of the simple group has order 6 instead of 2.*A*_{2}(2) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.*A*_{2}(4) The Schur multiplier has an extra**Z**/4**Z**×**Z**/4**Z**, so the Schur multiplier of the simple group has order 48 instead of 3.*A*_{3}(2) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.*B*_{3}(2)=*C*_{3}(2) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.*B*_{3}(3) The Schur multiplier has an extra**Z**/3**Z**, so the Schur multiplier of the simple group has order 6 instead of 2.*D*_{4}(2) The Schur multiplier has an extra**Z**/2**Z**×**Z**/2**Z**, so the Schur multiplier of the simple group has order 4 instead of 1.*F*_{4}(2) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.*G*_{2}(3) The Schur multiplier has an extra**Z**/3**Z**, so the Schur multiplier of the simple group has order 3 instead of 1.*G*_{2}(4) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.^{2}*A*_{3}(2^{2}) The Schur multiplier has an extra**Z**/2**Z**, so the Schur multiplier of the simple group has order 2 instead of 1.^{2}*A*_{3}(3^{2}) The Schur multiplier has an extra**Z**/3**Z**×**Z**/3**Z**, so the Schur multiplier of the simple group has order 36 instead of 4.^{2}*A*_{5}(2^{2}) The Schur multiplier has an extra**Z**/2**Z**×**Z**/2**Z**, so the Schur multiplier of the simple group has order 12 instead of 3.(2^{2}E_{6}^{2}) The Schur multiplier has an extra**Z**/2**Z**×**Z**/2**Z**, so the Schur multiplier of the simple group has order 12 instead of 3.^{2}*B*_{2}(8) The Schur multiplier has an extra**Z**/2**Z**×**Z**/2**Z**, 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

Unfortunately 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*are sometimes denoted by Sp_{n}_{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*), , 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,^{[1]}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 was introduced by Jean Dieudonné, though his definition is not simple for and thus the same notation may be used for a slightly different group, which agrees in but not in lower dimension.^{[1]}

- For the Steinberg groups, some authors write
^{2}*A*_{n}(*q*^{2}) (and so on) for the group that other authors denote by^{2}*A*_{n}(*q*). The problem is that there are two fields involved, one of order*q*^{2}, and its fixed field of order*q*, and people have different ideas on which should be included in the notation. The "^{2}*A*_{n}(*q*^{2})" convention is more logical and consistent, but the "^{2}*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^{2}*A*_{2}(2^{2}) may be any one of 4 different groups, depending on the author.

## See also

## Notes

## References

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation
}} Leonard E. Dickson reported groups of type G_{2}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

fr:Groupe de type de Lie it:Gruppo di tipo Lie nl:Groep van het Lie-type