In this previous post I recorded some (very standard) material on the structural theory of finite-dimensional complex Lie algebras (or Lie algebras for short), with a particular focus on those Lie algebras which were semisimple or simple. Among other things, these notes discussed the Weyl complete reducibility theorem (asserting that semisimple Lie algebras are the direct sum of simple Lie algebras) and the classification of simple Lie algebras (with all such Lie algebras being (up to isomorphism) of the form {A_n}, {B_n}, {C_n}, {D_n}, {E_6}, {E_7}, {E_8}, {F_4}, or {G_2}).

Among other things, the structural theory of Lie algebras can then be used to build analogous structures in nearby areas of mathematics, such as Lie groups and Lie algebras over more general fields than the complex field {{\bf C}} (leading in particular to the notion of a Chevalley group), as well as finite simple groups of Lie type, which form the bulk of the classification of finite simple groups (with the exception of the alternating groups and a finite number of sporadic groups).

In the case of complex Lie groups, it turns out that every simple Lie algebra {\mathfrak{g}} is associated with a finite number of connected complex Lie groups, ranging from a “minimal” Lie group {G_{ad}} (the adjoint form of the Lie group) to a “maximal” Lie group {\tilde G} (the simply connected form of the Lie group) that finitely covers {G_{ad}}, and occasionally also a number of intermediate forms which finitely cover {G_{ad}}, but are in turn finitely covered by {\tilde G}. For instance, {\mathfrak{sl}_n({\bf C})} is associated with the projective special linear group {\hbox{PSL}_n({\bf C}) = \hbox{PGL}_n({\bf C})} as its adjoint form and the special linear group {\hbox{SL}_n({\bf C})} as its simply connected form, and intermediate groups can be created by quotienting out {\hbox{SL}_n({\bf C})} by some subgroup of its centre (which is isomorphic to the {n^{th}} roots of unity). The minimal form {G_{ad}} is simple in the group-theoretic sense of having no normal subgroups, but the other forms of the Lie group are merely quasisimple, although traditionally all of the forms of a Lie group associated to a simple Lie algebra are known as simple Lie groups.

Thanks to the work of Chevalley, a very similar story holds for algebraic groups over arbitrary fields {k}; given any Dynkin diagram, one can define a simple Lie algebra with that diagram over that field, and also one can find a finite number of connected algebraic groups over {k} (known as Chevalley groups) with that Lie algebra, ranging from an adjoint form {G_{ad}} to a universal form {G_u}, with every form having an isogeny (the analogue of a finite cover for algebraic groups) to the adjoint form, and in turn receiving an isogeny from the universal form. Thus, for instance, one could construct the universal form {E_7(q)_u} of the {E_7} algebraic group over a finite field {{\bf F}_q} of finite order.

When one restricts the Chevalley group construction to adjoint forms over a finite field (e.g. {\hbox{PSL}_n({\bf F}_q)}), one usually obtains a finite simple group (with a finite number of exceptions when the rank and the field are very small, and in some cases one also has to pass to a bounded index subgroup, such as the derived group, first). One could also use other forms than the adjoint form, but one then recovers the same finite simple group as before if one quotients out by the centre. This construction was then extended by Steinberg, Suzuki, and Ree by taking a Chevalley group over a finite field and then restricting to the fixed points of a certain automorphism of that group; after some additional minor modifications such as passing to a bounded index subgroup or quotienting out a bounded centre, this gives some additional finite simple groups of Lie type, including classical examples such as the projective special unitary groups {\hbox{PSU}_n({\bf F}_{q^2})}, as well as some more exotic examples such as the Suzuki groups or the Ree groups.

While I learned most of the classical structural theory of Lie algebras back when I was an undergraduate, and have interacted with Lie groups in many ways in the past (most recently in connection with Hilbert’s fifth problem, as discussed in this previous series of lectures), I have only recently had the need to understand more precisely the concepts of a Chevalley group and of a finite simple group of Lie type, as well as better understand the structural theory of simple complex Lie groups. As such, I am recording some notes here regarding these concepts, mainly for my own benefit, but perhaps they will also be of use to some other readers. The material here is standard, and was drawn from a number of sources, but primarily from Carter, Gorenstein-Lyons-Solomon, and Fulton-Harris, as well as the lecture notes on Chevalley groups by my colleague Robert Steinberg. The arrangement of material also reflects my own personal preferences; in particular, I tend to favour complex-variable or Riemannian geometry methods over algebraic ones, and this influenced a number of choices I had to make regarding how to prove certain key facts. The notes below are far from a comprehensive or fully detailed discussion of these topics, and I would refer interested readers to the references above for a properly thorough treatment.

— 1. Simple Lie groups over {{\bf C}} —

We begin with some discussion of Lie groups {G} over the complex numbers {{\bf C}}. We will restrict attention to the connected Lie groups, since more general Lie groups can be factored

\displaystyle 0 \rightarrow G^\circ \rightarrow G \rightarrow G/G^\circ \rightarrow 0

into an extension of an (essentially arbitrary) discrete group {G/G^\circ} by the connected component {G^\circ} (or, in the ATLAS notation of the previous post, {G = G^\circ . (G/G^\circ)}). One can interpret {G^\circ} as the minimal open subgroup of {G}, thus a Lie group is connected if and only if there are no proper open subgroups.

To each Lie group {G} over {{\bf C}} one can associate a complex Lie algebra {{\mathfrak g}}, which one can identify with the tangent space of {G} at the identity. This identification is however not injective; one can have non-isomorphic Lie groups with the same Lie algebra. For instance, the special linear group {\hbox{SL}_2({\bf C})} and the projective special linear group {\hbox{PSL}_2({\bf C}) = \hbox{SL}_2({\bf C}) / \{+1,-1\}} have the same Lie algebra {\mathfrak{sl}_2({\bf C})}; intuitively, the Lie algebra captures all the “local” information of the Lie group but not the “global” or “topological” information. (This statement can be made more precise using the Baker-Campbell-Hausdorff formula, discussed in this previous post.) On the other hand, every connected Lie group {G} has a universal cover {\tilde G} with the same Lie algebra (up to isomorphism) as {G}, which is a simply connected Lie group which projects onto {G} by a short exact sequence

\displaystyle 0 \rightarrow \pi_1(G) \rightarrow \tilde G \rightarrow G \rightarrow 0

with {\pi_1(G)} being (an isomorphic copy of) the (topological) fundamental group of {G}. Furthermore, two Lie groups have the same Lie algebra (up to isomorphism) if and only if their universal covers agree (up to isomorphism); this is essentially Lie’s second theorem, discussed in this previous blog post (in the context of Lie groups and Lie algebras over the reals rather than the complex numbers, but the result holds over both fields). Conversely, every Lie algebra is the Lie algebra of some Lie group, and thus of some simply connected Lie group; this is essentially Lie’s third theorem, also discussed at the above post. Thus, the Lie groups associated to a given Lie algebra {{\mathfrak g}} can all be viewed as quotients of a universal cover {\tilde G} by a discrete normal subgroup {\Gamma}.

We can say a little more about the fundamental group {\pi_1(G)}. Observe that {\tilde G} acts by conjugation on {\pi_1(G)}; however, {\pi_1(G)} is discrete, and so the automorphism group of {\pi_1(G)} is discrete also. Since {\tilde G} is connected, we conclude that the action of {\tilde G} on {\pi_1(G)} is trivial; in other words, {\pi_1(G)} is a central subgroup of {G} (and so {\tilde G} is a central extension of {G}). In particular, the fundamental group {\pi_1(G)} of a connected Lie group {G} is always abelian. (Of course, fundamental groups can be non-abelian for more general topological spaces; the key property of Lie groups that are being used here is that they are H-spaces.)

Not every subgroup of a Lie group is again a Lie group; for instance, the rational numbers {{\bf Q}} are a subgroup of the one-dimensional complex Lie group {{\bf C}} but are clearly not a Lie group. However, a basic theorem of Cartan (proven in this previous post) says that any subgroup of a real Lie group which is topologically closed, is also a real Lie group. This theorem doesn’t directly apply in the complex case (for instance {{\bf R}} is a subgroup of the complex Lie group {{\bf C}} but is only a real Lie group rather than a complex one), but it does say that a closed subgroup of a complex Lie group is a real Lie group, and if in addition one knows that the real tangent space of the subgroup at the origin is closed under complex multiplication then it becomes a complex Lie group again.

We expect properties about the Lie algebra {{\mathfrak g}} to translate to analogous properties about the Lie group {G}. In the case of simple Lie algebras, we have the following:

Lemma 1 Let {G} be a connected complex Lie group with Lie algebra {{\mathfrak g}}. Then the following are equivalent:

  • {{\mathfrak g}} is a simple Lie algebra.
  • {G} is non-abelian, and the only closed normal subgroups of {G} are discrete or all of {G}.
  • {G} is non-abelian, and the only normal subgroups of {G} are discrete or all of {G}.

Proof: Suppose first that {{\mathfrak g}} is simple (which implies that {{\mathfrak g}}, and hence {G}, is non-abelian), but {G} has a closed normal subgroup {H} which is not discrete or all of {G}, then by Cartan’s theorem it is a real Lie group with positive dimension. Then the Lie algebra {{\mathfrak h}} of {H} is a non-trivial real Lie algebra which is preserved by the adjoint action of {{\mathfrak g}}. If {{\mathfrak h}={\mathfrak g}} then {H} contains a neighbourhood of the identity in {G} and is thus all of {G} as {G} is connected, so {{\mathfrak h}} is a proper subalgebra of {{\mathfrak g}}. Note that {[{\mathfrak h}, {\mathfrak g}]} is a complex Lie algebra ideal of {{\mathfrak g}}, so by simplicity this ideal is trivial, thus {{\mathfrak h}} lies in the centre of {{\mathfrak g}}, which is again trivial by simplicity, a contradiction.

