Last update: 11 July 2013
In this section we discuss the isomorphisms and automorphisms of Chevalley groups over perfect fields. This assumption of perfectness is not strictly necessary but it simplifies the discussion in one or two places. We begin by proving the existence of certain automorphisms related to the existence of symmetries of the underlying root systems.
Lemma 55: Let $\Sigma $ be an abstract indecomposable root system with not all roots of one length. Let ${\Sigma}^{*}=\{{\alpha}^{*}=2\alpha /(\alpha ,\alpha )\hspace{0.17em}\hspace{0.17em}\alpha \in \Sigma \}$ be the abstract system obtained by inversion. Then:
(a)  ${\Sigma}^{*}$ is a root system. 
(b)  Under the map $*$ long roots are mapped onto short roots and vice versa. Further, angles and simple systems of roots are preserved. 
(c)  If $p=({\alpha}_{0},{\alpha}_{0})/({\beta}_{0},{\beta}_{0})$ with ${\alpha}_{0}$ long, ${\beta}_{0}$ short then the map $$\alpha \to \{\begin{array}{cc}p{\alpha}^{*}& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is long,}\\ {\alpha}^{*}& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is short,}\end{array}$$ extends to a homothety. 
Proof.  
(a) holds since $\u27e8{\alpha}^{*},{\beta}^{*}\u27e9=\u27e8\beta ,\alpha \u27e9\text{.}$ (b) and (c) are clear. $\square $ 
The root system ${\Sigma}^{*}$ obtained in this way from $\Sigma $ is called the root system dual to $\Sigma \text{.}$
Exercise: Let $\alpha =\Sigma {n}_{i}{\alpha}_{i}$ be a root expressed in terms of the simple ones. Prove that $\alpha $ is long if and only if $p{n}_{i}$ whenever ${\alpha}_{i}$ is short.
Examples:
(a)  For $n\ge 3,$ ${B}_{n}$ and ${C}_{n}$ are dual to each other. ${B}_{2}$ and ${F}_{4}$ are in duality with themselves (with $p=2\text{)}$ as is ${G}_{2}$ (with $p=3\text{).}$ 
(b)  Let $\alpha ,\beta ,\alpha +\beta ,\alpha +2\beta $ be the positive roots for $\Sigma $ of type ${B}_{2}\text{.}$ Then those for ${\Sigma}^{*}$ are ${\alpha}^{*},$ ${\beta}^{*},$ and ${(\alpha +\beta )}^{*}=2{\alpha}^{*}+{\beta}^{*},$ If we identify ${\alpha}^{*}$ with $\beta $ and ${\beta}^{*}$ with $\alpha $ we get a map of ${B}_{2}$ onto itself. $\alpha \to \beta ,\beta \to \alpha ,\alpha +\beta \to \alpha +2\beta ,\alpha +2\beta \to \alpha +\beta \text{.}$ This is the map given by reflecting in the line $L$ in the diagram below $\text{(}L$ is the bisector of $\u27e8(\alpha ,\beta )\text{)}$ and adjusting lengths. 
Theorem 28: Let $\Sigma ,{\Sigma}^{*}$ and $p$ be as above, $k$ a field of characteristic $p$ $\text{(}p$ is either 2 or 3) , $G,$ ${G}^{*}$ universal Chevalley groups constructed from $(\Sigma ,k)$ and $({\Sigma}^{*},k)$ respectively. Then there exists a homomorphism $\phi $ of $G$ into ${G}^{*}$ and signs ${\epsilon}_{\alpha}$ for all $\alpha \in \Sigma $ such that
$$\phi \left({x}_{\alpha}\left(t\right)\right)=\{\begin{array}{cc}{x}_{\alpha}*\left({\epsilon}_{\alpha}t\right)& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is long,}\\ {x}_{\alpha}*\left({\epsilon}_{\alpha}{t}^{p}\right)& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is short.}\end{array}$$If $k$ is perfect then $\phi $ is an isomorphism of abstract groups.
Examples:
(a)  If $k$ is perfect of characteristic 2 then ${\text{Spin}}_{2n+1},$ ${SO}_{2n+1}$ (split forms), and ${Sp}_{2n}$ are isomorphic. 
(b)  Consider ${C}_{2},$ $p=2,$ ${\epsilon}_{\alpha}=1\text{.}$ The theorem asserts that on $U$ we have an endomorphism (as before we identify $\Sigma $ and ${\Sigma}^{*}\text{)}$ such that (1) $\phi \left({x}_{\alpha}\left(t\right)\right)={x}_{\beta}\left(t\right),\phi \left({x}_{\beta}\left(t\right)\right)={x}_{\alpha}\left({t}^{2}\right),$ \phi \left({x}_{\alpha +\beta}\left(t\right)\right)$={x}_{\alpha +2\beta}\left({t}^{2}\right),\phi \left({x}_{\alpha +2\beta}\left(t\right)\right)={x}_{\alpha +\beta}\left(t\right)\text{.}$ The only nontrivial relation of type (B) on $U$ is (2) $({x}_{\alpha}\left(t\right),{x}_{\beta}\left(u\right))={x}_{\alpha +\beta}\left(tu\right){x}_{\alpha +2\beta}\left(t{u}^{2}\right)$ by Lemma 33. Applying $\phi $ to (2) gives (3) $({x}_{\beta}\left(t\right),{x}_{\alpha}\left({u}^{2}\right))={x}_{\alpha +2\beta}\left({t}^{2}{u}^{2}\right){x}_{\alpha +\beta}\left(t{u}^{2}\right)\text{.}$ This is valid, since it can be obtained from (2) by taking inverses and replacing $t$ by ${u}^{2},$ $u$ by $t\text{.}$ 
(c)  The map $\phi $ in (b) is outer, for if we represent $G$ as ${Sp}_{4}$ and if $t\ne 0,$ ${x}_{\alpha}\left(t\right)1$ has rank 1 while ${x}_{\beta}\left(t\right)1$ has rank 2. 
(d)  If in (b) $\leftk\right=2,$ $\phi $ leads to an outer automorphism of ${S}_{6}$ since, in fact, ${Sp}_{4}\left(2\right)\cong {S}_{6}\text{.}$ To see this represent ${S}_{6}$ as the Weyl group of type ${A}_{5}\text{.}$ This fixes a bilinear form $$\left[\begin{array}{ccccc}2& 1& 0& 0& 0\\ 1& 2& 1& 0& 0\\ 0& 1& 2& 1& 0\\ 0& 0& 1& 2& 1\\ 0& 0& 0& 1& 2\end{array}\right]$$ relative to a basis of simple roots. This is so because, up to multiplication by a scalar, the form is just $\Sigma {x}_{i}{x}_{j}({\alpha}_{i},{\alpha}_{j})={\left\Sigma {x}_{i}{\alpha}_{i}\right}^{2}\text{.}$ Reduce mod 2. The line through ${\alpha}_{1}+{\alpha}_{3}+{\alpha}_{5}$ becomes invariant and the form becomes skew and nondegenerate on the quotient space. Hence we have a homomorphism $\psi :{S}_{6}\to {Sp}_{4}\left(2\right)\text{.}$ It is easily seen that $\text{ker}\hspace{0.17em}\psi \u2289{\alpha}_{6}$ so $\text{ker}\hspace{0.17em}\psi =1\text{.}$ Since $\left{S}_{6}\right=6!=720={2}^{4}({2}^{2}1)({2}^{4}1)=\left{Sp}_{4}\left(2\right)\right,$ $\psi $ is an isomorphism. 
${\psi}^{1}$ may be described as follows. ${Sp}_{4}\left(2\right)$ acts on the underlying projective space ${p}^{3}$ which contains 15 points. Given a point $p$ there are 8 points not orthogonal to $p\text{.}$ These split into two four point sets ${S}_{1},{S}_{2}$ such that each of $\left\{p\right\}\cup {S}_{1}$ and $\left\{p\right\}\cup {S}_{2}$ consists of mutually nonorthogonal points and these are the only five element sets containing $p$ with this property. There are $15\xb72/5=6$ such $5$ element sets. ${Sp}_{4}\left(2\right)$ acts faithfully by permutation on these $6$ sets, so ${Sp}_{4}\left(2\right)\to {S}_{6}$ is defined. Under the outer automorphism the stabilizers of points and lines are interchanged. Each of the above five point sets corresponds to a set of five mutually skew isotropic lines.
Proof of Theorem 28.  
If $p=2$ each ${\epsilon}_{\alpha}=1\text{.}$ We must show that $\phi $ as defined on the ${x}_{\alpha}\left(t\right)$ by the given equations preserves (A), (B), and (C). Here (A) and (C) follow at once. The nontrivial relations in (B) are: $$({x}_{\alpha}\left(t\right),{x}_{\beta}\left(u\right))=\{\begin{array}{cc}{x}_{\alpha +\beta}(\pm tu)& \text{if}\hspace{0.17em}\left\alpha \right=\left\beta \right\hspace{0.17em}\text{and}\hspace{0.17em}\u27e8(\alpha ,\beta )={120}^{\circ},\\ {x}_{\alpha +\beta}(\pm 2tu)& \text{if}\hspace{0.17em}\alpha ,\beta \hspace{0.17em}\text{are short, orthogonal, and}\hspace{0.17em}\alpha +\beta \in \Sigma ,\\ {x}_{\alpha +\beta}(\pm tu){x}_{\alpha +2\beta}(\pm t{u}^{2})& \text{if}\hspace{0.17em}\left\alpha \right>\left\beta \right\hspace{0.17em}\text{and}\hspace{0.17em}\u27e8(\alpha ,\beta )={135}^{\circ}\text{.}\end{array}$$(The last equation follows from Lemma 33. In the others the right hand side is of the form ${x}_{\alpha +\beta}\left({N}_{\alpha ,\beta}tu\right)\text{.)}$ If $p=2$ the second equation can be omitted and there are no ambiguities in sign. Because of the calculations in Example (b) above $\phi $ preserves these relations. Thus $\phi $ extends to a homomorphism. There remains only the case ${G}_{2},p=3\text{.}$ The proof in that case depends on a sequence of lemmas. Lemma 56: Let $G$ be a Chevalley group. Let $\alpha ,\beta $ be distinct simple roots, $n$ the order of ${w}_{\alpha}{w}_{\beta}$ in $W,$ so that ${w}_{\alpha}{w}_{\beta}{w}_{\alpha}\dots ={w}_{\beta}{w}_{\alpha}{w}_{\beta}\dots $ $\text{(}n$ factors on each side) in $W\text{.}$ Then:
Lemma 57: If $a,b$ are elements of an associative algebra over a field of characteristic $0,$ if both commute with $[a,b]$ and if exp makes sense then $\text{exp}(a+b)=\text{exp}\hspace{0.17em}a\hspace{0.17em}\text{exp}\hspace{0.17em}b\hspace{0.17em}\text{exp}([a,b]/2)\text{.}$
Now assume $G$ is a Chevalley group of type ${G}_{2}$ over a field of characteristic 0, and that the corresponding root system is as shown. $$\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\alpha \n\alpha +\beta \n2\alpha +3\beta \n\alpha +2\beta \n\alpha +3\beta \n\beta \n\n$$(1) Let $y={w}_{\alpha}\left(1\right){w}_{\beta}\left(1\right)$ be an element of $G$ corresponding to $w={w}_{\alpha}{w}_{\beta}$ (rotation through ${60}^{\circ}$ (clockwise)). Then the Chevalley basis of $\mathcal{L}$ can be adjusted by sign changes so that $y{X}_{\gamma}={X}_{w\gamma}$ for all $\gamma \text{.}$
(2)
(3) If (1) and (2) hold then
(4)
We now complete the proof of Theorem 28. The only remaining case of the first statement is $G$ of type ${G}_{2},p=3\text{.}$ If $G={G}^{*}$ this follows from (4) above. In fact, whether $G={G}^{*}$ or not is immaterial because $(*)$ a universal Chevalley group is determined by $\Sigma $ and $k$ independently of $\mathcal{L}$ or the Chevalley basis of $\mathcal{L}\text{.}$ $(*)$ follows from Theorem 29 below. $\square $ 
Assume now that $k$ is perfect. Then $\phi $ maps one set of generators one to one onto the other so that ${\phi}^{1}$ exists on the generators. Since $\phi $ preserves (A), (B), and (C) so does ${\phi}^{1}\text{.}$ Hence ${\phi}^{1}$ exists on ${G}^{*},$ i.e. $\phi $ is an isomorphism.
Remark: If $k$ is not perfect, and $\phi :G\to G,$ then $\phi G$ is the subgroup of $G$ in which ${\U0001d51b}_{\alpha}$ is paramaterized by $k$ if $\alpha $ is long, by ${k}^{p}$ if $\alpha $ is short. Here ${k}^{p}$ can be replaced by any field between ${k}^{p}$ and $k$ to yield a rather weird simple group.
Theorem 29: Let $G$ and $G\prime $ be Chevalley groups constructed from $\text{(}\mathcal{L},\mathcal{B}=\{{X}_{\alpha},{H}_{\alpha}\hspace{0.17em}\hspace{0.17em}\alpha \in \Sigma \},L,k\text{)}$ and $\text{(}\mathcal{L}\prime ,$ \mathcal{B}\prime $=\{{X}_{\alpha}\prime ,{H}_{\alpha}\prime \hspace{0.17em}\hspace{0.17em}\alpha \prime \in \Sigma \prime \},$ L\prime ,$k\text{),}$ respectively. Assume that there exists an isomorphism of $\Sigma $ onto $\Sigma \prime $ taking $\alpha \to \alpha \prime $ such that $L$ maps onto $L\prime \text{.}$ Then there exists an isomorphism $\phi :G\to G\prime $ and signs ${\epsilon}_{\alpha}$ $(\alpha \in \Sigma )$ such that $\phi {x}_{\alpha}\left(t\right)={x}_{\alpha}\prime \left({\epsilon}_{\alpha}t\right)$ for all $\alpha \in \Sigma ,$ $t\in k\text{.}$ Furthermore we may take ${e}_{\alpha}=+1$ if $\alpha $ or $\alpha $ is simple.
Proof.  
By the uniqueness theorem for Lie algebras with a given root system there exists an isomorphism $\psi :\mathcal{L}\to \mathcal{L}\prime $ such that $\psi {X}_{\alpha}={\epsilon}_{\alpha}{X}_{\alpha \prime},$ $\psi {H}_{\alpha}={H}_{\alpha \prime}$ with ${\epsilon}_{\alpha}\epsilon $ base field for $\mathcal{L}$ (of characteristic, 0) and ${\epsilon}_{\alpha}=1$ if $\alpha $ or $\alpha $ is simple. (For this see, e.g. Jacobson, Lie Algebras.) By Theorem 1, ${N}_{\alpha ,\beta}=\pm (r+1)={N}_{\alpha \prime ,\beta \prime}\text{.}$ By induction on heights every ${\epsilon}_{\alpha}=\pm 1\text{.}$ Let $\rho $ be a faithful representation of $\mathcal{L}\prime $ used to construct $G\prime \text{.}$ Then $\rho \circ \psi $ is a representation of $\mathcal{L}$ which can be used to construct $G\text{.}$ Then ${x}_{\alpha}\left(t\right)={x}_{\alpha \prime}\left({\epsilon}_{\alpha}\left(t\right)\right),$ so that $\phi =\text{id.}$ meets our requirements. $\square $ 
Remarks:
(a)  Suppose $k$ is infinite and we try to prove Theorem 28 with ${t}^{p}$ replaced by $t\text{.}$ Then we must fail. For then the transpose of $\phi H,$ mapping characters on ${H}^{*}$ to those on $H,$ maps ${\Sigma}^{*}$ onto $\Sigma $ in the inversional manner of Lemma 55, hence can not be a homomorphism. This explains the relative treatment of long and short roots. 
(b)  If $k$ is algebraically closed and we view $G$ and ${G}^{*}$ as algebraic groups then $\phi $ is a homomorphism of algebraic groups and an isomorphism of abstract groups, but not an isomorphism of algebraic groups (for taking ${p}^{\text{th}}$ roots (which is necessary for the inverse map) is not a rational operation). 
(c)  For type ${G}_{2},$ characteristic $k=3$ (a similar result holds for ${C}_{2}$ and ${F}_{4},$ characteristic $k=2\text{),}$ in ${\mathcal{L}}^{k}$ there is an endomorphism $d\phi $ such that $$d\phi :{X}_{\alpha}\to \{\begin{array}{cc}{X}_{r\alpha}& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is long}\\ 3{X}_{r\alpha}=0& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is short.}\end{array}$$ Thus $\mathcal{L}\stackrel{d\phi}{\to}{\mathcal{L}}_{\text{short}}\stackrel{d\phi}{\to}0$ is exact, where ${\mathcal{L}}_{\text{short}}$ is the $7\text{dimensional}$ ideal spanned by all ${X}_{\gamma}$ and ${H}_{\gamma}$ for $\gamma $ short. This leads to an alternate proof of the existence of $\phi \text{.}$ 
Corollary:
(a) 
Let $\Sigma $ be an indecomposable root system, $\sigma $ an angle preserving permutation of
the simple roots, $\sigma \ne 1\text{.}$ If all roots are equal in length then $\sigma $
extends to an automorphism of $\Sigma \text{.}$ If not, and if $p$ is defined
as above, then $\sigma $ must interchange long and short roots and $\sigma $ extends to a permutation
$\sigma $ of all roots which also interchanges long and short roots and is such that the map
$a\to \sigma \alpha $ if $\alpha $ is long,
$a\to p\sigma \alpha $ if $\alpha $ is short is an isomorphism
of root systems. The possibilities for $\sigma $ are:


(b)  Let $k$ be a field and $G$ a Chevalley group constructed from $(\Sigma ,k)\text{.}$ Let $\sigma $ be as in (a). If two root lengths occur assume $k$ is perfect of characteristic $p\text{.}$ If $G$ is of type ${D}_{2n},$ and characteristic $k\ne 2,$ assume $\sigma L=L\text{.}$ Then there exists an automorphism $\phi $ of $G$ and signs ${\epsilon}_{\alpha}$ $\text{(}{\epsilon}_{\alpha}=1$ if $\alpha $ or $\alpha $ is simple) such that $$\phi {x}_{\alpha}\left(t\right)=\{\begin{array}{cc}{x}_{\sigma \alpha}\left({\epsilon}_{\alpha}t\right)& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is long or all roots are of one length,}\\ {x}_{\sigma \alpha}\left({\epsilon}_{\alpha}{t}^{p}\right)& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is short.}\end{array}$$ 
Proof.  
(a) is clear. (b) If $G$ is universal the existence of $\phi $ follows from Theorems 23 and 29. If $G$ is not universal let $\pi :G\prime \to G$ be the universal covering. To show that $\phi $ can be dropped from $G\prime $ to $G$ it is necessary to show that $\phi $ $\text{ker}\hspace{0.17em}\pi \subseteq \text{ker}\hspace{0.17em}\pi \text{.}$ Now $\text{ker}\hspace{0.17em}\pi \subseteq $ center $G\prime $ and unless $G$ is of type ${D}_{2n}$ with characteristic $k\ne 2$ the center of $G\prime $ is cyclic, so the result follows. Now suppose $G$ is of type ${D}_{2n}$ and characteristic $k\ne 2\text{.}$ If $C\prime =$ center of $G\prime ,$ then $C\prime $ is canonically isomorphic to $\text{Hom}({L}_{1}/{L}_{0},{k}^{*})={({L}_{1}/{L}_{0})}^{*},$ giving a correspondence between subgroups $C$ of $C\prime $ and lattices $L$ between ${L}_{0}$ and ${L}_{1}$ such that $\phi C\subseteq C$ if and only if $\sigma L\subseteq L\text{.}$ Since $\text{ker}\hspace{0.17em}\pi $ corresponds to $L$ and $\sigma L=L,$ the result follows. $\square $ 
Remark: The preceeding argument $\text{shows/}\stackrel{\text{that}}{\text{for}}$ ${D}_{2n}$ in characteristic $k\ne 2$ an automorphism of $G$ fixing $H$ and permuting the ${\U0001d51b}_{\alpha}\text{'s}$ according to $\sigma $ can exist only if $\sigma L=L\text{.}$
Remark: Automorphisms of $G$ of this type as well as the identity are called graph automorphisms.
Exericse:
(a)  Prove $\phi $ above is outer. 
(b)  By imbedding ${A}_{2}$ in ${G}_{2}$ as the subgroup generated by all ${\U0001d51b}_{\alpha}$ such that $\alpha $ is long, show that its graph automorphisms can be realized by inner automorphisms of ${G}_{2}\text{.}$ Similarly for ${D}_{4}$ in ${F}_{4},{D}_{n}$ in ${B}_{n},$ and ${E}_{6}$ in ${E}_{7}\text{.}$ 
Lemma 58: Let $G$ be a Chevalley group over $k,$ ${f}_{\alpha}\in {k}^{*}$ for all simple $\alpha \text{.}$ Let $f$ be extended to a homomorphism of ${L}_{0}$ into ${k}^{*}\text{.}$ Then there exists a unique automorphism $\phi $ of $G$ such that $\phi {x}_{\alpha}\left(t\right)={x}_{\alpha}\left({f}_{\alpha}t\right)$ for all $\alpha \in \Sigma \text{.}$
Proof.  
Consider the relations (B), $({x}_{\alpha}\left(t\right),{x}_{\beta}\left(u\right))=\prod {x}_{i\alpha +j\beta}\left({c}_{ij}{t}^{i}{u}^{j}\right)\text{.}$ Applying $\phi $ we get the same thing with $t$ replaced by ${f}_{\alpha}t,u$ replaced by ${f}_{\beta}u$ (for ${f}_{i\alpha +j\beta}={f}_{\alpha}^{i}{f}_{\beta}^{j}\text{).}$ The relations (A) and (C) are clearly preserved. The uniqueness is clear. $\square $ 
Remark: Automorphisms of this type are called diagonal automorphisms.
Exercise: Prove that every diagonal automorphism of $G$ can be realized by conjugation of $G$ in $G\left(\stackrel{\u203e}{k}\right)$ by an element in $H\left(\stackrel{\u203e}{k}\right)\text{.}$
Example: Conjugate ${SL}_{n}$ by a diagonal element of ${GL}_{n}\text{.}$
If $G$ is realized as a group of matrices and $\gamma $ is an automorphism of $k$ then the map $\gamma :{x}_{\alpha}\left(t\right)\to {x}_{\alpha}\left({t}^{\gamma}\right)$ on generators extends to an automorphism of $G\text{.}$ Such an automorphism is called a field automorphism.
Theorem 30: Let $G$ be a Chevalley group such that $\Sigma $ is indecomposable and $k$ is perfect. Then any automorphism of $G$ can be expressed as the product of an inner, a diagonal, a graph and a field automorphism.
Proof.  
Let $\sigma $ be any automorphism of $G\text{.}$ (1) The automorphism $\sigma $ can be normalized by multiplication by an inner automorphism so that $\sigma U=U,$ $\sigma {U}^{}={U}^{}\text{.}$ If this is done then $\sigma H=H$ and there exists a permutation $\rho $ of the simple roots such that $\sigma {\U0001d51b}_{\alpha}={\U0001d51b}_{\rho \alpha}$ and $\sigma {\U0001d51b}_{\alpha}={\U0001d51b}_{\rho \alpha}$ for all simple $\alpha \text{.}$
(2) The automorphism $\sigma $ can be further normalized by a diagonal automorphism so that $\sigma {x}_{\alpha}\left(1\right)={x}_{\rho \alpha}\left(1\right)$ for all simple $\alpha \text{.}$ It is then true that $\sigma {x}_{\alpha}\left(1\right)={x}_{\rho \alpha}\left(1\right)$ and $\sigma {w}_{\alpha}\left(1\right)={w}_{\rho \alpha}\left(1\right)\text{.}$ Further $\rho $ preserves angles. In the proof of (2) we use: Lemma 59: Let $\alpha $ be a root, $t\in {k}^{*},$ $u\in k\text{.}$ Then ${x}_{\alpha}\left(t\right){x}_{\alpha}\left(u\right){x}_{\alpha}\left(t\right)={x}_{\alpha}\left(u\right){x}_{\alpha}\left(t\right){x}_{\alpha}\left(u\right)$ if and only if $u={t}^{1},$ in which case both sides equal ${w}_{\alpha}\left(t\right)\text{.}$
(3) $\sigma $ can be further normalized by a graph automorphism so that $\rho =1\text{.}$
(4) $\sigma $ can now be normalized by a field automorphism so that $\sigma =1$ (i.e. if $\sigma $ satisfies $\sigma U=U,\sigma {U}^{}={U}^{},\sigma {x}_{\alpha}\left(1\right)={x}_{\alpha}\left(1\right)$ for all simple roots $\alpha $ then $\sigma $ is a field automorphism).
We now assume $k$ is infinite and consider the normalization $\sigma U=U$ of (1). (5) Assume that $k$ is infinite, that $A$ and $M$ are its additive and multiplicative groups, that ${A}_{0}$ and ${M}_{0}$ are infinite subgroups such that $A/{A}_{0}$ is finite and $M/{M}_{0}$ is a torsion group. If ${M}_{0}{A}_{0}\subseteq {A}_{0}$ then ${A}_{0}=A\text{.}$
(6) If $B,U$ are as usual, $k$ is infinite and ${B}_{0}$ is a subgroup of finite index in $B,$ then $\mathcal{D}{B}_{0}=U\text{.}$
(7) If $A$ is a connected solvable algebraic group then $\mathcal{D}A$ is a connected unipotent group. This follows from: Theorem (LieKolchin): Every connected solvable algebraic group $A$ is reducible to superdiagonal form.
An algebraic variety is complete if whenever it is imbedded densely in another variety it is the entire variety. (For a more exact definition see Mumford, Algebraic Geometry). Examples: The affine line is not complete. It can be imbedded in the projective line. The following are complete:
We now state, without proof, two results about connected algebraic groups acting on complete varieties. (8) Borel's Theorem: A connected solvable algebraic group acting on a complete variety fixes some point. This is an extension of the LieKolchin theorem, which may be restated: every connected solvable algebraic group fixes some flag on the underlying space. We need a refinement of a special case of it. Theorem: (Rosenlicht, Annali, 1957.) If $A$ is a connected unipotent group acting on a complete variety $V,$ if everything is defined over a perfect field $k,$ and if $V$ contains a point over $k,$ then it contains one fixed by $A\text{.}$ Notation: Let $G$ be a Chevalley group over an infinite field $k,$ $\stackrel{\u203e}{k}$ the algebraic closure of $k,$ $\stackrel{\u203e}{G},$ $\stackrel{\u203e}{B}$ constructed over $\stackrel{\u203e}{k},$ and ${\stackrel{\u203e}{G}}_{k}$ the set of elements in $\stackrel{\u203e}{G}$ whose coordinates lie in $k\text{.}$ (9) The map ${\stackrel{\u203e}{G}}_{k}\to {(\stackrel{\u203e}{B}\backslash \stackrel{\u203e}{G})}_{k}$ is onto.
(10) ${\stackrel{\u203e}{G}}_{k}={\stackrel{\u203e}{H}}_{k}G$
(11) If $A$ is a connected unipotent subgroup of $\stackrel{\u203e}{G}$ defined over $k,$ it is $G\text{\xe2\u20ac\u201dconjugate}$ to a subgroup of $\stackrel{\u203e}{U}\text{.}$
(12) If $k$ is infinite and perfect, the normalization $\sigma U=U$ of (1) can be attained.
$\square $ 
Corollary: If $k$ is finite $\text{Aut}\hspace{0.17em}G/\text{Int}\hspace{0.17em}G$ is solvable.
Exercise: Let $D$ be the group of diagonal automorphisms modulo those which are inner. Prove:
(a)  $D\cong \text{Hom}({L}_{0},{k}^{*})/\left\{\text{Homomorphisms extendable to}\hspace{0.17em}{L}_{1}\right\}\cong \prod {k}^{*}/{{k}^{*}}^{{e}_{i}}$ where the ${e}_{i}$ are the elementary divisors of ${L}_{1}/{L}_{0}\text{.}$ 
(b)  If $k$ is finite, $D\cong C,$ the center of the corresponding universal group. 
(c)  $D=1$ if $k$ is algebraically closed or if all ${e}_{i}=1\text{.}$ 
Examples:
(a)  ${SL}_{n}\text{.}$ Every automorphism can be realized by a semilinear mapping of the underlying space composed with either the identify or the inverse transpose. I.e., every automorphism is induced by a collineation or a correlation of the underlying projective space. 
(b)  Over $\mathbb{R}$ or $\mathbb{Q}$ every automorphism of ${E}_{8},$ ${F}_{4},$ or ${G}_{2}$ is inner. 
(c)  The triality automorphism $$\n\n \n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n$$ exists for ${\text{Spin}}_{8}$ and ${PSO}_{8},$ but not for ${SO}_{8}$ if characteristic $k\ne 2\text{.}$ 
(d)  Aside from triality every automorphism of ${SO}_{n}$ or ${PSO}_{n}$ (split form) is induced by a collineation of the underlying projective space $P$ which fixes the basic quadric $Q:\Sigma {x}_{i}{x}_{n+1i}=0\text{.}$ If $n$ is even, there exist two families of $(n2)/2$ dimensional subspaces of $P$ entirely within $Q$ (e.g., if $n=4$ the two families of lines in the quadric surface ${x}_{1}{x}_{4}+{x}_{2}{x}_{3}=0\text{).}$ The graph automorphism occurs because these two families can be interchanged. 
Theorem 31: Let $G,G\prime $ be Chevalley groups relative to $(\Sigma ,k),$ $(\Sigma \prime ,k\prime )$ with $\Sigma ,\Sigma \prime $ indecomposable, $k,k\prime $ perfect. Assume $G$ and $G\prime $ are isomorphic. If $k$ is finite, assume also characteristic $k=$ characteristic $k\prime \text{.}$ Then $k$ is isomorphic to $k\prime ,$ and either $\Sigma $ is isomorphic to $\Sigma \prime $ or else $\Sigma ,\Sigma \prime $ are of type ${B}_{n},{C}_{n}$ $(n\ge 3)$ and characteristic $k=$ characteristic $k\prime =2\text{.}$
Proof.  
As in (1) and (2) of the proof of Theorem 30 we can normalize $\sigma $ so that $\sigma U=U\prime ,$ $\sigma {x}_{\alpha}\left(1\right)={x}_{\rho \alpha}\left(1\right),$ where now $\rho $ is an angle preserving map of $\Sigma $ onto $\Sigma \prime \text{.}$ Hence $\Sigma \cong \Sigma \prime $ or else $\Sigma ,\Sigma \prime $ are ${B}_{n},{C}_{n}$ $(n\ge 3)\text{.}$ As in (3) characteristic $k=$ characteristic $k\prime =2$ in the second case. As in (4) $k\cong k\prime \text{.}$ $\square $ 
Corollary: Over a field of characteristic $\ne 2$ the Chevalley groups of type ${B}_{n},{C}_{n}$ $(n\ge 3)$ are not isomorphic.
$*$ Exercise: If rank $\Sigma ,$ rank $\Sigma \prime \ge 2$ then the assumption characteristic $k=$ characteristic $k\prime $ can be dropped in Theorem 31. (Hint: if $p=$ characteristic $k$ and rank $\Sigma \ge 2$ then $p$ makes the largest prime power contribution to $\leftG\right\text{.}$ If you get stuck see Artin, Comm. Pure and Appl. Math., 1955). (There are exceptions in case rank $\Sigma ,$ rank $\Sigma \prime \ge 2$ fails, e.g., ${SL}_{2}\left(4\right)\cong {PSL}_{2}\left(5\right),{SL}_{3}\left(2\right)\cong {PSL}_{2}\left(7\right)\text{.)}$
This is a typed excerpt of Lectures on Chevalley groups by Robert Steinberg, Yale University, 1967. Notes prepared by John Faulkner and Robert Wilson. This work was partially supported by Contract AROD33682303143033.