Last update: 1 August 2013
The significance of the results so far to the theory of semisimple algebraic groups will now be indicated.
Let $k$ be an algebraically closed field. A subset $V\subseteq {k}^{n}$ is said to be algebraic if there exists a subset $\mathcal{P}\subseteq k[{x}_{1},\dots ,{x}_{n}]$ such that $V=\{v=({v}_{1},\dots ,{v}_{n})\in {k}^{n}\hspace{0.17em}\hspace{0.17em}p({v}_{1},\dots ,{v}_{n})=0$ for all $p\in \mathcal{P}\}\text{.}$ The algebraic subsets of ${k}^{n}$ are the closed sets of the Zariski topology on ${k}^{n}\text{.}$ For $V\subseteq {k}^{n}$ set ${I}_{k}\left(V\right)=\{p\in k[{x}_{1},\dots ,{x}_{n}]\hspace{0.17em}\hspace{0.17em}p({v}_{1},\dots ,{v}_{n})=0$ for all $({v}_{1},\dots ,{v}_{n})\in V\}\text{.}$
Let $r={n}^{2}+1\text{.}$ Define $D\left(x\right)\in {k[{x}_{0};{x}_{ij}]}_{1\le i,j\le n}$ by $D\left(x\right)=1{x}_{0}$ $\text{det}\left({x}_{ij}\right)\text{.}$ Then ${GL}_{n}\left(k\right)=\{v\in {k}^{r}\hspace{0.17em}\hspace{0.17em}D\left(v\right)=0\}$ is an algebraic subset of ${k}^{r}\text{.}$ $G$ is a matric algebraic group if $G$ is a subgroup of ${GL}_{n}\left(k\right)$ for some $n$ and some algebraically closed field $k,$ and $G$ is an algebraic subset of ${k}^{{n}^{2}+1}\text{.}$ If ${k}_{0}$ is a subfield of $k,$ $G$ is defined over ${k}_{0}$ if ${I}_{k}\left(G\right)$ has a basis of polynomials with coefficients in ${k}_{0}\text{.}$
Examples:
(a)  ${SL}_{n}\left(k\right),$ 
(b)  Superdiagonal subgroup, 
(c)  Diagonal subgroup, 
(d)  $\left\{\left[\begin{array}{cc}1& t\\ 0& 1\end{array}\right]\right\}={G}_{a}=\text{additive group,}$ 
(e)  $\left\{\left[\begin{array}{cc}t& 0\\ 0& {t}^{1}\end{array}\right]\right\}={G}_{m}=\text{multiplicative group,}$ 
(f)  ${Sp}_{2n},$ 
(g)  ${SO}_{n},$ 
(h)  any finite subgroup. 
A map of algebraic groups $\phi :G\to H$ is a homomorphism if it is a group homomorphism and each of the matric coefficients $\phi {\left(g\right)}_{ij}$ is a rational function of the ${g}_{ij}\text{.}$ A homomorphism $\phi :G\to H$ is an isomorphism if there exists a homomorphism $\psi :H\to G$ such that $\phi \psi ={\text{id}}_{H}$ and $\psi \phi ={\text{id}}_{G}\text{.}$ A homomorphism $\phi :G\to H$ is defined over ${k}_{0}$ if each of the rational functions above has its coefficients in ${k}_{0}\text{.}$
Except for the last assertion, the following results are proved in Séminaire Chevalley (19568), Exposé 3.
(i) 
Let $G$ be a matric algebraic group. Then the following are equivalent:


(ii)  The image of an algebraic group under a rational homomorphism is algebraic.  
(iii)  A group generated by connected algebraic subgroups is algebraic and connected (e.g. (a)  (g) are connected). It is defined over the perfect field ${k}_{0}$ if each of the subgroups is. 
If $G$ is an algebraic group, the radical of $G$ $\left(\text{rad}\hspace{0.17em}G\right)$ is the maximal connected solvable normal subgroup. $G$ is semisimple if (1) $\text{rad}\hspace{0.17em}G=\left\{1\right\}$ and (2) $G$ is connected.
Example: $\left\{\left[\begin{array}{cccc}1& *& \dots & *\\ 0\\ \vdots & & A\\ 0\end{array}\right]\hspace{0.17em}\right\hspace{0.17em}A\in {SL}_{n1}\}$ has radical $\left\{\left[\begin{array}{cccc}1& *& \dots & *\\ & \ddots \\ & & \ddots \\ 0& & & 1\end{array}\right]\right\}$
For the remainder of this section we assume that $k$ is algebraically closed, ${k}_{0}$ is the prime field, $G$ is a Chevalley group based on $k$ and $M$ the lattice. (Since a change of basis in $M$ is given by polynomials with integral coefficients we may speak of a basis over $M\text{.)}$
Theorem 6: With the preceding notations:
(a)  $G$ is a semisimple algebraic group relative to $M\text{.}$ 
(b)  $B$ is a maximal connected solvable subgroup (Borel subgroup). 
(c)  $H$ is a maximal connected diagonalizable subgroup (maximal torus). 
(d)  $N$ is the normalizer of $H$ and $N/H\cong W\text{.}$ 
(e)  $G,B,$ H,$$ and $N$ are all defined over ${k}_{0}$ relative to $M\text{.}$ 
Remark: $B$ and $H$ are determined by the abstract group $G\text{:}$
(a)  $B$ is maximal solvable and has no subgroups of finite index. 
(b)  $H$ is maximal nilpotent and every subgroup of finite index is of finite index in its normalizer. 
Proof of Theorem 6.  
(a) $\text{Map}\hspace{0.17em}{G}_{a}\to {\U0001d51b}_{\alpha}$ by ${x}_{\alpha}:t\to {x}_{\alpha}\left(t\right)\text{.}$ This is a rational homomorphism. So since ${G}_{a}$ is a connected algebraic group so is ${\U0001d51b}_{\alpha}\text{.}$ Hence $G$ is algebraic and connected. Let $R=\text{rad}\hspace{0.17em}G\text{.}$ Since $R$ is solvable and normal it is finite by the Corollary to Theorem 5. Since $R$ is also connected $R=1,$ and hence $G$ is semisimple. (b and c) $H$ is the image of ${G}_{m}^{\ell}$ under $({t}_{1},\dots ,{t}_{\ell})\to \underset{i=1}{\overset{\ell}{\Pi}}{h}_{i}\left({t}_{i}\right)$ and hence is algebraic and connected; so $B=UH$ is connected, algebraic, and solvable. Let ${G}_{1}\u2accB\text{.}$ Then ${G}_{1}\supseteq B{w}_{\alpha}B$ (some simple root $\alpha \text{)},$ so ${G}_{1}\supseteq \u27e8{\U0001d51b}_{\alpha},{\U0001d51b}_{\alpha}\u27e9,$ and hence by Corollary 6 of Theorem 4' ${G}_{1}$ is not solvable and hence (b) holds. $H$ is a maximal connected diagonalizable subgroup of $B$ (for any larger subgroup must intersect $U$ nontrivially). Hence $H$ is a maximal connected diagonalizable subgroup of $G$ (by a theorem in Chevalley's Séminaire); so (c) holds. (d) is clear. To prove (e) it suffices by (iii) to prove: $\square $ 
Lemma 34: Let ${\U0001d51b}_{\alpha}=\left\{{x}_{\alpha}\left(t\right)\hspace{0.17em}\right\hspace{0.17em}t\in k\}$ and ${\U0001d525}_{\alpha}=\left\{{h}_{\alpha}\left(t\right)\hspace{0.17em}\right\hspace{0.17em}t\in {k}^{*}\}\text{.}$ Then:
(a)  ${\U0001d51b}_{\alpha}$ is defined over ${k}_{0}$ and ${x}_{\alpha}:{G}_{a}\to {\U0001d51b}_{\alpha}$ is an isomorphism over ${k}_{0}\text{.}$ 
(b)  ${\U0001d525}_{\alpha}$ is defined over ${k}_{0}$ and ${h}_{\alpha}:{G}_{m}\to {\U0001d525}_{\alpha}$ is a homomorphism over ${k}_{0}\text{.}$ 
Proof.  
Let $\left\{{v}_{i}\right\}$ be a basis of $M$ formed of weight vectors. Choose ${v}_{i}$ so that ${X}_{\alpha}{v}_{i}\ne 0,$ then write ${X}_{\alpha}{c}_{i}=\Sigma {c}_{ij}{v}_{j},$ and choose ${v}_{j}$ so that ${c}_{ij}\ne 0\text{.}$ If ${v}_{i}$ is of weight $\mu ,$ then ${v}_{j}$ is of weight $\mu +\alpha \text{.}$ Since ${x}_{\alpha}\left(t\right)=1+t{X}_{\alpha}+{t}^{2}{X}_{\alpha}^{2}/2+\dots $ it follows that if ${a}_{ij}$ is the $(i,j)$ matric coordinate $(i\ne j)$ function then ${a}_{ij}\left({x}_{\alpha}\left(t\right)\right)={c}_{ij}t\text{.}$ All other coefficients of ${x}_{\alpha}\left(t\right)$ are polynomials over ${k}_{0}$ in $t,$ hence also in ${a}_{ij}\text{.}$ This set of polynomial relations defines ${\U0001d51b}_{\alpha}$ as a group over ${k}_{0}\text{.}$ Now $\frac{1}{{c}_{ij}}{a}_{ij}:{x}_{\alpha}\left(t\right)\to t$ is an inverse of ${x}_{a},$ so the map ${x}_{\alpha}$ is an isomorphism over ${k}_{0}\text{.}$ The proof of (b) is left as an excercise. $\square $ 
We can recover the lattices ${L}_{0}$ and $L$ from the group $G$ as follows. Let $\mu \in L\text{.}$ Define $\stackrel{\u02c6}{\mu}:H\to {G}_{m}$ by $\stackrel{\u02c6}{\mu}\left(\Pi {h}_{i}\left({t}_{i}\right)\right)=\Pi {t}_{i}^{\mu \left({H}_{i}\right)}\text{.}$ This is a character defined over ${k}_{0}\text{.}$ $\left\{\stackrel{\u02c6}{\mu}\right\}$ generates a lattice $\stackrel{\u02c6}{L},$ the character group of $H\text{.}$ The ${\U0001d51b}_{\alpha}\text{'s}$ are determined by $H$ as the unique minimal unipotent subgroups normalized by $H\text{.}$ If $h=\Pi {h}_{i}\left({t}_{i}\right)$ then $h{x}_{\alpha}\left(t\right){h}^{1}={x}_{\alpha}\left(\stackrel{\u02c6}{\alpha}\left(h\right)t\right)$ where $\stackrel{\u02c6}{\alpha}\left(h\right)=\Pi {t}_{i}^{\alpha \left({H}_{i}\right)}\text{.}$ $\stackrel{\u02c6}{\alpha}$ is called a global root. Define ${\stackrel{\u02c6}{L}}_{0}=$ the lattice generated by all $\stackrel{\u02c6}{\alpha}\text{.}$ Then ${\stackrel{\u02c6}{L}}_{0}\subset \stackrel{\u02c6}{L}\text{.}$
Exercise: There exists a $W\text{isomorphism:}$ $L\to \stackrel{\u02c6}{L}$ such that ${L}_{0}\to {\stackrel{\u02c6}{L}}_{0},$ $\mu \to \stackrel{\u02c6}{\mu},$ and $\alpha \to \stackrel{\u02c6}{\alpha}\text{.}$ (The action of $W$ on $\stackrel{\u02c6}{L}$ is given by the action of $N/H$ on the character group).
We summarize our results in:
Existence Theorem: Given a root system $\Sigma ,$ a lattice $L$ with ${L}_{0}\subset L\subset {L}_{1}$ (where ${L}_{0}$ and ${L}_{1}$ are the root and weight lattices, respectively), and an algebraically closed field $k,$ then there exists a semisimple algebraic group $G$ defined over $k$ such that ${L}_{0}$ and $L$ are realized as the lattices of global roots and characters, respectively, relative to a maximal torus. Furthermore $G,{\U0001d51b}_{\alpha},\dots $ can be taken over the prime field.
The classification theorem, that up to $k\text{isomorphism}$ every semisimple algebraic group over $k$ has been obtained above, is much more difficult, (See Séminair Chevalley, 19568).
We recall that ${\mathscr{H}}_{\mathbb{Z}}=\mathscr{H}\cap {\mathcal{L}}_{\mathbb{Z}}=\{H\in \mathscr{H}\hspace{0.17em}\hspace{0.17em}\mu \left(H\right)\in \mathbb{Z}\hspace{0.17em}\text{for all}\hspace{0.17em}\mu \in L\}\text{.}$
Lemma 35: Let $k$ be algebraically closed, $G$ a Chevalley group over $k,{H}_{1}^{\prime},\dots ,{H}_{\ell}^{\prime}$ a basis for ${\mathscr{H}}_{\mathbb{Z}}\text{.}$ Define ${h}_{i}^{\prime}$ by ${h}_{i}^{\prime}\left(v\right)={t}^{\mu \left({H}_{i}^{\prime}\right)}v$ for $v\in {V}_{\mu}\text{.}$ Then the map $\phi :{G}_{m}^{\ell}\to H$ given by $({t}_{1}^{\prime},\dots ,{t}_{\ell}^{\prime})\to \underset{j=1}{\overset{\ell}{\Pi}}{h}_{j}^{\prime}\left({t}_{j}^{\prime}\right)$ is an isomorphism over ${k}_{0}$ of algebraic groups.
Proof.  
Write ${H}_{i}=\Sigma {n}_{ij}{H}_{j}^{\prime},$ ${n}_{ij}\in \mathbb{Z}\text{.}$ Given $\left\{{t}_{j}^{\prime}\right\}$ we can find $\left\{{t}_{i}\right\}$ such that ${t}_{j}^{\prime}=\underset{i}{\Pi}{t}_{i}^{{n}_{ij}}$ (for $\text{det}\left({n}_{ij}\right)\ne 0$ and ${k}^{*}$ is divisible). Then $\underset{j}{\Pi}{h}_{j}^{\prime}\left({t}_{j}^{\prime}\right)$ acts on ${V}_{\mu}$ as multiplication by $\underset{j}{\Pi}{{t}_{j}^{\prime}}^{\mu \left({H}_{j}^{\prime}\right)}=\underset{i}{\Pi}{t}_{i}^{\mu \left({H}_{j}\right)},$ i.e. as $\Pi {h}_{i}\left({t}_{i}\right)\text{.}$ This shows that $\phi $ maps ${G}_{m}^{\ell}$ onto $H\text{.}$ Clearly $\phi $ is a rational mapping defined over ${k}_{0}\text{.}$ Let $\left\{{\mu}_{i}\right\}$ be the basis of $L$ dual to $\left\{{H}_{j}^{\prime}\right\}$ (i.e. ${\mu}_{i}\left({H}_{j}^{\prime}\right)={\delta}_{ij}\text{).}$ Write ${\mu}_{i}=\underset{\mu \in L}{\Sigma}{n}_{\mu}\mu \text{.}$ Then $\underset{\mu}{\Pi}{\left(\underset{j}{\Pi}{{t}_{j}^{\prime}}^{\mu \left({H}_{j}^{\prime}\right)}\right)}^{{n}_{\mu}}={t}_{i}^{\prime},$ so ${\phi}^{1}$ exists and is defined over ${k}_{0}\text{.}$ $\square $ 
Theorem 7: Let $k$ be an algebraically closed field and ${k}_{0}$ the prime subfield. Let $G$ be a Chevalley group parametrized by $k$ and viewed as an algebraic group defined over ${k}_{0}$ as above. Then:
(a)  ${U}^{}HU$ is an open subvariety of $G$ defined over ${k}_{0}\text{.}$ 
(b)  If $n$ is the number of positive roots, then the map $\phi :{k}^{n}\times {k}^{*\ell}\times {k}^{n}\to {U}^{}Hu$ defined by $\phi ({\left({t}_{\alpha}\right)}_{\alpha <0},{\left({t}_{i}\right)}_{1\le i\le \ell},{\left({t}_{\alpha}\right)}_{\alpha >0})=\underset{\alpha <0}{\Pi}{x}_{\alpha}\left({t}_{\alpha}\right)\Pi {h}_{i}^{\prime}\left({t}_{i}\right)\underset{\alpha >0}{\Pi}{x}_{\alpha}\left({t}_{\alpha}\right)$ is an isomorphism of of varieties over ${k}_{0}\text{.}$ 
Proof.  
(a) We consider the natural action of $G$ on ${\Lambda}^{n}\mathcal{L}$ relative to a basis $\{{Y}_{1},{Y}_{2},\dots ,{Y}_{r}\}$ over ${k}_{0}$ made up of products of ${H}_{i}\text{'s}$ and ${X}_{\alpha}\text{'s}$ such that ${Y}_{1}=\Lambda {X}_{\alpha}$ $(\alpha >0)\text{.}$ For $x\in G$ we set $x{Y}_{i}=\Sigma {a}_{ij}\left(x\right){Y}_{j}$ and then $d={a}_{11},$ a function on $G$ over ${k}_{0}\text{.}$ We claim that $x\in {U}^{}HU={U}^{}B$ if and only if $d\left(x\right)\ne 0\text{.}$ Assume $x\in {U}^{}B\text{.}$ Since $B$ fixes ${Y}_{1}$ up to a nonzero multiple and if $u\in {U}^{}$ then $u{X}_{\alpha}\in {X}_{\alpha}+\mathscr{H}+\sum _{\text{ht}\left(\beta \right)<\text{ht}\left(\alpha \right)}k{X}_{\beta},$ it follows that $d\left(x\right)\ne 0\text{.}$ If $x\in {U}^{}wB$ with $w\in W,w\ne 1,$ the same considerations show that $d\left(x\right)=0\text{.}$ If ${w}_{0}\in W$ makes all positive roots negative then by the equation ${w}_{0}{U}^{}wB=B{w}_{0}wB$ and Theorem 4' the two cases above are exclusive and exhaustive, whence (a). The map $\phi $ is composed of the two maps $\psi =({\psi}_{1},{\psi}_{2},{\psi}_{3}):{\left({t}_{\alpha}\right)}_{\alpha >0}\times \left({t}_{i}\right)\times {\left(t\alpha \right)}_{\alpha >0}\to {U}^{}\times H\times U,$ and $\theta :{U}^{}\times H\times U\to {U}^{}HU\text{.}$ We will show that these are isomorphisms over ${k}_{0}\text{.}$ For ${\psi}_{2}$ this follows from Lemma 35. Consider ${\psi}_{3}$ Let $\left\{{v}_{i}\right\}$ be a basis for $V,$ the underlying vector space, made up of weight vectors in the lattice $M,$ and ${f}_{ij}$ the corresponding coordinate functions on $\text{End}\hspace{0.17em}V\text{.}$ For each root $\alpha $ choose $i=i\left(\alpha \right),$ $j=j\left(\alpha \right),$ ${n}_{ij}=n\left(\alpha \right)$ as in the proof of Lemma 34. Set $x=\underset{\beta >0}{\Pi}{x}_{\beta}\left({t}_{b}\right)\text{.}$ Choosing an ordering of the positive roots consistent with addition^,we see at once that ${f}_{i\left(\alpha \right),j\left(\alpha \right)}\left(x\right)=n\left(\alpha \right){t}_{\alpha}+$ an integral polynomial in the earlier $t\text{'s}$ and that ${f}_{ij}\left(x\right)$ is an integral polynomial in the $t\text{'s}$ for all $i,j\text{.}$ Thus ${\psi}_{3}$ is an isomorphism over ${k}_{0},$ and similarly for ${\psi}_{1}\text{.}$ To prove $\theta $ is an isomorphism we order the ${v}_{i}$ so that ${U}^{},H,U$ consist respectively of subdiagonal unipotent, diagonal, superdiagonal unipotent matrices (see Lemma 18, Cor. 3), and then we may assume that they consist of all of the invertible matrices of these types. Let $x={u}^{}hu$ be in ${U}^{}HU$ and let the subdiagonal entries of ${u}^{},$ the diagonal entries of $h,$ the superdiagonal entries of $u$ be labelled ${t}_{ij}$ with $i>j,i=j,i<j$ respectively. We order the indices so that $ij$ precedes $k\ell $ in case $i\le k,$ $j\le \ell $ and $ij\ne k\ell \text{.}$ Then in the three cases above ${f}_{ij}\left(x\right)={t}_{ij}{t}_{jj},$ resp. ${t}_{ij},$ resp. ${t}_{ii}{t}_{ij},$ increased by an integral polynomial in $t\text{'s}$ preceeding ${t}_{ij}\text{.}$ We may now inductively solve for the $t\text{'s}$ as rational forms over $\mathbb{Z}$ in the $f\text{'s},$ the division by the forms representing the ${t}_{jj}\text{'s}$ being justified by the fact that they are nonzero on ${U}^{}HU\text{.}$ Thus $\theta $ is an isomorphism over ${k}_{0}$ and (b) follows. $\square $ 
Example: In ${SL}_{n}$ ${U}^{}HU$ consists of all $\left({a}_{ij}\right)$ such that the minors $\left[{a}_{11}\right],\left[\begin{array}{cc}{a}_{11}& {a}_{12}\\ {a}_{21}& {a}_{22}\end{array}\right],\dots $ are nonsingular.
Remark: It easily follows that the Lie algebra of $G$ is ${\mathcal{L}}^{k}\text{.}$
We can now easily prove the following important fact (but will refer the reader to Séminaire Bourbaki, Exp. 219 instead). Let $G$ be a Chevalley group over $\u2102,$ viewed as above as an algebraic matric group over $\mathbb{Q},$ the prime field, and $I$ the corresponding ideal over $\mathbb{Z}$ (consisting of all polynomials over $\mathbb{Z}$ which vanish on $G\text{).}$ Then the set of zeros of $I$ in any algebraically closed field $k$ is just the Chevalley group over $k$ of the same type (same root system and same weight lattice) as $G\text{.}$ Thus we have a functorial definition in terms of equations of all of the semisimple algebraic groups of any given type.
Corollary 1: Let $k,{k}_{0},G,V$ be as above. Let $G\prime $ be a Chevalley group constructed using $V\prime $ instead of $V$ but with the same $\mathcal{L}\text{.}$ Assume that ${L}_{V}\supseteq {L}_{V\prime}\text{.}$ Then the homomorphism $\phi :G\to G\prime $ taking ${x}_{\alpha}\left(t\right)\to {x}_{\alpha}^{\prime}\left(t\right)$ for all $\alpha $ and $t$ is a homomorphism of algebraic groups over ${k}_{0}\text{.}$
Proof.  
Consider first $\phi {U}^{}HU\text{.}$ By Theorem 7 we need only show that $\phi H$ is rational over ${k}_{0}\text{.}$ The nonzero coordinates of $\Pi {h}_{i}\left({t}_{i}\right)$ are $\Pi {t}_{i}^{\mu \prime \left({H}_{i}\right)}$ $(\mu \prime \in {L}_{V\prime})\text{.}$ The nonzero coordinates of $\Pi {h}_{i}\left({t}_{i}\right)$ are $\Pi {t}_{i}^{\mu \left({H}_{i}\right)}$ $(\mu \in {L}_{V})\text{.}$ Each of the former is a monomial in the latter (because ${L}_{V\prime}\subseteq {L}_{V}\text{)},$ and hence is rational over ${k}_{0}\text{.}$ Now for $w\in W,{\omega}_{W}$ (resp. ${\omega}_{W}^{\prime}\text{)}$ can be chosen with coefficients in ${k}_{0}$ (for ${w}_{\alpha}\left(1\right)={x}_{\alpha}\left(1\right){x}_{\alpha}(1){x}_{\alpha}\left(1\right)\text{)},$ so that $\phi {\omega}_{w}^{1}{U}^{}B$ is rational over ${k}_{0}\text{.}$ Since $B{\omega}_{w}B\subseteq {\omega}_{w}^{1}{U}^{}B,$ we conclude that $\phi $ is rational over ${k}_{0}\text{.}$ $\square $ 
Corollary 2: The homomorphism ${\phi}_{\alpha}:{SL}_{2}\to \u27e8{\U0001d51b}_{\alpha},{\U0001d51b}_{\alpha}\u27e9$ (of Corollary 6 to Theorem 4') is a homomorphism of algebraic groups over ${k}_{0}\text{.}$
Proof.  
This is a special case of Corollary 1. $\square $ 
Corollary 3: Assume $\mathcal{L},V,$ and $M$ are fixed, that $V$ is universal, $k\subset K$ are fields and ${G}_{k}$ and ${G}_{K}$ are the corresponding Chevalley groups. Then ${G}_{k}={G}_{k}\cap {GL}_{M,k}\text{.}$
Proof.  
Clearly ${G}_{k}\subseteq {G}_{k}\cap {GL}_{M,k}\text{.}$ Suppose $x\in {G}_{k}\cap {GL}_{M,k}\text{.}$ Then $x=uh{\omega}_{w}v$ (see Theorem 4') with ${\omega}_{w}$ defined over the prime field. We must show that $x{\omega}_{w}^{1}\in {G}_{k},$ i.e. $uh{u}^{}\in {G}_{k}$ where ${u}^{}={\omega}_{w}v{\omega}_{w}^{1}\text{.}$ Write $uh{u}^{}=\underset{\alpha >0}{\Pi}{x}_{\alpha}\left(t\right)\Pi {h}_{i}\left({t}_{i}\right)\underset{\alpha <0}{\Pi}{x}_{\alpha}\left(t\right)$ with ${t}_{\alpha},{t}_{i}\in K\text{.}$ Applying ${\phi}^{1}$ of Theorem 7, we get ${\left({t}_{\alpha}\right)}_{\alpha >0}\times \left({t}_{i}\right)\times {\left({t}_{\alpha}\right)}_{\alpha <0}\text{.}$ Since $uh{u}^{}$ is defined over $k$ and ${\phi}^{1}$ is defined over ${k}_{0},$ all ${t}_{\alpha},{t}_{i}\in k\text{.}$ Hence $uh{u}^{}\in {G}_{k}\text{.}$ $\square $ 
Remark: Suppose $k=\u2102$ and $G$ is a Chevalley group over $k\text{.}$ Then $G$ has the structure of a complex Lie group, and all the preceding statements have obvious modifications in the language of Lie groups, all of which are true. For example, all complex semisimple Lie groups are included in the construction, and $\phi $ in Theorem 7 is an isomorphism of complex analytic manifolds.
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.