If {H} is normal but not closed, one can adapt the above argument as follows. If {H} is central then it is discrete (because {{\mathfrak g}} is centreless) so assume that {H} is not central, then it contains a non-trivial conjugacy class; after translation this means that {H} contains a curve through the identity whose derivative at the identity is a non-zero vector {v} in {{\mathfrak g}}. As {{\mathfrak g}} is simple, {{\mathfrak g}} is the minimal ideal generated by {v}, which implies that the orbit of {v} under the adjoint action of {G} spans {{\mathfrak g}} as a linear space, thus there are a finite number of {G}-conjugates of {v} that form a basis for {{\mathfrak g}}. Lifting back up to {G} and using the inverse function theorem, we conclude that {H} contains an open neighbourhood of the identity and is thus all of {G}.

Now suppose that {{\mathfrak g}} is not simple. If it has a non-trivial abelian ideal, then one can exponentiate this ideal and take closures to obtain a closed normal abelian subgroup of {G}, which is not all of {G} as {G} is non-abelian, and which is complex because the ideal is a complex vector space. So we may assume that no such ideal exists, which means (see Theorem 1 from the previous set of notes) that {{\mathfrak g}} is semisimple and thus the direct sum {{\mathfrak g}_1 \oplus \ldots \oplus {\mathfrak g}_k} of simple algebras for some {k \geq 2}. If we then take {H} to be the subgroup of {G} whose adjoint action on {{\mathfrak g}} is the identity on {{\mathfrak g}_1}, then {H} is a closed subgroup of {G}, thus a real Lie group, and also a complex Lie group as the tangent space is {{\mathfrak g}_2 \oplus \ldots \oplus {\mathfrak g}_k}, giving a closed normal subgroup of intermediate dimension. \Box

In view of this lemma, we call a connected complex Lie group simple if it is non-abelian and the only closed normal subgroups of {G} are discrete or all of {G}. This differs slightly from the group-theoretic notion of simplicity, which asserts instead that the only normal subgroups of {G} (including the non-closed normal subgroups) are trivial or all of {G}. However, these two notions are actually not that far apart from each other. Firstly, given a simple Lie algebra {{\mathfrak g}}, one can form the adjoint form {G_{ad}} of the associated Lie group, defined as the closed subgroup of the general linear group {GL({\mathfrak g})} on {{\mathfrak g}} generated by the transformations {\hbox{Ad}_x := \exp( \hbox{ad} x)} for {x \in {\mathfrak g}}. This is group is clearly connected. Because all such transformations are derivations on {{\mathfrak g}}, and derivations on a simple Lie algebra are inner (see Lemma 8 from previous notes), we see that the tangent space of this group is {\hbox{ad} {\mathfrak g}}, which is isomorphic to {{\mathfrak g}} as {{\mathfrak g}} is simple (and thus centerless). In particular, {G_{ad}} is a complex Lie group whose Lie algebra is {{\mathfrak g}}. Furthermore, any other connected complex Lie group {G} with Lie algebra {{\mathfrak g}} will map by a continuous homomorphism to {G_{ad}} by the conjugation action of {G} on {{\mathfrak g}}; this map is open near the origin, and so this homomorphism is surjective. Thus, {G} is a discrete cover of {G_{ad}}, much as {\tilde G} is a discrete cover of {G}, and so all the Lie groups {G} with Lie algebra {{\mathfrak g}} are sandwiched between the universal cover {\tilde G} and the adjoint form {G_{ad}}. The same argument shows that {G_{ad}} itself has no non-trivial discrete normal subgroups, as one could then have non-trivial quotients of {G_{ad}} which still somehow cover {G_{ad}} by an inverse of the quotient map, which is absurd. Thus the adjoint form {G_{ad}} of the Lie group is simple in the group-theoretic sense, but none of the other forms are (since they can be quotiented down to {G_{ad}}). In particular, {G_{ad}} is centerless, so given any of the other covers {G} of {G_{ad}}, the kernel of the projection of {G} to {G_{ad}} is precisely {Z(G)}, thus {G_{ad} \equiv G/Z(G)} for any of the Lie group forms {G}.

Note that for any form {G} of the Lie group associated to the simple Lie algebra {{\mathfrak g}}, the commutator group {[G,G]} contains a neighbourhood of the origin (as {{\mathfrak g}} is perfect) and so is all of {G}. Thus we see that while any given form {G} of the Lie group is not necessarily simple in the group-theoretic sense, it is quasisimple, that is to say it is a perfect central extension of a simple group.

It is now of interest to understand the fundamental group {\pi(G_{ad})} of the adjoint form {G_{ad}}, as this measures the gap between {\tilde G} and {G_{ad}} and will classify all the intermediate forms {G} of the Lie group associated to {{\mathfrak g}} (as these all arise from quotienting {\tilde G} by some subgroup of {\pi(G_{ad})}). For this we have the following very useful tool:

Lemma 2 (Existence of compact form) Let {{\mathfrak g}} be a simple complex Lie algebra, and let {G_{ad} \subset GL({\mathfrak g})} be its adjoint form. Then there exists a compact subgroup {G_c} of {G_{ad}} with Lie algebra {i{\mathfrak g}_{\bf R}}, where {{\mathfrak g}_{\bf R}} is a real Lie algebra that complexifies to {{\mathfrak g}}, thus {{\mathfrak g} = {\mathfrak g}_{\bf R} \oplus i{\mathfrak g}_{\bf R}}. Furthermore, every element {A} in {G_{ad}} has a unique polar decomposition {A = DU}, where {U \in G_c} and {D \in \hbox{exp}({\mathfrak g}_{\bf R})}.

Proof: Before we begin the proof, we give a (morally correct) example of the lemma: take {{\mathfrak g} = {\mathfrak sl}_n({\bf C})}, and replace {G_{ad}} by {\hbox{SL}_n({\bf C})} (this is not the adjoint form of {{\mathfrak g}}, but never mind this). Then the obvious choice of compact form is the special unitary group {G_c = SU_n({\bf C})}, which has as Lie algebra the real algebra {i{\mathfrak su}_n({\bf C})} of skew-adjoint transformations of trace zero. This suggests that we need a notion of “adjoint” {*: {\mathfrak g} \rightarrow {\mathfrak g}} for more general Lie algebras {{\mathfrak g}} in order to extract the skew-adjoint ones.

We now perform this construction. As discussed in the previous set of notes, {{\mathfrak g}} has a Cartan-Weyl basis consisting of vectors {E_\alpha} for roots {\alpha \in \Phi} as well as co-roots {H_\alpha} for simple roots {\alpha} (with the {H_\beta} for other roots {\beta} then expressed as linear combinations of the simple co-roots {H_\alpha}, and where we have fixed some direction {h} in which to define the notions of positive and simple roots), obeying the relations

\displaystyle [H_\alpha,H_\beta] = 0

and

\displaystyle [H_\alpha,E_\beta] = A_{\alpha,\beta} E_\beta

and

\displaystyle [E_\alpha,E_{-\alpha}] = H_\alpha

as well as the relation

\displaystyle [E_\alpha,E_\beta] = N_{\alpha,\beta} E_{\alpha+\beta}

when {\alpha \neq -\beta} and some integers {A_{\alpha,\beta}, N_{\alpha,\beta}}, with the convention that {E_\alpha} vanishes when {\alpha} is not a root. We can also arrange matters so that {N_{\alpha,\beta} = N_{-\alpha,-\beta}}; see Lemma 31 of the previous notes. If we then define the adjoint map {*: {\mathfrak g} \rightarrow {\mathfrak g}} to be the antilinear map that preserves all the co-roots {H_\alpha}, but maps {E_\alpha} to {E_{-\alpha}} for all {\alpha}, one easily verifies that {*} is an anti-homomorphism, so that {[X^*,Y^*] = -[X,Y]^*} for all {X,Y \in {\mathfrak g}}. Furthermore, one can now make {{\mathfrak g}} into a complex Hilbert space with the Hermitian form {\langle X, Y\rangle := K(X,Y^*)} (with {K} being the Killing form), which one can verify using the Cartan-Weyl basis to be positive definite (indeed the Cartan-Weyl basis becomes an orthogonal basis with this Hermitian form). For any {X \in {\mathfrak g}}, one can also verify that the maps {\hbox{ad} X: {\mathfrak g} \rightarrow {\mathfrak g}} and {\hbox{ad} X^*: {\mathfrak g} \rightarrow {\mathfrak g}} are adjoints with respect to this Hermitian form.

If we now set {{\mathfrak g}_{\bf R} := \{ X \in {\mathfrak g}: X^* = X \}} to be the self-adjoint elements of {{\mathfrak g}}, and {G_c} to be those elements of {G_{ad}} that are unitary with respect to the Hermitian form, we see that {{\mathfrak g}_{\bf R}} complexifies to {{\mathfrak g}} and {G_c} is a compact group with real Lie algebra {i{\mathfrak g}_{\bf R}}. Also, since {\hbox{ad} X} is the adjoint of {\hbox{ad} X^*}, we see that {G_{ad}} is closed under the operation of taking adjoints.

Now we obtain the polar decomposition. If {A \in G_{ad}}, then {AA^*} is a self-adjoint positive definite map on the Hilbert space {{\mathfrak g}}, which also lies in {G_{ad}} and thus respects the Lie bracket: {AA^*[X,Y] = [AA^* X, AA^* Y]}. By diagonalising {AA^*} and working with the structure constants of the Lie bracket in the eigenbasis of {AA^*} we conclude that all powers {(AA^*)^t} for {t>0} also respect the Lie bracket; sending {t \rightarrow 0} we conclude that {\log AA^*} is a derivation of {{\mathfrak g}}, and thus inner, which implies that {(AA^*)^t \in G_{ad}} for all {t>0}. In particular the square root {D := (AA^*)^{1/2}} lies in {G_{ad}}. Setting {U := D^{-1} A} we obtain the required polar decomposition; the uniqueness can be obtained by observing that {DU = A} implies {D = (AA^*)^{1/2}}. \Box

From the polar decomposition we see that {G_{ad}} can be contracted onto {G_c} (by deforming {DU} as {D^t U} as {t} goes from {1} to {0}). In particular, {G_c} is connected and has the same fundamental group as {G_{ad}}. On the other hand, the Hermitian form {\langle,\rangle} restricts to a real positive definite form on the tangent space of {G_c} that is invariant with respect to the conjugation action of {G_c}, and thus defines a Riemannian metric on {G_c}. The definiteness of the Killing form then impolies (after some computation) that this metric has strictly positive sectional curvature (and hence also strictly positive Ricci curvature), and so any cover of {G_c} also has a metric with Ricci and sectional curvatures uniformly bounded from below. Applying Myers’ theorem (discussed in this previous blog post), we conclude that any cover of {G_c} is necessarily compact also; this implies that the fundamental group of {G_c}, and hence of {G_{ad}}, is finite. Thus there are only finitely many different forms of {G} between {G_{ad}} and {\tilde G}, with the latter being a finite cover of the former. For instance, in the case of {{\mathfrak g} = \mathfrak{sl}_n({\bf C})} (i.e. the type {A_{n-1}} case), one can show that the adjoint form {G_{ad}} is isomorphic to {\hbox{PSL}_n({\bf C}) = \hbox{PGL}_n({\bf C})} and the universal cover {\tilde G} is isomorphic to {\hbox{SL}_n({\bf C})}, so that

\displaystyle \pi(G_{ad}) \equiv Z(\tilde G) \equiv {\bf Z}/n{\bf Z}

(since the central elements of {\hbox{SL}_n({\bf C})} come from the {n^{th}} roots of unity), and all the intermediate forms of {G} then come from quotienting out {\hbox{SL}_n({\bf C})} by some subgroup of the {n^{th}} roots of unity. Actually, as it turns out, for all Lie algebras other than the {A_n} family, the fundamental group {\pi(G_{ad}) \equiv Z(\tilde G)} is very small, having order at most {4}; see below. For instance, in the orthogonal algebras {\mathfrak{so}_n({\bf C})} (coming from the {B_r} and {D_r} families) the adjoint form is {SO_n({\bf C})} and the universal cover is the spin group {Spin_n({\bf C})}, which is a double cover of {SO_n({\bf C})}; in particular, there are no other models of the Lie groups associated to the {B_r} and {D_r} diagrams. This is in marked contrast with the case of abelian Lie groups, in which there is an infinity of Lie groups associated to a given abelian Lie algebra. For instance, with the one-dimensional Lie algebra {{\bf C}}, every lattice {\Gamma} in {{\bf C}} gives a different Lie group {{\bf C}/\Gamma} with the specified Lie algebra.

The compact form of the adjoint form {G_{ad}} of course lifts to compact forms for all other Lie groups with the given Lie algebra. Among other things, it demonstrates (by the Weyl unitary trick) the representation version of Weyl’s complete reducibility theorem: every finite-dimensional representation {\rho: {\mathfrak g} \rightarrow \mathfrak{gl}(V)} of {{\mathfrak g}} splits as the direct sum of a finite number of irreducible representations. Indeed, one can lift this representation to a representation {\rho: \tilde G \rightarrow GL(V)} of the universal cover {\tilde G}, which then restricts to a representation of the compact form {\tilde G_c} of {\tilde G}. But then by averaging some Hermitian form on {V} with respect to the Haar measure on {\tilde G_c} one can then construct a Hermitian form with respect to which {\tilde G_c} acts in a unitary fashion, at which point it is easy to take orthogonal complements and decompose {V} into {\tilde G_c}-irreducible components, which on returning to the infinitesimal action establishes a decomposition into complex vector spaces that are irreducible with respect to the action of {i{\mathfrak g}_{\bf R}} and hence (on complexifying) {{\mathfrak g}}. A similar theorem applies for actions of simple (or semisimple) Lie groups, showing that such groups are reductive.

Another application of the unitary trick reveals that every simple complex Lie group {G} is linear, that is to say it is isomorphic to a Lie subgroup of {GL_n({\bf C})} for some {n} (this is in contrast to real Lie groups, which can be non-linear even when simple; the canonical example here is the metaplectic group {Mp_n({\bf R})} that forms the double cover of the symplectic group {\hbox{Sp}_n({\bf R})} for any {n \geq 2}). Indeed, letting {G'_c} be the compact form of {G'_c}, the Peter-Weyl theorem (as discussed in this previous blog post) we see that {G'_c} can be identified with a unitary Lie group (i.e. a real Lie subgroup of {U_n({\bf C})} for some {n}); in particular, its real Lie algebra can be identified with a Lie algebra {i{\mathfrak g}_{\bf R}} of skew-Hermitian matrices. Note that {{\mathfrak g}} can be identified with the complexification {{\mathfrak g}_{\bf R} \oplus i {\mathfrak g}_{\bf R}}. The set {\{ g \exp( x ): g \in G'_c, x \in {\mathfrak g}_{\bf R} \}} can then be seen to be a connected smooth manifold which locally is a Lie group with Lie algebra {{\mathfrak g}}, and by a continuity argument contains the group generated by a sufficiently small neighbourhood of the identity, and is therefore a Lie group with the same compact form as {G}, and thus descends from quotienting the universal cover {\tilde G} by the same central subgroup, and so is isomorphic to {G}. This argument also shows that the compact form of a connected simple complex Lie group is always connected, and that every complex form of a Lie group is associated to some linear representation of the underlying Lie algebra {{\mathfrak g}}. (For instance, the universal form is associated to the sum of the representations having the fundamental weights (the dual basis to the simple coroots) as highest weights, although we will not show this here.)

If one intersects a Cartan subalgebra {{\mathfrak h}} with {i {\mathfrak g}_{\bf R}} and then exponentiates and takes closures, one obtains a compact abelian connected subgroup of {G_c} whose Lie algebra is again {{\mathfrak h} \cap i {\mathfrak g}_{\bf R}} (from the self-normalising property of Cartan algebras); these groups are known as (real) maximal tori. As all Cartan subalgebras are conjugate to each other, all maximal tori are conjugate to each other also. On a compact Lie group, the exponential map is surjective (as discussed in this previous blog post); as every element in {{\mathfrak g}} lies in a Cartan algebra, we obtain the useful fact that every element of {G_c} lies in a maximal torus. The same statement lifts to other models {G} of the Lie group, and among other things implies that the centre {Z(G)} of such a model is equal to the intersection of all the maximal tori in that model.

We can push the above analysis a bit further to give a more explicit description of the fundamental group of {G_{ad}} in terms of the root structure. We will be a bit sketchy in our presentation; details may be found for instance in the text of Sepanski.

We first need a basic lemma. Let {G_c} be the compact form of a simple Lie group, and let {T} be a maximal torus in {G_c}. Let {N(T)} be the normaliser of {T} in {G_c}; as Cartan algebras are self-normalising, we see that {N(T)} has the same Lie algebra as {T}, and so {N(T)/T} is a finite group, which acts on the Lie algebra {{\mathfrak t}} of {T} by conjugation, and similarly acts on the dual {{\mathfrak t}^*}. It is easy to see that this action preserves the roots of {{\mathfrak t}^*}. Note that the Weyl group {W} of the root system, defined in the previous set of notes, also acts (faithfully) on {{\mathfrak t}^*}. It turns out that the two groups coincide:

Lemma 3 (Equivalence of Weyl groups) We have {N(T)/T \equiv W}, with the actions on {{\mathfrak t}^*} (or equivalently, {{\mathfrak t}}) being compatible.

Proof: It will suffice to show that

  • (a) the action of {N(T)/T} on {{\mathfrak t}^*} is faithful;
  • (b) to every element of {W} one can find an element of {N(T)/T} that acts the same way on {{\mathfrak t}^*}; and
  • (c) for every element of {N(T)/T} there is an element of {W} that acts the same way on {{\mathfrak t}^*}.

To prove (a), we establish the stronger statement that any element {w} of {N(T)} that preserves a given Weyl chamber {C_h} of {{\mathfrak t}^*} (for some regular {h \in {\mathfrak t}}) is necessarily in {T}. If {w} preserves the {h}-Weyl chamber {C_h}, then it permutes the {h}-simple roots, and thus fixes the sum {\rho = \rho_h} of these {h}-simple roots. Thus, the one-parameter group {\{ \exp( t \rho ): t \in {\bf R} \}} lies in the connected component {Z(w)^0} of the centraliser {Z(w) := \{ g \in G_c: gw=wg\}} of {w}. Of course, {w} also lies in {Z(w)^0}, as does any maximal torus of {G_c} that contains {w}. In particular, any maximal torus of {G_c} containing {w} is also a maximal torus in {Z(w)^0}; since all maximal tori in {Z(w)^0} are conjugate, we conclude that all maximal tori in {Z(w)^0} are also maximal tori in {G_c}; they also all contain {w} since {w} is central in {Z(w)^0}. In particular, {\{\exp(t\rho): t \in {\bf R}\}} lies in a maximal torus {T'} of {Z(w)^0} (and hence in {G_c}) that contains {w}. In particular, the adjoint action of {\rho} fixes the Lie algebra {{\mathfrak t}'} of {T'}. But {\rho} is regular in {{\mathfrak t}}, so its centraliser in {i{\mathfrak g}_{\bf R}} is {{\mathfrak t}}. Thus {T = T'}; since {w \in T'}, we have {w \in T} as required.

The proof of (c) is similar. Here, {w} need not preserve {\rho}, but one can select an element {w'} of {W} to maximise {\langle w'(h), w(\rho)\rangle}; arguing as in the proof of Lemma 28 of these previous notes, we see that {(w')^{-1} w} maps the {h}-Weyl chamber to itself, and the claim follows from the previous discussion.

To prove (b), it suffices to show that every reflection {s_\alpha} comes from an element of {N(T)/T}. But in the rank one case (when {G} is isomorphic {SU_2({\bf C})}) this can be done by direct computation, and the general rank case can then be obtained by looking at the embedded copy of the rank one Lie group associated to the pair of roots {\{-\alpha,\alpha\}}. \Box

Call an element of {i{\mathfrak g}_{\bf R}} regular if it is conjugate (under the adjoint action of {G_c}) to a regular element of {{\mathfrak t}} (and hence, by the Weyl group action, to an element in the interior {{\mathfrak c}} of the (adjoint of the) Weyl chamber); this conjugation element can be viewed as an element of {G/T}, which is unique by the discussion in the previous section. This gives a bijection {G_c/T \times {\mathfrak c} \rightarrow i{\mathfrak g}^{reg}_{\bf R}} to the regular elements of {i{\mathfrak g}_{\bf R}}, which can be seen to be a homeomorphism. The non-regular elements can be computed to have codimension at least three in {i{\mathfrak g}_{\bf R}} (because the centraliser of non-regular elements have at least two more dimensions than in the regular case), so {i{\mathfrak g}^{reg}_{\bf R}} is simply connected; as this space retracts onto {G_c/T}, we conclude that {G_c/T} is simply connected.

From this we may now compute the fundamental group of {G_c} (or equivalently, of {G_{ad}}). By inspecting the adjoint action of {T} on {{\mathfrak g}}, we see that for {t \in {\mathfrak h}_{\bf R}}, {\exp(t)} is trivial in {T} if and only if {t} lies in the coweight lattice {P := \{ t \in {\mathfrak h}: \langle t, \alpha \rangle \in {\bf Z} \}}, so the torus {T} may be identified with the quotient {{\mathfrak h}_{\bf R}/P}. Inside {P} we have the coroot lattice {Q} generated by the coroots {\{ h_\alpha: \alpha \in \Phi \}}; these are both full rank in {{\mathfrak h}_{\bf R}} and so the quotient {P/Q} is finite.

Example 1 In the {A_{n-1}} example, {{\mathfrak h}_{\bf R}} is the space {{\bf R}^n_0} of vectors {(x_1,\ldots,x_n) \in {\bf R}^n} with {x_1+\ldots+x_n = 0}; the coweight lattice {P} is then generated by {e_i - \frac{1}{n} \sum_{j=1}^n} for {i=1,\ldots,n}, and the root lattice {Q} is spanned by {e_i - e_j} for {1 \leq i < j \leq n} and has index {n} in {P}.

Call an element {x} of {{\mathfrak h}} non-integral if one has {\langle x, \alpha \rangle \not \in {\bf Z}} for all {\alpha \in \Phi}; this is a stronger condition than being regular, which corresponds to {\langle x,\alpha\rangle} being non-zero for all {\alpha}. The set of non-integral elements of {{\mathfrak h}} is a collection of open polytopes, and is acted upon by the group {A_Q} of affine transformations generated by the Weyl group and translations by elements of the coroot lattice {Q}. A fundamental domain of this space is the Weyl alcove {{\mathcal A}}, in which {\langle x, \alpha \rangle > 0} for positive roots and {\langle x, \beta \rangle < 1} for the maximal root {\beta}; this is a simplex in the Weyl chamber consisting entirely of non-integral elements, such that the reflection along any of the faces of the alcove lies in {A}, which shows that it is indeed a fundamental domain. (In the {A_{n-1}} case, the alcove consists of tuples {\theta_1,\ldots,\theta_n} with {\theta_1 > \ldots > \theta_n > \theta_1-1}.)

Call an element of {G_c} regular if it is conjugate to {\exp(x)} for some non-integral {x \in {\mathfrak h}}; as before, the regular elements have codimension at least three in {G_c}, and so the fundamental group of {G_c} is the same as the fundamental group of the non-integral elements of {G_c}. (In the case of {A_{n-1}}, {G_c} is the projective special unitary group {\hbox{PSU}_n({\bf C})}, and the equivalence class of an unitary matrix is regular if its eigenvalues are all distinct.) Observe that {\exp(ax)} and {\exp(x)} are conjugate whenever {a \in A_Q}; in fact the same is true for all {a} in {A_P}, the group of affine transformations on {{\mathfrak h}} generated by the Weyl group and translations by elements of the coweight lattice {P}. Because of this, we see that every element of {G_c} can be expressed in the form {\exp(x)^a} where {x} lies in the Weyl alcove {{\mathcal A}}, {g} lies in {G/T}, and {\exp(x)^g} is the conjugate of {\exp(x)} by (any representative of) {g}. By lifting, we can then write any loop {\gamma: [0,1] \rightarrow G_c} in {G_c} in the form

\displaystyle \gamma(t) = \exp(x(t))^{g(t)}

for some continuous {x: [0,1] \rightarrow {\mathcal A}} and {g: [0,1] \rightarrow G/T}. If we fix the base point {\gamma(0)=\gamma(1)=p_0} of {\gamma}, then we can fix the initial point {x(0) = x_0} of {x}, and normalise {g(0)} to be the identity; we then have

\displaystyle \exp(x(1))^{g(1)} = \exp(x_0),

which places {g(1)} in {N(T)/T} (since {\exp(x_0)} and {\exp(x_1)}, being non-integral, do not lie in any maximal torus other than {T}, as can be seen by inspecting its adjoint action on {{\mathfrak g}}). Thus there is an element {w} of {W} and {k \in P} such that {x(1) = w x_0 + k} and {g(1) = w^{-1}}; this assigns an element {a} of {A_P} to {\gamma} with the property that {a x_0 \in {\mathcal A}}; one can check that this assignment is preserved under homotopy of {\gamma}. From the simply connected nature of both {G/T} and {{\mathcal A}} one can check that this assignment is injective; and by the connected nature of {G/T} and {{\mathcal A}} the assignment is surjective. On the other hand, as {{\mathcal A}} is a fundamental domain for {A_Q}, we see that each (right) coset of {A_P} in {A_Q} has exactly one representative {a} for which {ax_0 \in {\mathcal A}}, so we have obtained a bijective correspondence between {\pi_1(G_c)} and {A_Q/A_P \equiv Q/P}. In fact it is not difficult to show that this bijection is a group isomorphism, thus

\displaystyle Z(\tilde G) \equiv \pi_1(G_{ad}) \equiv \pi_1(G_c) \equiv Q/P. \ \ \ \ \ (1)

With this formula one can now compute the fundamental group or centre (1) associated to any Dynkin diagram group quite easily, and it usually ends up being very small:

  • For {G_2}, {F_4}, or {E_8}, the group (1) is trivial.
  • For {B_n}, {C_n}, or {E_7}, the group (1) has order two.
  • For {E_6}, the group (1) has order three.
  • For {D_n}, the group (1) has order four, and is cyclic for odd {n} and the Klein group for even {n}.
  • As mentioned previously, for {A_n}, the group (1) is cyclic of order {n+1}.

Remark 1 The above theory for simple Lie algebras extends without difficulty to the semisimple case, with a connected Lie group defined to be semisimple if its Lie algebra is semisimple. If one restricts to the simply connected models {\tilde G}, then every simply connected semisimple Lie group is expressible as the direct sum of simply connected simple Lie groups. A general semisimple Lie groups might not be a direct product of simple Lie groups, but will always be a central product (a direct product quotiented out by some subgroup of the center).

Remark 2 The compact form {G_c} (and its lifts) are usually not the only real Lie groups associated to {{\mathfrak g}}, as there may be other real forms of {{\mathfrak g}} than {i{\mathfrak g}_{\bf R}}. These can be classified by a somewhat messier version of the arguments given previously, but we will not pursue this matter here; see e.g. Knapp’s book.

— 2. Chevalley groups —

The theory of connected Lie groups works well over the reals {{\bf R}} or complexes {{\bf C}}, as these fields are themselves connected in the topological sense, but becomes more problematic when one works with disconnected fields, such as finite fields or the {p}-adics. However, there is a good substitute for the notion of a Lie group in these settings (particularly when working with algebraically complete fields {k}), namely the notion of an algebraic group. Actually, in analogy to how complex Lie groups are automatically linear groups (up to isomorphism), we will be able to restrict attention to (classical) linear algebraic groups, that is to say Zariski-closed subgroups of a general linear group {GL_n(k)} over an algebraically closed field {k}. (Remarkably, it turns out that all affine algebraic groups are isomorphic to a linear algebraic group, though we will not prove this fact here.)

The following result allows one to easily generate linear algebraic groups:

Theorem 4 Let {k} be algebraically closed. All topological notions are with respect to the Zariski topology, and notions of constructibility and irreducibility are in the algebraic geometry sense. If {V} is a connected constructible subset of {GL_n(k)} containing the identity, then the group {\langle V \rangle} generated by {V} is closed (and is thus a linear algebraic group) and also irreducible.

In particular, this theorem implies that linear algebraic groups are connected if and only if they are irreducible.

Proof: By combining {V} with its reflection {V^{-1}} we may assume that {V} is symmetric: {V = V^{-1}}. The product sets {V, V^2, V^3, \ldots} are all constructible and increasing, so at some point the dimension must stabilise, thus we can find {k} such that {V^k} and {V^{2k}} both have dimension {d}. Let {A_1,\ldots,A_m} be the {d}-dimensional irreducible components of {V^k}, and {A'_1,\ldots,A'_{m'}} be the {d}-dimensional irreducible components of {V^{2k}}, thus every element of {V^k} lies in one of the sets {B_{i'} := \{ g \in GL_n(k): g \overline{A_1} = \overline{A'_{i'}} \}} for some {i'=1,\ldots,k'}. As these sets are closed and disjoint and {V^k} is connected, only one of the {B_{i'}}, say {B_1}, is non-empty; as {V^k} contains the identity, we conclude that {\overline{A_1} = \overline{A'_1}} and {V^k \subset B_1 \subset \overline{A'_1}}, thus {V^k} is an open dense subset of {\overline{A_1}}, which is symmetric, contains the identity, is Zariski closed, and closed under multiplication and is thus an algebraic group. This implies that {V^{2k}} is all of {\overline{A_1}} (because {V^k} and {(V^k)^{-1} g} intersect for all {g \in \overline{A_1}} as they are both open dense subsets of {\overline{A_1}}) and the claim follows. \Box

This already gives a basic link between the category of complex Lie groups and the category of algebraic groups:

Corollary 5 Every complex simple Lie group {G_{ad}} in adjoint form is an linear algebraic group over {{\bf C}}.

The same statement is in fact true (up to isomorphism) for the other forms of a complex simple Lie group (by essentially the same argument, and using the fact that the Jordan decomposition for a simple Lie algebra is universal across all representations), though we will focus here on the adjoint form for simplicity. Note though that not every real simple Lie group is algebraic; for instance, the universal cover of {\hbox{SL}_2({\bf R})} has an infinite discrete centre (the fundamental group of {\hbox{SL}_2({\bf R})} is isomorphic to {{\bf Z}}) and is therefore non-algebraic. To emphasise the algebraicity of the complex simple Lie group {G_{ad}} (and in order to distinguish it from the more general Chevalley groups {G_{ad}(k)} which we will introduce shortly) we will now write it as {G_{ad}({\bf C})}.

Proof: Recall (see this previous post) that the complex Lie algebra {{\mathfrak g}} has a Cartan-Weyl basis – a complex-linear basis {(E_\alpha)_{\alpha \in \Phi}, (H_\alpha)_{\alpha \in \Pi}} indexed by the roots {\Phi} and the simple roots {\Pi} respectively, obeying the Cartan-Weyl relations

\displaystyle [H_\alpha, E_\beta] = A_{\alpha,\beta}

\displaystyle [E_\alpha, E_{-\alpha}] = H_\alpha

\displaystyle [E_\alpha, E_\beta] = N_{\alpha,\beta} E_{\alpha+\beta}

\displaystyle [H_\alpha,H_\beta] = 0

where we extend {H_\alpha} to all roots {\alpha \in \Phi} by making {H_\alpha} linear in the coroot of {\alpha}, {A_{\alpha,\beta}} are integers, and {N_{\alpha,\beta}} are structure constants. Among other things, this shows that {G_{ad}({\bf C})} is generated by the one-parameter unipotent subgroups {U_\alpha({\bf C}) := \{ \exp( t \hbox{ad} E_\alpha ): t \in {\bf C} \}} and toral subgroups {T_\alpha({\bf C}) := \{ \exp( t \hbox{ad} H_\alpha ): t \in {\bf C} \}} for various {\alpha}. The unipotent groups {U_\alpha} are algebraic because {\hbox{ad} E_\alpha} is nilpotent. The toral groups {T_\alpha} are not quite algebraic (they aren’t closed), but they are constructible, because the Cartan-Weyl relations show that {\exp( t \hbox{ad} H_\alpha )} is given by a diagonal matrix whose entries are monomials in {\exp(t)}, so by reparameterising in terms of {z := \exp(t) \in {\bf C}^\times} we obtain the desired constructibility. The claim then follows from Theorem 4. \Box

Somewhat miraculously, the same construction works for any other algebraically closed fields {k} (and even to non-algebraically closed fields, as discussed below), to construct an algebraic group {G_{ad}(k)} that is the analogue over {k} of the adjoint form of the complex Lie group {G_{ad}({\bf C})}. Whereas {G_{ad}({\bf C})} consisted of linear transformations from the complex vector space {{\mathfrak g}} to itself, {G_{ad}(k)} consists of linear transformations on the {k}-vector space {{\mathfrak g}(k)}, which has the same Cartan-Weyl basis {(E_\alpha)_{\alpha \in \Phi}, (H_\alpha)_{\alpha \in \Pi}} but now viewed as a basis over {k} rather than {{\bf C}}. The analogue {T_\alpha(k)} of the toral subgroups {T_\alpha({\bf C}) = \{ \exp( t \hbox{ad} H_\alpha ): t \in {\bf C} \}} are then the group of linear transformations {h_\alpha(z)} on {{\mathfrak g}(k)} that map {E_\beta} to {z^{A_{\alpha,\beta}} E_\beta} for all roots {\beta} and annihilate all the {H_\gamma}, for some {z \in k^\times}; this is a connected constructible subgroup of {GL({\mathfrak g}(k))}. As for the {k}-analogue {U_\alpha(k)} of the unipotent subgroups {U_\alpha({\bf C}) = \{ \exp( t \hbox{ad} E_\alpha ): t \in {\bf C} \}}, we use crucially the fact (established in this previous post) that one can ensure that {N_{\alpha,\beta} = \pm (r+1)}, where {r} is the largest integer such that {\beta-r\alpha} is a root. This implies in the complex setting that

\displaystyle \exp( t \hbox{ad} E_\alpha ) E_\beta = E_\beta \pm t (r+1) E_{\beta+\alpha} \pm t^2 \frac{(r+1)(r+2)}{2} E_{\beta+2\alpha} \pm \ldots

where the series terminates once {\beta+s\alpha} stops being a root. The point here is that the coefficients {\pm (r+1), \pm \frac{(r+1)(r+2)}{2}}, etc. are all integers, and so one can take this as a definition for {u_\alpha(t) = \exp(t \hbox{ad} E_\alpha )} for {{\mathfrak g}(k)} and any {t \in k} regardless of what characteristic {k} is, and one still obtains a connected unipotent group in this way. If we then let {G_{ad}(k)} be the group generated by these one-parameter subgroups {T_\alpha(k)}, {U_\alpha(k)}, we see that this is a connected linear algebraic group defined over {k}, known as the (adjoint form) Chevalley group over {k} associated to the given root system (or Dynkin diagram).

The same construction works over fields {k} that are not algebraically closed, giving groups {G_{ad}(k)} that are also denoted {D(k)} where {D} is the Dynkin diagram associated to {k}; for instance {A_n(k)} is the projective special linear group {\hbox{PSL}_{n+1}(k)}. The resulting groups {G_{ad}(k)} are then not algebraic groups, since we only define the notion of a (classical) algebraic variety over algebraically closed fields. Nevertheless, these groups still retain a great deal of the other structure of the complex Lie group {G_{ad}({\bf C})}, and in particular inherit the Bruhat decomposition which we now pause to recall. We first identify some key subgroups of {G_{ad}(k)}. We first locate the maximal torus {T(k)}, defined as the group generated by the one-parameter toral subgroups {T_\alpha(k)} for {\alpha \in \Pi}; this is an abelian subgroup of {G_{ad}(k)}. Next, we locate the Borel subgroup {B(k)}, defined as the group generated by {T} and the unipotent groups {U_\alpha(k)} for positive roots {\alpha}; this can be seen to be a solvable subgroup of {G_{ad}(k)}. Then, for each reflection {s_\alpha \in W} in the Weyl group {W} associated to a simple root {\alpha \in \Pi}, we define the elements

\displaystyle n_\alpha(t) := u_\alpha(t) u_{-\alpha}(-t^{-1}) u_\alpha(t)

for {t \in k^\times}, one can check using the Cartan-Weyl relations that {n_\alpha(t)} determines an element in a coset of {T} in its normaliser {N(T)} which is independent of the choice of {t}. Letting {N(k)} be the group generated by the {n_\alpha(t)} and {T(k)}, we thus see that {N(k)} normalises {T(k)}, and with some further application of the Cartan-Weyl relations one sees that {N(k)/T(k)} is isomorphic to {W} (with each {n_\alpha(t)} projecting down to {s_\alpha}); cf. Lemma 3. Indeed, if {n_w \in N(k)} is a representative of {w \in W}, one sees that the operation of conjugation {g \mapsto n_w g n_w^{-1}} maps {U_\alpha(k)} to {U_{w(\alpha)}(k)} for any root {\alpha}.

For notational reasons we now fix an assignment {n_w} of a representative in {N(k)} to each element {w \in W}, although all of the objects we will actually study will not be dependent on this choice of assignment.

The following axioms can then be verified from further use of the Cartan-Weyl relations:

  1. {G_{ad}(k)} is generated by {B(k)} and {N(k)}.
  2. {T(k)} is the intersection of {B(k)} and {N(k)}, and is normalised by {N(k)}.
  3. {W = N(k)/T(k)} is generated by the reflections {s_\alpha, \alpha \in \Pi}, which are of order two.
  4. No reflection {s_\alpha} (or more precisely, no representative in {N(k)} of that reflection) normalises {B(k)}.

For each element {w \in W} of the Weyl group, we can form the double coset {C(w) := B(k) n_w B(k)}; this is easily seen to be independent of the choice of representative {n_w}. Thus for instance {C(1)=B(k)}. It is also clear that any two double cosets {C(w), C(w')} are either equal or disjoint, and one has the inclusion

\displaystyle C(ww') \subset C(w) C(w'). \ \ \ \ \ (2)

for any {w,w' \in W}, as well as the symmetry {C(w)^{-1} = C(w^{-1})}. We also have the important further inclusion relation:

Lemma 6 For any {\alpha \in \Pi} and {w \in W}, we have {C(w) C(s_\alpha) \subset C(w) \cup C(w s_\alpha)}.

Proof: First suppose that {w(\alpha)} is a positive root. Then we observe the factorisation

\displaystyle B(k) = U_\alpha(k) T(k) U_{\overline{\alpha}}(k)

where {U_{\overline{\alpha}}(k)} is the group generated by all the {U_\beta} for positive {\beta \neq \alpha}. From the positivity of {w(\alpha)} one has

\displaystyle n_w U_\alpha(k) n_w^{-1} = U_{w(\alpha)}(k) \subset B(k)

and from the simplicity of {\alpha} one has

\displaystyle n_{s_\alpha} (T(k) U_{\overline{\alpha}}(k)) n_{s_\alpha}^{-1} \subset B(k)

and thus

\displaystyle B(k) \subset (n_w^{-1} B(k) n_w) (n_{s_\alpha} B(k) n_{s_\alpha}^{-1});

multiplying on the left by {n_w} and on the right by {s_\alpha} we conclude that

\displaystyle C(w) C(s_\alpha) \subset C(w s_\alpha);

as the left-hand side is a non-empty union of double cosets, we in fact have equality

\displaystyle C(w) C(s_\alpha) = C(w s_\alpha).

Now suppose instead that {w(\alpha)} is a negative root. Applying the previous equality with {w} replaed by {w s_\alpha} we conclude that

\displaystyle C(w s_\alpha) C(s_\alpha) = C(w) \ \ \ \ \ (3)

and thus

\displaystyle C(w) C(s_\alpha) = C(w s_\alpha) C(s_\alpha) C(s_\alpha).

On the other hand, direct calculation with the Cartan-Weyl relations reveals that

\displaystyle C(s_\alpha) C(s_\alpha) \subset C(1) \cup C(s_\alpha)

and the claim then follows from (3). \Box

Lemma 6 and the preceding four axioms form the axiom system, introduced by Tits, for a {(B,N)}-pair. This axiom system is convenient for abstractly achieving a number of useful facts, such as the Bruhat decomposition, and the simplicity of {G_{ad}(k)} (in most cases). We begin with the Bruhat decomposition:

Proposition 7 (Bruhat decomposition) {G_{ad}(k)} is the disjoint union of {C(w)} as {w} ranges over {W}. (Thus there is a canonical bijection between {B(k)G_{ad}(k)/B(k)} and {W = N(k)/T(k)}, which by slight abuse of notation can be written as {G_{ad}(k) = B(k) W B(k)}.)

Proof: We first show that the {C(w)} cover {G_{ad}(k)}. As the {C(w)} cover both {B(k)} and {N(k)} (which together generate {G_{ad}(k)}) and their union is symmetric, it suffices to show that {\bigcup_w C(w)} is closed under multiplication, thus {C(w_1) C(w_2) \subset \bigcup_w C(w)}. But this is easily achieved by iterating Lemma 6 (inducting on the length of {w_2}, that is to say the minimal number of reflections {s_\alpha} needed to generate {C(w_2)}, noting that the case {w_2=1} is trivial).

Now we show that the {C(w)} are disjoint. Since double cosets are either equal or disjoint, it suffices to show that {C(w_1)=C(w_2)} implies {w_1=w_2} for all {w_1,w_2 \in W}. We induct on the length of {w_2}. The case when {w_2=1} is trivial, so suppose that {w_2 \neq 1} and that the claim has already been proven for all shorter {w_2}. We write {w_2 = w'_2 s_\alpha} for some shorter {w'_2}. Then

\displaystyle w'_2 = w_2 s_\alpha \subset C(w_2) C(s_\alpha)

\displaystyle = C(w_1) C(s_\alpha) \subset C(w_1) \cup C(w_1 s_\alpha)

\displaystyle = C(w_2) \cup C(w_1 s_\alpha)

and hence {C(w'_2)} is either equal to {C(w_2)} or {C(w_1 s_\alpha)}. By induction we then either have {w'_2=w_2} or {w'_2 = w_1 s_\alpha}. The former is absurd, thus {w'_2 = w_1 s_\alpha} and thus {w_1=w_2} as required. \Box

By further exploitation of the {(B,N)}-pair axioms and some other properties of {G_{ad}(k)}, we can show that this group is simple in the group-theoretic sense in almost all cases (there are a few exceptions in very low characteristic). This generalises the discussion of complex Lie groups in the previous section, except now we do not need to pass through the simplicity of the associated Lie algebra (and instead work with the irreducibility of the root system).

We use an argument of Iwasawa and Tits. We first need some structural results about parabolic subgroups of {G_{ad}(k)} – subgroups that contain the Borel subgroup {B} (or a conjugate thereof).

Lemma 8 Let {w \in W} be an element of the Weyl group, with a minimal-length representation {w = s_{\alpha_1} \ldots s_{\alpha_l}} in terms of representations. Then {n_{s_{\alpha_1}},\ldots,n_{s_{\alpha_l}}} lie in the group generated by {B(k)} and {n_w B(k) n_w^{-1}}.

Proof: We may assume inductively that {l>0} and that the claim has been proven for smaller values of {l}. From minimality we know that {w^{-1}(\alpha_1)} is a negative root, and so

\displaystyle U_{-\alpha}(k) = n_w U_{-w^{-1}(\alpha)}(k) n_w^{-1} \subset n_w B(k) n_w^{-1}

and {U_\alpha(k) \subset B(k)}, hence {n_\alpha}, being in the group generated by {U_\alpha(k)} and {U_{-\alpha}(k)}, is contained in the group generated by {B(k)} and {n_w B(k) n_w^{-1}}. Writing {w = s_\alpha w'}, this implies that this group contains the group generated by {B(k)} and {n_{w'} B(k) n_{w'}^{-1}}, and the claim then follows from induction. \Box

Corollary 9 (Classification of parabolic groups) Every parabolic group {B(k) \subset P \subset G_{ad}(k)} containing {B(k)} takes the form {\bigcup_{w \in W_\pi} C(w)} for some {\pi \subset \Pi}, where {W_\pi} is the subgroup of {W} generated by the {s_\alpha} for {\alpha \in \Pi}, and conversely each of the {\bigcup_{w \in W_\pi} C(w)} is a parabolic subgroup of {G_{ad}(k)}. Furthermore all of these {2^{|\Pi|}} parabolic groups are distinct.

Proof: The fact that {\bigcup_{w \in W_\pi} C(w)} is a group follows from Lemma 6. To show distinctness, it suffices by the Bruhat decomposition to show that the {W_\pi} are all distinct, but this follows from the linear independence of the simple roots. Finally, if {P} is a parabolic subgroup containing {B(k)}, we can set {\pi := \{ \alpha \in \Pi: n_\alpha \in P \}}, then clearly {P} contains {\bigcup_{w \in W_\pi} C(w)}. On the other hand, as {P = B(k) P B(k)}, {P} is the union of double cosets {C(w)}, and from Lemma 8 if {P} contains {C(w)}, then {w} is generated by reflections from {\pi}. The claim follows. \Box

This, together with the previously noted solvability of {B} and the irreducibility of the root system, gives a useful criterion for simplicity:

Lemma 10 (Criterion for simplicity) Suppose that {G_{ad}(k)} is a perfect group and that {B(k)} does not contain any non-trivial normal subgroup of {G_{ad}(k)} (i.e. {\bigcap_{g \in G_{ad}(k)} g B(k) g^{-1} = \{1\}}). Then {G_{ad}(k)} is simple.

Proof: Let {H} be a non-trivial normal subgroup of {G_{ad}(k)}. Then by hypothesis {H} is not contained in {B(k)}, so the group {HB(k)} is a parabolic subgroup of {G_{ad}(k)} that is strictly larger than {B(k)}, thus {HB(k) =\bigcup_{w \in W_\pi} C(w)} for some non-empty {\pi \subset \Pi}. If {\alpha \in \pi} and {\beta \in \Pi \backslash \pi}, then {H} intersects {C(s_\alpha)}, and thus (by the normality of {H}) also intersects {n_{s_\beta} C(s_\alpha) n_{s_\beta}^{-1}}. By Lemma 6 (and (3)), we have

\displaystyle n_{s_\beta} C(s_\alpha) n_{s_\beta}^{-1} \subset C(s_\beta) C(s_\alpha) C(s_\beta) = C(s_\beta) C(s_\alpha s_\beta)

\displaystyle \subset C(s_\beta s_\alpha s_\beta) \cup C(s_\alpha s_\beta)

and so at least one of {s_\beta s_\alpha s_\beta} and {s_\alpha s_\beta} lies in {W_\pi}. But as {s_\alpha \in W_\pi} and {s_\beta \not \in W_\pi}, we conclude that {s_\beta s_\alpha s_\beta \in W_\pi}. From this and Lemma 8 we see that any minimal representation of {s_\beta s_\alpha s_\beta} has generators both in {\{\alpha,\beta\}} and {\pi}, which forces {s_\beta s_\alpha s_\beta = s_\alpha} (note that {s_\beta s_\alpha s_\beta} cannot vanish). Thus we see that {s_\alpha} commutes with {s_\beta}, contradicting the irreducibility of the root system unless {\pi = \Pi}. We thus have {HB(k) = G_{ad}(k)}. As {G_{ad}(k)} is perfect, this implies that {G_{ad}(k)/H} is also perfect; but this is a quotient of the solvable group {B(k)} and is thus solvable also. As only the trivial group is both perfect and solvable, we conclude that {H = G_{ad}(k)}, and the claim follows. \Box

In the specific case of the adjoint form, the second hypothesis in Lemma 10 can be verified:

Lemma 11 {B(k)} does not contain any non-trivial normal subgroup of {G_{ad}(k)}.

As in the complex case, it turns out that non-adjoint forms of a Chevalley group have non-trivial centre that lies in every maximal torus and hence in every Borel group, so this lemma is specific to the adjoint form.

Proof: Let {H} be a normal subgroup of {G_{ad}(k)} that lies in {B(k)}. Conjugating by the long word in {W} (that maps all positive roots to negative roots) we see that {H} actually lies in the torus {T(k)}. In particular, for any root {\alpha}, {[H, U_\alpha(k)]} lies in both {H \subset T(k)} and {U_\alpha(k)} and is thus trivial; this shows that {H} is central. But by the Cartan-Weyl relations we see that there are no elements of {T(k)} that commute with all the {U_\alpha(k)}, and the claim follows. \Box

We remark that the above arguments can also be adapted to show that {G_{ad}(k)} always has trivial centre {Z(G_{ad}(k))} (because the above lemma and the proof of Lemma 10 then shows that {Z(G_{ad}(k)) B(k) = G_{ad}(k)}, making {B(k)} normal in {G(k)}, which can be shown to lead to a contradiction).

From the above discussion we see that {G_{ad}(k)} will be simple whenever it is perfect. Establishing perfection is relatively easy in most cases, as it only requires enough explicit examples of commutators to encompass a generating subset of {G_{ad}(k)}. It is only when the field {k} and the Dynkin diagram are extremely small that one has too few commutators to make a generating subset, and {G_{ad}(k)} fails to be perfect (and thus also fails to be simple); the specific failures turn out to be {A_1({\bf F}_2)}, {A_1({\bf F}_3)}, {B_2({\bf F}_2)}, and {G_2({\bf F}_2)}. See the text of Carter for details.

We have focused primarily on the adjoint form {G_{ad}(k)} of the Chevalley groups, but much as in the complex Lie group case, to each Dynkin diagram and field {k} one can associate a finite number of forms of the Chevalley group, ranging from the minimal example of the adjoint form {G_{ad}(k)} to the maximal example {G_u(k)} of the universal form. When {k} is algebraically closed, these are all linear algebraic groups, and every form of the Chevalley group has an isogeny (the algebraic group analogue of a finite cover) to the adjoint form (arising from quotienting out by the centre) and receives an isogeny from the universal form, much as in the complex case. We still have the basic identity (1), but the lattices {P,Q} now lie over {k} rather than {{\bf R}} or {{\bf C}} (which can make the order of {Q/P} smaller than in the complex case if {k} has small positive characteristic {p} by quotienting out the elements of order a prime power of {p}, thus collapsing the number of distinct forms of the Chevalley group in some characteristics), and the fundamental group {\pi_1(G_{ad}(k))} has to be interpreted as an étale fundamental group rather than a topological fundamental group. See for instance the notes of Steinberg or the text of Gorenstein-Lyons-Solomon for details. As an example of the collapse phenomenon mentioned earlier, {\hbox{SL}_2(k)} (the universal form for {A_1(k)}) and {\hbox{PSL}_2(k)} (the adjoint form for {A_1(k)}) are distinct for most fields {k}, but coincide when {k} has characteristic two.

We also caution that a Chevalley group {G(k)} over a non-algebraically closed field is not necessarily the same as the set of {k}-points of the Chevalley group {G(\overline{k})} of the algebraic closure {\overline{k}}, as the latter may be strictly larger. For instance, the real elements of {\hbox{PSL}_2({\bf C}) = \hbox{PGL}_2({\bf C})} are the elements of {\hbox{PGL}_2({\bf R})}, which a larger group than {\hbox{PSL}_2({\bf R})} (it also contains the projectivisation of matrices with negative determinant). Thus Chevalley groups and algebraic groups are slightly different concepts when specialised to non-algebraically closed fields.

The Chevalley construction gives some specific families of algebraic groups over algebraically closed fields that are either simple (in the adjoint form) or almost simple (which means that the only normal groups are zero-dimensional); in the latter case they are also quasisimple as in the complex case. It is natural to ask whether there are any other (non-abelian) simple algebraic groups over an algebraically closed field. It turns out (quite remarkably) that one can perform the entirety of the classification of complex Lie algebras in the category of algebraic groups over a given algebraically closed field (regardless of its characteristic!), to arrive at the conclusion that the Chevalley groups are (up to isomorphism) the only non-abelian simple or almost simple connected linear algebraic groups. This is despite the lack of any reasonable analogue of the compact form {G_c} over arbitrary fields, and also despite the additional subtleties present in the structural theory of Lie algebras when the characteristic is positive and small. Instead, one has to avoid use of Lie algebras or compact forms, and try to build the basic ingredients of the {(B,N)}-pair structure mentioned above (e.g. maximal tori, Borel subgroups, roots, etc.) directly. This result however requires a serious amount of algebraic geometry machinery and will not be discussed here; see e.g. this text of Humphreys for details.

Remark 3 The Bruhat decomposition gives a parameterisation of {G_{ad}(k)} as

\displaystyle G_{ad}(k) = \bigcup_{w \in W} U(k) T(k) n_w U_w^-(k)

where {U(k)} is the group generated by the {U_\alpha(k)} for all positive roots {\alpha}, and {U_w^-(k)} is the subgroup generated by the {U_\alpha} for those positive roots {\alpha} for which {w(\alpha)} is negative; every element {g} of {G(k)} then has a unique representation of the form

\displaystyle g = u t n_w u'

for some {w \in W}, {u \in U(k)}, {t \in T(k)}, and {u' \in U_w^-(k)}. Among other things, this allows for a computation of the order of the Chevalley group {G_{ad}({\bf F}_q)} over a finite field of {q} elements:

\displaystyle |G_{ad}({\bf F}_q)| = \sum_{w \in W} q^N (q-1)^r q^{N_w}

where {N} is the number of positive roots, {r} is the rank (the dimension of the maximal torus), and {N_w} is the number of positive roots {\alpha} with {w(\alpha)} negative. If suggestively writes {q=1+\epsilon}, this becomes

\displaystyle |G_{ad}({\bf F}_{1+\epsilon})| = \epsilon^r ( |W| + O(\epsilon) )

suggesting that in the limit {\epsilon \rightarrow 0}, the Chevalley group {G_{ad}({\bf F}_1)} over the “field with one element” should degenerate to something like {N({\bf F}_1) = T({\bf F}_1) . W}, an extension of the Weyl group by some sort of torus over the field with one element. Now, this calculation does not make actual rigorous sense – the currently accepted definition of a field does not allow the possibility of fields of order equal to one (or arbitrarily close to one) – but there are tantalising hints in various areas of mathematics that these sorts of formal computations can sometimes to tied to interesting rigorous mathematical statements. However, it appears that we are still some ways off from a completely satisfactory understanding of the extent to which the “field with one element” actually exists, and what its nature is.

— 3. Finite simple groups of Lie type —

As discussed above, the (adjoint form of the) Chevalley group construction {G_{ad}(k)}, when applied to a finite field, usually gives a finite simple group. However, this construction does not give all of the finite simple groups that are associated to Lie groups. A basic example is the projective special unitary group {\hbox{PSU}_n({\bf F}_{q})} over a finite field whose order {q} is a perfect square: {q= \tilde q^2}. This field supports a Frobenius automorphism {\tau: x \mapsto x^{\tilde q}} which behaves much like complex conjugation {z \mapsto \overline{z}} does on the complex field (for instance, {\tau} fixes the index two subfield {{\bf F}_{\tilde q}}, much as complex conjugation fixes the index two subfield {{\bf R}}). We can then define {\hbox{PSU}_n({\bf F}_{q^2})} as the quotient of the matrix group

\displaystyle SU_n({\bf F}_{q}) := \{ U \in \hbox{SL}_n({\bf F}_{q}): U \tau(U^T) = 1 \} \ \ \ \ \ (4)

by its centre, where {\tau(U^T)} is the matrix formed by applying the Frobenius automorphism {\tau} to each entry of the transpose {U^T} of {TU}. This resembles Chevalley groups such as {\hbox{PSL}_n(k)}, but the group {\hbox{PSU}_n(k)} requires the additional input of the Frobenius automorphism, which is available for some fields {k} but not for others, and destroys the algebraic nature of the group. For instance, {\hbox{PSU}_n({\bf C})} is not a complex algebraic group, because complex conjugation {z \mapsto \overline{z}} is not a complex algebraic operation; it is similarly not a complex Lie group because complex conjugation is not a complex analytic operation. One can view this groups as algebraic (or analytic) over an index two subgroup – for instance, {\hbox{PSU}_n({\bf C})} is a real Lie group, and can also be (carefully) viewed as a real algebraic group, as long as one bears in mind that the reals are not algebraically closed. While this can certainly be a profitable way to view group of this type (known as Steinberg groups), there is another perspective on such groups which extends to the most general class of finite simple groups of Lie types, which contains not only the Chevalley groups and the Steinberg groups but an additional third class, namely the Suzuki-Ree groups. To motivate this different viewpoint, observe that the definition (4) of the special unitary group {SU_n({\bf F}_{q})} can be rewritten as

\displaystyle SU_n({\bf F}_{q}) = \{ U \in \hbox{SL}_n({\bf F}_{q}): \sigma(U) = U \}

where {\sigma = \rho \circ \tau = \tau \circ \rho}, {\tau} is the Frobenius map defined earlier (acting componentwise on each matrix entry), and {\tau} is the transpose inverse map

\displaystyle \rho(U) := (U^T)^{-1}. \ \ \ \ \ (5)

Observe that {\tau} and {\rho} are commuting automorphisms on {\hbox{SL}_n({\bf F}_{q^2})} of order two, and so {\sigma} is also an automorphism of order two (i.e. it is an involution). Thus we see that the special unitary group is the subgroup of the Chevalley group {\hbox{SL}_n({\bf F}_{q^2})} which is fixed by the involution {\sigma}.

This suggests that we can locate other finite simple (or at least finite quasisimple) groups of Lie type by looking at the fixed points

\displaystyle G({\bf F}_q)^\sigma = \{ g \in G({\bf F}_q): \sigma(g) = g \}

of automorphisms {\sigma} in a Chevalley group {G({\bf F}_{q})}. One should look for automorphisms with a fairly small order (such as two or three), as otherwise the fixed point set might be so small as to generate a trivial group.

As the example of the special unitary group suggests, one can obtain such automorphisms {\sigma} by composing two types {\rho,\tau} of automorphisms. On the one hand, we have the field automorphisms {\tau: x \mapsto x^{\tilde q}}, where {\tilde q} is some power of the characteristic {p} of the field {{\bf F}_q}, applied to each matrix entry of Chevalley group elements. On the other hand, we have graph automorphisms {\rho: G(k) \rightarrow G(k)}, arising from automorphisms of the Dynkin diagram (which, as noted in Theorem 29 of this previous post, induces an automorphism of Lie algebras, and can also be used to induce an automorphism of Chevalley groups), which commute with field automorphisms. The transpose inverse map {\rho} defined in (5) is, strictly speaking, not of this form: it is associated to the Lie algebra involution {x \mapsto -x^T}, which maps each root {e_i - e_j} to its negation {e_j-e_i}, so in particular does not map simple roots to simple roots. However, if one composes {\rho} with the conjugation action of the long word in the Weyl group (an example of an inner automorphism), which in the case of {\hbox{SL}_n} is represented by an antidiagonal matrix, the associated Lie algebra involution now maps each root {e_i-e_j} to its reflection {e_{n+1-j} - e_{n+1-i}}, and corresponds to the Dynkin diagram automorphism of {A_n} formed by reflection. With this conjugation by the long word, the fixed points of the resulting automorphism {\sigma} is still a special unitary group {SU_n({\bf F}_q)}, but the sesquilinear form that defines unitarity is not the familiar form

\displaystyle \langle (x_1,\ldots,x_n), (y_1,\ldots,y_n) \rangle := x_1 \tau(y_1) + \ldots + x_n \tau(y_n)

but rather an antidiagonal version

\displaystyle \langle (x_1,\ldots,x_n), (y_1,\ldots,y_n) \rangle := x_1 \tau(y_n) + \ldots + x_n \tau(y_1).

It turns out that up to group isomorphism, we still obtain the same projective special unitary group {\hbox{PSU}_n({\bf F}_q)} regardless of choice of sesquilinear form, so this reversal in the definition of the form is ultimately not a difficulty.

If the graph automorphism {\rho} has order {d}, and one takes the field automorphism {\tau} to also have order {d} by requiring that {q = \tilde q^d}, take the fixed points {G(q)^\sigma} of the resulting order {d} automorphism {\sigma = \rho \tau}, we (essentially) obtain the standard form of a Steinberg group {{}^d {\bf D}(q)}, where {{\bf D}} is the Dynkin diagram. By “essentially”, we mean that we may first have to pass to a bounded index subgroup, and then quotient out by the centre, before one gets a finite simple group; this is a technical issue which be will briefly discuss later. Thus for instance {\hbox{PSU}_n({\bf F}_q)} is denoted {{}^2 A_{n-1}(q)}. (In some texts such a group would be denoted {{}^2 A_{n-1}(\tilde q)} instead.) In a similar vein, the Dynkin diagrams {D_n} and {E_6} also obviously support order two automorphisms, leading to additional Steinberg groups {{}^2 D_n(q), {}^2 E_6(q)} when {q = \tilde q^2} is a perfect square. The {{}^2 D_n(q)} class can be interpreted as a class of projective special orthogonal groups, but the {{}^2 E_6(q)} family does not have a classical interpretation. A noteworthy special case is {D_4}, which is the unique Dynkin diagram that also supports an automorphism of order three, leading to the final class of Steinberg groups, the triality groups {{}^3 D_4(q)} when {q = \tilde q^3} is a perfect cube.

In large characteristic (five and higher), the Chevalley and Steinberg groups are (up to isomorphism) turn out to be the only way to generate finite simple groups of Lie type; one can experiment with other cocmbinations of automorphisms on Chevalley groups but they end up either giving the same groups up to isomorphism as the preceding constructions, or groups that are not simple (they do not obey the {(B,N)} axioms that one can use to easily test for simplicity). But in small characteristic, where the distinction between short and long roots can become blurred, there are additional Dynkin diagram automorphisms. Specifically, for the Dynkin diagrams {B_2=C_2} and {F_4} in perfect fields of characteristic two, there is a projective Dynkin diagram automorphism of order two that swaps the long and short roots, which induces a automorphism {\rho} of the Chevalley group which is order two modulo a Frobenius map (in that {\rho^2} is given by the Frobenius map {x \mapsto x^2}); see the text of Carter for the construction. If one combines this automorphism with a field automorphism {\tau: x \mapsto x^{\tilde q}} with {q} equal to {2\tilde q^2}, we obtain an order two automorphism {\sigma} that generates the families of Suzuki groups {{}^2 B_2(2^{2n+1})} and Ree groups {{}^2 F_4(2^{2n+1})}. Similarly, the Dynkin diagram {G_2} in perfect fields of characteristic three has an automorphism that swaps the short and long root, and if {q = 3 \tilde q^2} leads to the final class of Ree groups, {{}^3 G_2(3^{2n+1})}. In contrast to the Steinberg groups, the Suzuki-Ree groups cannot be easily viewed as algebraic groups over a suitable subfield; morally, one “wants” to view {{}^2 B_2(2^{2n+1})} and {{}^2 F_4(2^{2n+1})} as being algebraic over the field of {2^{n+1/2}} elements (and similarly view {{}^3 G_2(3^{2n+1})} as algebraic over the field of {3^{n+1/2}} elements), but such fields of course do not exist. (Despite superficial similarity, this issue appears unrelated to the “field with one element” discussed in Remark 3, although both phenomena do suggest that there is perhaps a useful generalisation of the concept of a field that is currently missing from modern mathematics.) One can also view the Steinberg and Suzuki-Ree groups {{}^d {\bf D}(q)} (collectively referred to as twisted groups of Lie type) as being “fractal” subgroups (modulo quotienting by the centre) of the associated Chevalley group {{\bf D}(q)}, of relative “fractal dimension” about {1/d}, with the former group lying in “general position” with respect to the latter in some algebraic geometry sense; for instance one could view {\hbox{PSU}_n({\bf F}_{q})} as a subgroup of {\hbox{PSL}_n({\bf F}_q)} of approximately “half the dimension”, and in general position in the sense that it does not lie in any (bounded complexity) algberaic subgroup of {\hbox{PSL}_n({\bf F}_q)}. This type of viewpoint was formalised quite profitably in this paper of Larsen and Pink (and is also used in a forthcoming paper of Breuillard, Green, Guralnick, and myself).

Remark 4 We have oversimplified slightly the definition of a twisted finite simple group of Lie type: in some cases the group {G({\bf F}_q)^\sigma} is not quite a simple group. As in the previous section, this can happen for very small groups (the Chevalley group examples {A_1(2), A_1(3)}, {B_2(2)}, {G_2(2)} mentioned earlier, but also {{}^2 A_2(4)}, {{}^2 B_2(2)}, {{}^2 G_2(3)}, and {{}^2 F_4(2)}). Another issue (which already arises in the Chevalley group case if one does not use the adjoint form) is that the fixed points {G({\bf F}_q)^\sigma} contain a non-trivial centre and are only a quasisimple group rather than a simple group. Usually one can quotient out by the centre (which will always be quite small) to recover the finite simple group, or work exclusively with adjoint forms which are automatically centreless. But there is one additional technicality that arises even in the adjoint form, which is that sometimes there are some extraneous fixed points of {\sigma} of {G({\bf F}_q)} that one does not actually want (for instance, they do not lie in the group generated by the natural analogues of the {B} and {N} groups in this setting, thus violating the {(B,N)}-axioms). So one sometimes has to restrict attention to a bounded index subgroup of {G({\bf F}_q)^\sigma}, such as the group {O^{p'}(G({\bf F}_q)^\sigma)} generated by those “unipotent” elements whose order is a power of the characteristic {p}; an alternative (and equivalent, except in very small cases) approach is to work with the derived group {[G({\bf F}_q)^\sigma,G({\bf F}_q)^\sigma]} of {G({\bf F}_q)^\sigma}, which turns out to kill off the extraneous elements (which are associated to another type of automorphism we did not previously discussed, namely the diagonal automorphisms). See the text of Gorenstein-Lyons-Solomon for a detailed treatment of these issues.