Last update: 21 July 2013
In this section we consider the irreducible representations of the infinite Chevalley groups. As we shall see, here the theory is quite complete. All representations are assumed to be finitedimensional and the standard terminology is used. In particular 1 must act as the identity, and the trivial $0\text{dimensional}$ (but not the trivial $1\text{dimensional)}$ representation is excluded from the list of irreducible representations. We start with a general lemma.
Lemma 68: Let $K$ be an algebraically closed field, $B$ and $C$ associative algebras with $1$ over $K,$ and $A=B\otimes C\text{.}$
(a)  If $(\beta ,V)$ and $(\gamma ,W)$ are (finitedimensional) irreducible modules for $B$ and $C,$ then $(\alpha ,U)=(\beta \otimes \gamma ,V\otimes W)$ is one for $A\text{.}$ 
(b)  Conversely, every irreducible $A\text{module}$ $(\alpha ,U)$ is realizable, uniquely, as a tensor product as in (a). 
Proof.  
(a) By Burnside's Theorem (see, e.g., Jacobson, Lectures in Abstract Algebra, Vol. 2), $\beta B=\text{End}\hspace{0.17em}V$ and $\gamma C=\text{End}\hspace{0.17em}W,$ whence $\alpha A=\text{End}\hspace{0.17em}U$ and $(\alpha ,U)$ is irreducible. (b) Let $V$ be an irreducible $B\text{submodule}$ of $U\text{.}$ Such exist since $U$ is finitedimensional. Let $L$ be the space of $B\text{homomorphisms}$ of $V$ into $U\text{.}$ This is nonzero and is a $C\text{module}$ under the rule $c\ell =\alpha \left(c\right)\circ \ell \text{.}$ (Check this.) Let $(\gamma ,W)$ be an irreducible submodule. The map $\phi :V\otimes W\to U$ defined by $v\otimes f\to f\left(v\right)$ is easily checked to be an $A\text{homomorphism.}$ $V\otimes W$ is irreducible by (a), and $U$ is by assumption. Hence by Schur's Lemma (see loc. cit.) $\phi $ is an isomorphism. If $\alpha =\beta \prime \circ \gamma \prime $ is a second decomposition of the required form, then restriction to $B$ yields $\beta \otimes 1\cong \beta \prime \otimes 1,$ i.e. multiples of $\beta $ and $\beta \prime $ are isomorphic, so that by the JordanHolder or KrullSchmidt theorems $\beta $ and $\beta \prime $ are also. Similarly $\gamma $ and $\gamma \prime $ are isomorphic, which proves the uniqueness in (b). $\square $ 
Corollary:
(a)  If $K$ is an algebraically closed field and $G=\Pi {G}_{i}$ is a direct product of a finite number of groups, then the tensor product $V$ of irreducible $K{G}_{i}\text{modules}$ ${V}_{i}$ is an irreducible $KG\text{module,}$ and every irreducible $KG\text{module}$ is uniquely realizable in this way. 
(b)  Similarly for a direct sum $\mathcal{L}=\Sigma {\mathcal{L}}_{i}$ of Lie algebras over $K\text{.}$ 
Proof.  
We apply Lemma 68, extended to several factors, in (a) to group algebras, in (b) to enveloping algebras. $\square $ 
Exercise: If the direct product above is one of algebraic groups over $K$ (of topological groups, of Lie groups,...), then $V$ is rational (continuous, analytic,...) if and only if each ${V}_{i}$ is.
Remark: If we are interested in the irreducible representations of a Chevalley group $G,$ we may as well assume it is universal. The corollary then implies that we may as well also assume that $G$ (i.e. that $\Sigma \text{)}$ is indecomposable. This we will do whenever it is convenient.
Now we take up the study of rational representations for Chevalley groups over algebraically closed fields viewed as algebraic groups. In such representations the coordinates of the representative matrix are required to be rational functions of the original coordinates. Whether this requirement is to be taken locally (e.g. as in the proof of Theorem 7, Cor. 1) or globally is immaterial, in view of the following result.
Lemma 69: Let $G$ be a Chevalley group viewed as an algebraic group as above, and $f:G\to k$ a function. Then the following conditions are equivalent.
(a)  $f$ is expressible as a rational function locally. 
(b)  $f$ is expressible as a rational function globally. 
(c)  $f$ is expressible as a polynomial. 
Proof.  
It will be enough to show that (a) implies (c). Let A be the algebra of polynomial functions on $G\text{.}$ By assumption there exists an open covering $\left\{{U}_{i}\right\}$ of $G,$ which may be taken finite by the maximal condition on the open subsets of $G$ (which holds by Hilbert's basis theorem in $A\text{),}$ and elements ${g}_{i},{h}_{i}$ in $A$ such that $f={g}_{i}/{h}_{i}$ and ${h}_{i}\ne 0$ on ${U}_{i}$ for all $i\text{.}$ Since the ${h}_{i}$ don't all vanish together, by Hilbert's Nullstellensatz there exist elements ${a}_{i}$ in $A$ such that $1=\Sigma {a}_{i}{h}_{i}$ on $G\text{.}$ Let ${U}_{0}=\cap {U}_{i}\text{;}$ it is nonempty, in fact dense, since $G$ is irreducible. On ${U}_{0}$ we have $f=\Sigma {a}_{i}f{h}_{i}=\Sigma {a}_{i}{g}_{i},$ a polynomial, hence by density also on each ${U}_{i}$ and on $G,$ as required. $\square $ 
Presently we will need the following result.
Lemma 70: The algebra $A$ of polynomial functions on $G$ is integrally closed (in its quotient field).
Proof.  
We observe first that $A$ is an integral domain (since $G$ is irreducible as an algebraic set, the polynomial ideal defining it is prime), so that it really has a quotient field. Assume $f={p}_{1}/{p}_{2}$ $({p}_{i}\in A)$ is integral over $A:{f}^{n}+{a}_{1}{f}^{n1}+\dots +{a}_{n}=0$ for some ${a}_{i}\in A\text{.}$ On restriction to the open set ${U}^{}HU$ of $G$ the ${p}_{i}$ and ${a}_{i}$ become, by Theorem 7(b), polynomials in the coordinates $\{{t}_{\alpha},{t}_{i},{t}_{i}^{1}\}\text{.}$ Since such polynomials form a unique factorization domain, we see by the above equation that $f$ itself is such a polynomial, on ${U}^{}HU\text{.}$ The same being true on each of the translates of ${U}^{}HU$ by elements of $G,$ we conclude that $f$ is a polynomial on $G,$ i.e. $f$ is in $A,$ by Lemma 69. $\square $ 
Two more lemmas and then the main theorem.
Lemma 71: The rational characters of $H$ (homomorphisms into ${k}^{*}\text{)}$ are just the elements of the lattice $L$ generated by the global weights of the representation defining $G\text{.}$
Proof.  
Let $\lambda $ be a character. Then it is a polynomial in the diagonal elements of $H$ (written as a group of diagonal matrices), i.e. a linear combination of elements of $L\text{.}$ Being multiplicative, it equals some element of $L\text{.}$ (Prove this.) Conversely, if $\lambda \in L,$ then $\lambda $ is a power product of weights in the representation defining $G,$ and all exponents may be taken positive since the product of the latter weights (as functions) is $1,$ so that $\lambda $ is a polynomial on $H\text{.}$ $\square $ 
Now for any rational $G\text{module}$ $V$ we may define the weights $\lambda $ and the corresponding weight spaces ${V}_{\lambda},$ relative to $H,$ in the obvious way.
Lemma 72: Let $V$ be a rational $G\text{module,}$ $\lambda $ a weight, $v$ an element of ${V}_{\lambda},$ and $\alpha $ a root. Then there exist vectors ${v}_{i}\in {V}_{\lambda +i\alpha}$ $(i=1,2,\dots )$ so that ${x}_{\alpha}\left(t\right)v=v+\Sigma {t}^{i}{v}_{i}$ for all $t\in k\text{.}$
Proof.  
Since $V$ is rational and $t\to {x}_{\alpha}\left(t\right)$ is an isomorphism, ${x}_{\alpha}\left(t\right)$ is a polynomial in $t:{x}_{\alpha}\left(t\right)v=\Sigma {t}^{i}{v}_{i}\text{.}$ If we apply $h$ to this equation and compare the result with the equation got by replacing ${x}_{\alpha}\left(t\right)$ by $h{x}_{\alpha}\left(t\right){h}^{1}={x}_{\alpha}\left(\alpha \left(h\right)t\right),$ we get ${v}_{i}\in {V}_{\lambda +i\alpha}\text{.}$ Setting $t=0,$ we get $v={v}_{0},$ whence the lemma. $\square $ 
Theorem 39 (Compare with Theorem 3): Let $G$ be a Chevalley group over an algebraically closed field $k$ (i.e. a semisimple algebraic group over $k\text{),}$ and assume the notations as above.
(a)  Every nonzero rational $G\text{module}$ $V$ contains a nonzero element ${v}^{+}$ which belongs to some weight $\lambda \in L$ and is fixed by all $x\in U\text{.}$ 
(b)  Assume $V=kG{v}^{+}$ with ${v}^{+}$ as in (a). Then $V=k{U}^{}{v}^{+}\text{.}$ Further $\text{dim}\hspace{0.17em}{V}_{\lambda}=1,$ every weight $\mu $ on $V$ has the form $\lambda \Sigma \alpha $ $\text{(}\alpha $ positive root), and $V=\Sigma {V}_{\mu}\text{.}$ 
(c)  In (a) $\u27e8\lambda ,\alpha \u27e9\in {\mathbb{Z}}^{+}$ for every positive root $\alpha \text{.}$ 
(d)  If $V$ is irreducible, then the weight $\lambda $ (the "highest weight") and the line $k{v}^{+}$ of (a) are uniquely determined. 
(e)  Given any character $\lambda $ on $H$ satisfying (c), there exists a unique irreducible rational $G\text{module}$ $V$ in which $\lambda $ is realized as in (a). 
Proof.  
(a) The proof is the same as that of Theorem 3(a) with Lemma 72 in place of Lemma 11. (b) Since ${U}^{}B$ is dense in $G$ (Theorem 7) and $V$ is rational, any linear function on $V$ which vanishes on ${U}^{}B{v}^{+}$ also vanishes on $G{v}^{+}\text{.}$ Thus $V=k{U}^{}B{v}^{+}=k{U}^{}{v}^{+}\text{.}$ The other assertions of (b) follow from this equation and Lemma 72. (c) ${w}_{\alpha}\lambda $ is a weight on $V$ (with ${w}_{\alpha}{v}^{+}$ a corresponding weight vector). Since ${w}_{\alpha}\lambda =\lambda \u27e8\lambda ,\alpha \u27e9\alpha ,$ it follows from (b) that $\u27e8\lambda ,\alpha \u27e9\in {\mathbb{Z}}^{+}\text{.}$ (d) This follows from the second and third parts of (b). (e) We will use the correspondence between local weights (on $\mathcal{L}\text{)}$ and global weights (on $G\text{)}$ (see p. 60). Let $\lambda $ be as in (e). By Lemma 71, $\lambda \in L\text{.}$ Let $\lambda $ also denote the corresponding weight on $\mathcal{L},$ so that $\lambda \left({H}_{\alpha}\right)=\u27e8\lambda ,\alpha \u27e9\in {\mathbb{Z}}^{+}$ for all $\alpha >0\text{.}$ Let $(\rho ,V\prime )$ be an irreducible $\mathcal{L}\text{module}$ with $\lambda $ as its highest weight, ${v}^{+}$ a corresponding weight vector, and $G\prime $ a corresponding Chevalley group over $k$ (constructed from $\rho \mathcal{L}$ and some choice of the lattice $M$ in $V\prime \text{).}$ Since $\lambda $ is in the lattice generated by the weights of the representation of $\mathcal{L}$ used to construct $G,$ it follows (Theorem 7, Cor. 1) that there exists a rational homomorphism $\phi :G\to G\prime $ such that ${x}_{\alpha}\left(t\right)\to {x}_{\alpha}^{\prime}\left(t\right)$ or 1 for all $\alpha $ and $t,$ in the usual notation. The resulting representation of $G$ on $V\prime $ need not be irreducible (and its representation class may vary with the choice of $M\text{),}$ but at least it contains the vector ${v}^{+}$ which is of weight $\lambda $ and is fixed by every $x\in U\text{.}$ Let ${V}^{\prime \prime}$ be the submodule of $V\prime $ generated by ${v}^{+},$ and ${V}^{\prime \prime \prime}$ a maximal submodule of ${V}^{\prime \prime}\text{.}$ $\text{(}{V}^{\prime \prime \prime}$ is in fact unique as follows from the equation ${V}^{\prime \prime}=k{U}^{}{v}^{+}$ of (b). Check this.) The $G\text{module}$ $V={V}^{\prime \prime}/{V}^{\prime \prime \prime}$ meets the existence requirements of (e). For the uniqueness, let ${V}_{i},{v}_{i}^{+}$ $(i=1,2)$ satisfy the conditions on $V,{v}^{+}$ in (e). Let ${v}^{+}={v}_{1}^{+}+{v}_{2}^{+}\in {V}_{1}+{V}_{2},$ and $V=kG{v}^{+}\text{.}$ Then ${V}_{\lambda}=k{v}^{+}$ by (b), so that ${v}_{2}^{+}\notin V\text{.}$ Consider the $G\text{homomorphism}$ ${p}_{1}:V\to {V}_{1},$ projection on the first factor. Since ${v}_{1}^{+}$ generates ${V}_{1},{p}_{1}$ is onto. Since also $\text{ker}\hspace{0.17em}{p}_{1}\subseteq {V}_{2}\cap V,$ which is 0 because ${V}_{2}$ is irreducible and ${v}_{2}^{+}\notin V,$ it follows that ${p}_{1}$ is an isomorphism. Thus $V$ is isomorphic to ${V}_{1},$ and similarly to ${V}_{2},$ so that ${V}_{1}$ and ${V}_{2}$ are isomorphic, as required. $\square $ 
A complement: If $\text{char}\hspace{0.17em}k=0,$ then in the existence proof above $V\prime $ is itself irreducible, i.e. $V\prime ={V}^{\prime \prime}$ and ${V}^{\prime \prime \prime}=0\text{.}$ In other words, if the Chevalley group $G$ is constructed from an irreducible $\mathcal{L}\text{module}$ $V$ and a field $k$ of characteristic $0,$ then as a linear group it is irreducible.
Proof.  
Recall that $V$ was originally an ${\mathcal{L}}_{\u2102}\text{module}$ (irreducible by assumption), and that a lattice $M$ as in Theorem 2, Cor. 1 was then used to shift the coefficients to $k\text{.}$ Clearly ${V}_{\mathbb{Q}}$ is irreducible relative to ${\mathcal{L}}_{\mathbb{Q}}\text{.}$ It follows that ${V}_{k}$ is irreducible relative to ${\mathcal{L}}_{k}\text{:}$ otherwise there would be a proper invariant subspace ${V}_{1},$ excluding $k{v}^{+}$ since $k{v}^{+}\cap {V}_{\mathbb{Q}}\ne 0,$ then some nonzero $v\in {V}_{1}$ such that ${X}_{\alpha}v=0$ for all $\alpha >0,$ so that writing $v=\Sigma {t}_{i}{m}_{i}$ $\text{(}{m}_{i}\in M,{t}_{i}\in k$ and linearly independent over $\mathbb{Q}\text{)}$ and choosing $\alpha $ so that ${X}_{\alpha}{m}_{i}\ne 0$ for some $i,$ we would arrive at the contradiction $\Sigma {t}_{i}{X}_{\alpha}{m}_{i}=0\text{.}$ Since we can recover each ${X}_{\alpha}$ from $G$ by using ${x}_{\alpha}\left(t\right)=1+t{X}_{\alpha}+\dots $ for several values of $t$ and the ${X}_{\alpha}\text{'s}$ generate $\mathcal{L},$ we conclude that ${V}_{k}$ is irreducible for $G\text{.}$ $\square $ 
In contrast to the case just considered, if $\text{char}\hspace{0.17em}k\ne 0,$ then $V\prime \ne {V}^{\prime \prime}$ and ${V}^{\prime \prime \prime}\ne 0$ in general and the exact situation is not at all understood, except in a few scattered cases (types ${A}_{1},$ ${A}_{2},$ ${B}_{2}$ or when $\text{char}\hspace{0.17em}k$ is large "compared" to $\lambda \text{).}$ However, the following is true.
Exercise:
(a)  For the lattice $M$ of Theorem 2, Cor. 1 (with $V$ there assumed to be irreducible) assume that $\u2102{v}^{+}\cap M$ is prescribed. Prove that there is a unique minimal choice for $M$ (contained in all others) and a unique maximal choice. 
(b)  If $M$ is maximal, then ${V}^{\prime \prime \prime}=0,$ i.e. ${V}^{\prime \prime}$ is irreducible. 
(c)  If $M$ is minimal, then $V\prime ={V}^{\prime \prime}\text{.}$ 
Example: If $\mathcal{L}$ is of type ${A}_{1},$ $\text{char}\hspace{0.17em}k=2,$ and the adjoint representation is used, then (b) holds for ${M}_{\text{max}}=\u27e8X,H/2,Y\u27e9$ and (c) holds for ${M}_{\text{min}}=\u27e8X,H,Y\u27e9,$ but not vice versa.
The proof given above for the existence in Theorem 39(e) brings out the connection between the representations of $G$ and those of $\mathcal{L}$ and shows that every irreducible rational representation of a Chevalley group in characteristic $p\ne 0$ can be constructed by the reduction mod $p$ of a corresponding representation of a group in characteristic $0\text{.}$ It depends, however, on the existence of representations of $\mathcal{L},$ which we have not proved here, thus in its entirety is very long. We shall now develop an alternate, more intrinsic, proof.
We start with the connection between a $G\text{module}$ $V$ and its dual ${V}^{*},$ on which $G$ acts by the rule $\left(xf\right)\left(v\right)=f\left({x}^{1}v\right)$ for all $x\in G,f\in {V}^{*},$ and $v\in V\text{.}$ We recall that ${w}_{0}$ is the element of the Weyl group which makes all positive roots negative.
Lemma 73: Let $V$ be an irreducible rational $G\text{module,}$ $\lambda $ its highest weight, ${v}^{+}$ a corresponding weight vector, ${\lambda}^{*}={w}_{0}\lambda ,$ and ${f}^{+}$ the element of ${V}^{*}$ defined thus: if we write ${v}^{}={w}_{0}{v}^{+}$ and $v\in V$ as $v=c{v}^{}+$ terms of other (hence higher) weights, then ${f}^{+}\left(v\right)=c\text{.}$ Then ${\lambda}^{*}$ and ${f}^{+}$ are highest weight and highest weight vector for ${V}^{*}\text{.}$
Proof.  
In the definition of ${f}^{+}$ we have used the fact that $\text{dim}\hspace{0.17em}{V}_{{w}_{0}\lambda}=\text{dim}\hspace{0.17em}{V}_{\lambda}=1\text{.}$ Here, and also in similar situations later, we extend $\lambda $ to $B$ by the rule $\lambda \left(b\right)=\lambda \left(h\right)$ if $b=uh$ $(u\in U,h\in H),$ and similarly for ${\lambda}^{*}\text{.}$ If we write $v\in V$ as in the lemma and use Lemma 72, we see that $bv=c\left({w}_{0}\lambda \right)\left(h\right)v+$ higher terms. Since $c={f}^{+}\left(v\right)$ and $\left({w}_{0}\lambda \right)\left(h\right)={\lambda}^{*}\left({b}^{1}\right),$ we have ${f}^{+}\left(bv\right)={\lambda}^{*}\left({b}^{1}\right){f}^{+}\left(v\right)\text{.}$ On replacing $b$ by ${b}^{1}$ we get $b{f}^{+}={\lambda}^{*}\left(b\right){f}^{+},$ as required. $\square $ 
Theorem 40: For $\lambda \in L$ let ${A}_{\lambda}$ be the space of polynomial functions $a$ on $G$ such that $a\left(yb\right)=a\left(y\right)\lambda \left(b\right)$ for all $y\in G,b\in B,$ made into a $G\text{module}$ in the obvious way.
(a)  If $V,\lambda ,{v}^{+}$ are as in Lemma 73, then the map $\phi :{V}^{*}\to {A}_{\lambda}$ defined by $\left(\phi f\right)\left(x\right)=f\left(x{v}^{+}\right)$ for $f\in {V}^{*}$ and $x\in G$ is a $G\text{isomorphism}$ into. 
(b)  Conversely, if $\lambda $ is such that ${A}_{\lambda}\ne 0,$ then ${A}_{\lambda}$ contains a unique irreducible $G\text{submodule.}$ The latter is finitedimensional and rational and its highest weight is ${\lambda}^{*}\text{.}$ 
Proof.  
(a) The points to be checked here will be left as an exercise. (b) We observe first that as a $G\text{module}$ ${A}_{\lambda}$ is locally finitedimensional (in fact, it is finitedimensional, but we shall not prove this), since the set of polynomials of a given degree is. Thus there exist irreducible submodules and all of them are finitedimensional and rational. Let $\mu $ be the highest weight of any one of them and ${a}^{+}$ a corresponding nonzero weight vector. We have $(*)$ ${a}^{+}\left(bxb\prime \right)=\mu \left({b}^{1}\right){a}^{+}\left(x\right)\lambda \left(b\prime \right)$ for all $x\in G,b,b\prime \in B\text{.}$ Since $B{w}_{0}B$ is dense in $G,$ ${a}^{+}\left({w}_{0}\right)\ne 0\text{.}$ Since also ${a}^{+}\left(b{w}_{0}\right)={a}^{+}({w}_{0}\xb7{w}_{0}^{1}b{w}_{0}),$ we get from the above equation that $\mu \left({b}^{1}\right)=\lambda \left({w}_{0}^{1}b{w}_{0}\right),$ so that $\mu ={\lambda}^{*}\text{.}$ Since $\mu $ is uniquely determined by $\lambda ,$ the function ${a}^{+}$ is determined by its value at ${w}_{0}$ by $(*)$ with $x={w}_{0}$ and the density of $B{w}_{0}B$ in $G,$ proving the uniqueness in (b). $\square $ 
Remarks:
(a)  In characteristic $0$ it easily follows from the theorem of complete reducibility that ${A}_{\lambda}$ itself is irreducible. 
(b)  The representation of $G$ on ${A}_{\lambda}$ is, in the context of polynomial representations, the one induced by the character $\lambda $ on $B\text{.}$ The fact that it contains a representation of highest weight ${\lambda}^{*},$ is, in view of Theorem 39(a), a form of Frobenius reciprocity. 
Lemma 74: Let ${f}^{+}$ be as in Lemma 73 and ${a}^{+}=\phi {f}^{+}$ with $\phi $ as in Theorem 40(a) so that $x{v}^{+}={a}^{+}\left(x\right){w}_{0}{v}^{+}+$ higher terms. Let ${W}_{\lambda}$ be the stabilizer of $\lambda $ in $W,$ and for $w\in {W}_{\lambda}$ assume that the corresponding representative $w\in G$ has been chosen so that $w{v}^{+}={v}^{+}\text{.}$ Then if $x\in G$ is written $uh{w}_{0}w{u}_{1}$ (see Theorem 4') we have ${a}^{+}\left(x\right)={\lambda}^{*}\left({h}^{1}\right)$ if $w\in {W}_{\lambda},$ ${a}^{+}\left(x\right)=0$ otherwise.
Proof.  
A choice for $w\in G$ as above is always possible: if $\lambda =0,$ then $V$ is trivial since $G=\mathcal{D}G,$ while if $\lambda \ne 0,$ then $w{v}^{+}$ has weight $w\lambda =\lambda ,$ hence is a multiple of ${v}^{+},$ so that by modifying it by a suitable element of $H$ we can achieve $w{v}^{+}={v}^{+}\text{.}$ From the definitions and Lemma 72 we have ${a}^{+}\left(x\right){w}_{0}{v}^{+}=h{w}_{0}w{v}^{+}\text{.}$ If $w\in {W}_{\lambda},$ then ${a}^{+}\left(x\right)={\lambda}^{*}\left({h}^{1}\right)$ by the choice of $w,$ while if ${a}^{+}\left(x\right)\ne 0,$ then $w$ fixes $k{v}^{+}$ by the equation so that $w\in {W}_{\lambda}\text{.}$ $\square $ 
This brings us to the
Second proof of the existential part of Theorem 39(e):
Proof.  
Let $\lambda $ be as in Theorem 39(c). It will be enough to prove that the function defined by the last equations of Lemma 74 is rational on $G\text{.}$ The existence will then follow from Theorem 40(b) with ${\lambda}^{*}$ in place of $\lambda \text{.}$ By Lemma 70 any power of this function will do, so that by Lemma 74 it will be enough to construct an irreducible representation whose highest weight is some positive power (positive multiple if we write characters on $H$ additively) of $\lambda \text{.}$ This we will do, using the following interesting result. Lemma 75 (Chevalley): Let $G$ be a linear algebraic group and $P$ a closed subgroup. Then there exists a rational $G\text{module}$ $V$ and a line $L$ in $V$ whose stabilizer in $G$ is $P\text{.}$
We resume the proof of existence. Let $\Pi =\{{\alpha}_{1},{\alpha}_{2},\dots ,{\alpha}_{\ell}\}$ be the set of simple roots. For $i=1,2,\dots ,\ell $ let ${P}_{i}$ be the parabolic subgroup of $G$ corresponding to $\Pi \left\{{\alpha}_{i}\right\}$ (see Lemma 30), ${L}_{i}=k{v}_{i}$ the corresponding line of Lemma 75, ${\mu}_{i}$ the corresponding rational character on ${P}_{i},$ hence also on $B$ and $H,$ and ${V}_{i}=kG{v}_{i}\text{.}$ If $j\ne i,$ then ${w}_{j}$ is represented in ${P}_{i},$ so that ${w}_{j}{\mu}_{i}={\mu}_{i}$ and $\u27e8{\mu}_{i},{\alpha}_{j}\u27e9=0\text{.}$ Since ${w}_{i}$ does not fix ${L}_{i},$ by choice, it follows from parts (b) and (c) of Theorem 39 applied to ${V}_{i}$ that $\u27e8{\mu}_{i},{\alpha}_{i}\u27e9$ is a positive integer, say ${d}_{i}\text{.}$ If now $\lambda $ is as before so that $\u27e8\lambda ,{\alpha}_{i}\u27e9={c}_{i}\in {\mathbb{Z}}^{+},$ it follows that $d\lambda =\Sigma {e}_{i}{\mu}_{i}$ with $d=\Pi {d}_{i}$ and ${e}_{i}={c}_{i}d/{d}_{i}\text{.}$ If we form the tensor product $\Pi {V}_{i}^{{e}_{i}},$ then $\Pi {v}_{i}^{{e}_{i}}$ is a vector of weight $d\lambda $ for $B,$ so that we may extract an irreducible component whose highest weight is $d\lambda ,$ and thus complete our second existence proof. $\square $ 
Remark: We are indebted to G. D. Mostow for the proof just given.
The extra problems that arise when $\text{char}\hspace{0.17em}k\ne 0$ are compensated for by the fact that only a finite number of representations has to considered in this case, as we shall now see.
Lemma 76: Assume $\text{char}\hspace{0.17em}k=p\ne 0\text{.}$ Let Fr (for Frobenius) denote the operation of replacing the matrix entries of the elements of $G$ by their ${p}^{\text{th}}$ powers. If $\rho $ is an irreducible rational representation of $G,$ then so is $\rho \circ \text{Fr.}$ If the highest weight of $\rho $ is $\lambda ,$ that of $\rho \circ \text{Fr}$ is $p\lambda \text{.}$
Proof.  
Exercise. $\square $ 
Theorem 41: Assume that $G$ above is universal (i.e. $G$ is a simply connected algebraic group), and that $\text{char}\hspace{0.17em}k=p\ne 0\text{.}$ Let $\mathcal{R}$ be the set of ${p}^{\ell}$ irreducible rational representations of $G$ for which the highest weight $\lambda $ satisfies $0\le \u27e8\lambda ,{\alpha}_{i}\u27e9\le p1$ $\text{(}{\alpha}_{i}$ simple). Then every irreducible rational representation of $G$ can be written uniquely $\underset{j=0}{\overset{\infty}{\otimes}}{\rho}_{j}\circ {\text{Fr}}^{j}$ $({\rho}_{j}\in \mathcal{R})\text{.}$
Sketch of proof.  
We observe first that since $G$ is universal $L={L}_{1},$ so that all $\lambda \text{'s}$ with all $\u27e8\lambda ,{\alpha}_{i}\u27e9\in {\mathbb{Z}}^{+}$ occur as highest weights, in particular those used to define $\mathcal{R}\text{.}$ Consider $\rho =\otimes {\rho}_{j}\circ {\text{Fr}}^{j}\text{.}$ Let ${\lambda}_{j}$ be the highest weight of ${\rho}_{j}\text{.}$ The product of the corresponding weight vectors yields for $\rho $ a highest weight vector of weight $\lambda =\Sigma {p}^{j}{\lambda}_{j},$ by Lemma 76. If we vary the ${\rho}_{j}\text{'s}$ in $\mathcal{R},$ we obtain, in view of the uniqueness of the expansion of a number in the scale of $p,$ each possible highest weight $\lambda $ exactly once. Thus to prove the theorem we need only show that each $\rho $ above is irreducible. The proof of this fact depends eventually on the linear independence of the distinct automorphisms ${\text{Fr}}^{j}$ $(j=0,1,\dots )$ of $k\text{.}$ We omit the details, referring the reader to R. Steinberg, Nagoya Math. J. 22 (1963), or to P. Cartier, Sém. Bourbaki 255 (1963). $\square $ 
Corollary: Assume that one of the special situations of Theorem 28 holds. Let ${\mathcal{R}}_{\ell}$ (resp. ${\mathcal{R}}_{s}\text{)}$ be the subsets of $\mathcal{R}$ defined by $\u27e8\lambda ,{\alpha}_{i}\u27e9=0$ for all $i$ such that ${\alpha}_{i}$ is long (resp. short). Then every element of $\mathcal{R}$ can be written uniquely ${\rho}_{\ell}\otimes {\rho}_{s}$ with ${\rho}_{\ell}\in {\mathcal{R}}_{\ell}$ and ${\rho}_{s}\in {\mathcal{R}}_{s}\text{.}$
Proof.  
Given $\rho \in \mathcal{R},$ write the corresponding highest weight $\lambda $ as ${\lambda}_{\ell}+{\lambda}_{s}$ so that the corresponding irreducible representations ${\rho}_{\ell}$ and ${\rho}_{s}$ are in ${\mathcal{R}}_{\ell}$ and ${\mathcal{R}}_{s}\text{.}$ We have to show that ${\rho}_{\ell}\otimes {\rho}_{s}$ is irreducible. If we define $\phi $ as in Theorem 28 but with $G$ and ${G}^{*}$ interchanged, and set ${\rho}_{\ell}^{*}=\phi \circ {\rho}_{\ell},$ ${\rho}_{s}^{*}=\phi \circ {\rho}_{s},$ we have to show that the representation ${\rho}_{\ell}^{*}\otimes {\rho}_{s}^{*}$ of ${G}^{*}$ is irreducible. Since the corresponding highest weights satisfy $$\begin{array}{cccc}\u27e8{\lambda}_{\ell}^{*},{\alpha}^{*}\u27e9& =& \u27e8{\lambda}_{\ell},\alpha \u27e9& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is short}\\ & =& 0& \text{if not}\\ \u27e8{\lambda}_{s}^{*},{\alpha}^{*}\u27e9& =& p\u27e8{\lambda}_{s},\alpha \u27e9& \text{if}\hspace{0.17em}\alpha \hspace{0.17em}\text{is long}\\ & =& 0& \text{if not,}\end{array}$$we see that ${\lambda}_{\ell}^{*}$ and ${\lambda}_{s}^{*}/p$ correspond to elements of ${\mathcal{R}}^{*},$ so that the corollary follows from Theorem 41 applied to ${G}^{*}\text{.}$ $\square $ 
Examples:
(a)  ${SL}_{2}\text{.}$ Here there are $p$ representations ${\rho}_{i}$ $(i=0,1,\dots ,p1)$ in $\mathcal{R},$ the ${i}^{\text{th}}$ being realized on the space of polynomials homogeneous of degree $i$ over ${k}^{2}\text{.}$ 
(b)  ${Sp}_{4},p=2\text{.}$ Here there are 4 representations in $\mathcal{R}\text{.}$ If $\phi $ is the graph automorphism of Theorem 28 then ${\mathcal{R}}_{\ell}\circ \phi ={\mathcal{R}}_{s}$ so that by the above corollary, these 4 are, in terms of the defining representation $\rho ,$ just 1 (trivial), $\rho ,\rho \circ \phi ,$ and $\rho \otimes (\rho \circ \phi )\text{.}$ 
The results we have obtained can easily be extended to the case that $k$ is infinite (but perhaps not algebraically closed). We consider representations on vector spaces over $K,$ some algebraically closed field containing $k,$ and call them rational if the coordinates of the image are polynomial functions over $K$ in the coordinates of the source. The preceding theory is then applicable almost word for word because of the following two facts both coming from the denseness of $G$ in ${G}_{K}$ (this is $G$ with $k$ extended to $K\text{).}$
(a)  Every irreducible polynomial representation of $G$ extends uniquely to one of ${G}_{K}\text{.}$ 
(b)  On restriction to $G$ every irreducible rational representation of ${G}_{K}$ remains irreducible. 
Exercise: Prove (a) and (b).
The structure of arbitrary irreducible representations is given in terms of the polynomial ones by the following general theorem. Given an isomorphism $\phi $ of $k$ into $K,$ we shall also write $\phi $ for the natural isomorphism of $G$ onto the group $\phi G$ obtained from $G$ by replacing $k$ by $\phi k\text{.}$
Theorem 42 (Borel, Tits): Let $G$ be an indecomposable universal Chevalley group over an infinite field $k,$ and let $\sigma $ be an arbitrary (not necessarily rational) irreducible representation of $G$ on a finitedimensional vector space $V$ over an algebraically closed field $K\text{.}$ Assume that $\sigma $ is nontrivial. Then there exist finitelymany isomorphisms ${\phi}_{i}$ of $k$ into $K$ and corresponding irreducible rational representations ${\rho}_{i}$ of ${\phi}_{i}G$ over $K$ such that $\sigma =\underset{i}{\otimes}{\rho}_{i}\circ {\phi}_{i}\text{.}$
Remarks:
(a)  As a corollary we see that $k$ is necessarily imbeddable as a subfield of $K\text{.}$ In other words, if $k$ and $K$ are such that no such imbedding exists, e.g. if $\text{char}\hspace{0.17em}k\ne \text{char}\hspace{0.17em}K,$ then every irreducible representation of $G$ on a finitedimensional vector space over $K$ is necessarily trivial. (Deduce that the same is true even if the representation is not irreducible.) If $k$ is finite, these statements are, of course, false. 
(b)  The theorem can be completed by statements concerning the uniqueness of the decomposition and the condition for irreducibility if the factors are prescribed. Since these statements are a bit complicated we shall omit them. 
(c)  The theorem was conjectured by us in Nagoya Math. J. 22 (1963). The proof to follow is based on an as yet unpublished paper by A. Borel and J. Tits in which results of a more general character are considered. 
Lemma 77: Let $G,G\prime $ be indecomposable Chevalley groups over fields $k,k\prime $ with $k$ infinite and $k\prime $ algebraically closed, and $\sigma :G\to G\prime $ a homomorphism such that $\sigma G$ is dense in $G\prime \text{.}$
(a)  There exists an isomorphism $\phi $ of $k$ into $k\prime $ and a rational homomorphism $\rho $ of $\phi G$ into $G\prime $ such that $\sigma =\rho \circ \phi \text{.}$ 
(b)  If $G$ is universal, then $\rho $ can be lifted, uniquely to the universal covering group of $G\prime \text{.}$ 
Proof.  
(a) If the reader will examine the proof of Theorem 31 he will observe that what is shown there is that $\sigma $ can be normalized so that $\sigma {x}_{\alpha}\left(t\right)={x}_{\alpha \prime}\left({\epsilon}_{\alpha}\phi {\left(t\right)}^{q\left(\alpha \right)}\right)$ with $\alpha \to \alpha \prime $ an anglepreserving map of $\Sigma $ on $\Sigma \prime ,$ ${\epsilon}_{\alpha}=\pm 1,$ $\phi $ an isomorphism of $k$ onto $k\prime ,$ and $q\left(\alpha \right)=1$ on $p\text{.}$ Since we are assuming only that $\sigma G$ is dense in $G\prime ,$ not that $\sigma G=G\prime ,$ the proof of the corresponding result in the present case is somewhat harder. However, the main ideas are quite similar. We omit the proof. From the above equations and the corresponding ones on $H,$ it follows from Theorem 7 that $\sigma $ has the form of (a). (b) From these equations we see also, e.g. by considering the relations (A), (B), (C) of Theorem 8, that $\rho $ can be lifted to any covering of $G\prime ,$ uniquely since $G=\mathcal{D}G\text{.}$ $\square $ 
Proof of Theorem 42.  
Let $A=\stackrel{\u203e}{\sigma G},$ the smallest algebraic subgroup of $GL\left(V\right)$ containing $\sigma G\text{.}$ We claim $A$ is a connected semisimple group, hence a Chevalley group. As in the proof of Theorem 30, step (12), $\stackrel{\u203e}{\sigma U}$ is connected, and similarly for $\stackrel{\u203e}{\sigma {U}^{}},$ so that $A,$ being generated by these groups, is also. Let $R$ be a connected solvable normal subgroup of $A\text{.}$ By the LieKolchin theorem $R$ has weights on $V,$ finite in number. $A$ permutes the corresponding weight spaces, and, being connected, fixes them all. Since $V$ is irreducible, there is only one such space and it is all of $V,$ so that $R$ consists of scalars, of determinant 1 since $A=\mathcal{D}A,$ so that $R$ is finite. Since $R$ is connected, $R=1,$ so that $A$ is semisimple, as claimed. Let ${A}_{1}=\Pi {A}_{i1}$ be the universal covering group of $A$ written as a product of its indecomposable components, ${A}_{0}=\Pi {A}_{i0}$ the corresponding factorization of the adjoint group, and $\alpha ,\beta ,\gamma =\Pi {\gamma}_{i}$ the corresponding natural maps as shown: $$\begin{array}{cccccc}& & \multicolumn{2}{c}{\phantom{aa}{A}_{1}}& =& \Pi {A}_{i1}\\ & \n\u290f\n\delta \n& \alpha \begin{array}{c}\downarrow \end{array}\phantom{\alpha}& \downarrow \\ G& \stackrel{\sigma}{\u27f6}& A& & \gamma =\Pi {\gamma}_{i}\\ & \n\u2192\n\beta \sigma \n& \beta \begin{array}{c}\downarrow \end{array}\phantom{\beta}\\ & & \multicolumn{2}{c}{\phantom{aa}{A}_{0}}& =& \Pi {A}_{i0}\end{array}$$By Lemma 77 we can lift $\beta \sigma $ componentwise to get a homomorphism $\delta :G\to {A}_{1}$ of the form $\delta \left(x\right)=\Pi {\epsilon}_{i}{\phi}_{i}\left(x\right)$ with each ${\phi}_{i}$ an isomorphism of $k$ into $K$ and ${\epsilon}_{i}$ a rational homomorphism of ${\phi}_{i}G$ into ${A}_{i1}\text{.}$ We have $\alpha \delta =\sigma $ since otherwise we would have a homomorphism of $G$ into the center of $A\text{.}$ By Lemma 68, Cor. (a), $\alpha ,$ interpreted as an irreducible rational representation of ${A}_{1},$ may be factored $\underset{i}{\otimes}{\alpha}_{i}$ with ${\alpha}_{i}$ an irreducible rational representation of ${A}_{i1}\text{.}$ On setting ${\rho}_{i}={\alpha}_{i}{\epsilon}_{i},$ we see that $\sigma =\alpha \delta =\otimes {\alpha}_{i}{\epsilon}_{i}{\phi}_{i}=\underset{i}{\otimes}{\rho}_{i}{\phi}_{i},$ as required. $\square $ 
Corollary:
(a)  Every absolutely irreducible real representation of a real Chevalley group $G$ is rational. 
(b)  Every holomorphic irreducible representation of a semisimple complex Lie group is rational. 
(c)  Every continuous irreducible representation of a simply connected semisimple complex Lie group is the tensor product of a holomorphic one and an antiholomorphic one. 
Proof.  
(a) If $G$ is universal, this follows from the theorem and the fact that the only isomorphism of $\mathbb{R}$ into $\mathbb{R}$ is id. The transition to the nonuniversal case is an easy exercise. (b) The proof is similar to that of (a). (c) The only continuous isomorphisms of $\u2102$ into $\u2102$ are the identity and complex conjugation. $\square $ 
Exercise: Prove that the word "absolutely" in (a) and the words "simply connected" in (c) may not be removed.
Now we shall touch briefly on some additional results.
Characters. As is customary in representation theory, the characters (i.e. the traces of the representative matrices) play a vital role. We state the principal results in the form of an exercise.
Exercise:
(a)  Prove that two irreducible rational $G\text{modules}$ are isomorphic if and only if their characters are equal. (Consider the characters on $H\text{.)}$  
(b)  Assume that $\text{char}\hspace{0.17em}k=0$ and that the theorem of complete reducibility has been proved in this case. Prove (a) for representations which need not be irreducible.  
(c) 
Assume $\text{char}\hspace{0.17em}k=0\text{.}$ Prove Weyl's formulas: Let
$V,\lambda $ be as in Theorem 39(e), $\chi $ the corresponding character, and
$\delta $ onehalf the sum of the positive roots, a character on $H\text{.}$ Set
${S}_{\lambda}=\underset{w\in W}{\Sigma}\text{det}\hspace{0.17em}w\xb7w(\lambda +\delta ),$
a sum of functions on $H\text{.}$ Then

Remark: The formula (1) determines $\chi $ uniquely since it turns out that the elements of $G$ which are conjugate to those elements of $H$ for which ${S}_{0}\ne 0$ form a dense open set in $G\text{.}$
The unitarian trick. The basic results about the irreducible complex representations of a compact semisimple Lie group $K,$ i.e. a maximal compact subgroup of a complex Chevalley group $G$ as in §8, can be deduced from those of $G$ because of the following important fact: $(*)$ $K$ is Zariskidense in $G\text{.}$ Because of Lemmas 43(b) and 45 $\text{(}K$ is generated by the groups ${\phi}_{2}{SU}_{2}\text{)}$ this comes down to the fact that ${SU}_{2}$ is Zariskidense in ${SL}_{2}\left(\u2102\right),$ whose proof is an easy exercise. By $(*)$ the rational irreducible representations of $G$ remain distinct and irreducible on restriction to $K\text{.}$ That a complete set of continuous representations of $K$ is so obtained then follows from the fact that the corresponding characters form a complete set of continuous class functions on $K\text{.}$ The proof of this uses the formula for Haar measure on $K$ and the orthogonality and completeness properties of complex exponentials, and yields as a byproduct Weyl's character formula itself. This is how Weyl proved his formula in Math. Zeit. 24 (1926) and it is still the best way. The theorem of complete reducibility can be proved as follows. Given any rational representation space $V$ for $G$ and an invariant subspace $V\prime ,$ we can, by averaging over $K,$ relative to Haar measure, any projection of $V$ onto $V\prime $ and taking the kernel of the result, get a complementary subspace invariant under $K,$ thus also invariant under $G$ because of $(*)\text{.}$ It is then not difficult to replace the complex field by any field of characteristic $0\text{.}$
Invariant bilinear forms. $G$ denotes an indecomposable infinite Chevalley group, $V$ an irreducible rational $G\text{module,}$ and $\lambda $ its highest weight.
Lemma 78: The following conditions are equivalent.
(a)  There exists on $V$ a (nonzero) invariant bilinear form. 
(b)  $V$ and its dual ${V}^{*}$ are isomorphic. 
(c)  ${w}_{0}\lambda =\lambda \text{.}$ 
Proof.  
Exercise (see Lemma 73). $\square $ 
Exercise: Prove that ${w}_{0}$ is the identity for all simple types except ${A}_{n}$ $(n\ge 2),$ ${D}_{2n+1},$ ${E}_{6},$ and for these types it comes from involutory automorphism of the Dynkin diagram. (Hint: for all of the unlisted cases except for ${D}_{2n}$ the Dynkin diagram has no symmetry.)
Exercise: If there exists an invariant bilinear form on $V,$ then it is unique up to multiplication by a scalar and is either symmetric or skewsymmetric. (Hint: use Schur's Lemma.)
Lemma 79: Let $h=\Pi {h}_{\alpha}(1),$ the product over the positive roots.
(a)  $h$ is in the center of $G$ and ${h}^{2}=1\text{.}$ 
(b)  If $V$ possesses an invariant bilinear form then it is symmetric if $\lambda \left(h\right)=1,$ skewsymmetric if $\lambda \left(h\right)=1\text{.}$ 
Proof.  
(a) Since ${h}_{\alpha}(1)={h}_{\alpha}(1)$ (check this), $h$ is fixed by all elements of $W\text{.}$ This implies that $h$ is in the center, as easily follows from Theorem 4'. Since ${h}_{\alpha}{(1)}^{2}={h}_{\alpha}\left(1\right)=1,$ we have ${h}^{2}=1\text{.}$ (b) We have an isomorphism $\phi :V\to {V}^{*},$ ${v}^{+}\to {f}^{+}$ with ${v}^{+}$ and ${f}^{+}$ as in Lemma 73; the corresponding bilinear form on $V$ is given by $(v,v\prime )=\left(\phi v\right)\left(v\prime \right)\text{.}$ It follows that $(x{v}^{+},y{v}^{+})={f}^{+}\left({x}^{1}y{v}^{+}\right)$ for all $x,y\in G\text{.}$ Thus $({v}^{+},{w}_{0}{v}^{+})={f}^{+}\left({w}_{0}{v}^{+}\right)\ne 0$ by the definition of ${f}^{+},$ and $({w}_{0}{v}^{+},{v}^{+})=f\left({w}_{0}^{1}{v}^{+}\right)\text{.}$ If ${w}_{0}={w}_{\alpha}{w}_{\beta}w\gamma \dots $ is a minimal product of simple reflections in $W,$ then for definiteness we pick ${w}_{0}={w}_{\alpha}\left(1\right){w}_{\beta}\left(1\right)\dots $ in $G,$ so that ${w}_{0}^{1}=\dots w\gamma (1){w}_{\beta}(1){w}_{\alpha}(1)\text{.}$ We have ${w}_{\alpha}(1)={w}_{\alpha}\left(1\right){h}_{\alpha}\left(1\right),$ and similarly for $\beta ,\gamma ,\dots \text{.}$ Substituting into the expression for ${w}_{0}^{1}$ and bringing all the $h\text{'s}$ to the right, by repeated conjugation by $w\text{'s,}$ we get to the right $h$ by Appendix II (25) and to the left $\dots w\gamma \left(1\right){w}_{\beta}\left(1\right){w}_{\alpha}\left(1\right)$ which is just ${w}_{0}$ by a lemma to be proved in the last section. Thus ${w}_{0}^{1}={w}_{0}h,$ and $({w}_{0}{v}^{+},{v}^{+})$ becomes $\lambda \left(h\right){f}^{+}\left({w}_{0}{v}^{+}\right)=\lambda \left(h\right)({v}^{+},{w}_{0}{v}^{+}),$ as required. $\square $ 
Observation: $h$ as in Lemma 79 is 1 in each of the following cases, since the center is of odd order.
(a)  $G$ is adjoint. 
(b)  $\text{Char}\hspace{0.17em}k=2\text{.}$ 
(c)  $G$ is of type ${A}_{2n},{E}_{6},{E}_{8},{F}_{4},{G}_{2}\text{.}$ 
Exercise: In the remaining cases find $h,$ as a product $\Pi {h}_{\alpha}{(1)}^{{n}_{\alpha}}$ over the simple roots.
Example: ${SL}_{2}\text{.}$ For every $V$ there is an invariant bilinear form. Assume $\text{char}\hspace{0.17em}k=0,$ so that for each $i=1,2,3,\dots $ there is exactly one $V$ of dimension $i,$ viz. the space of polynomials homogeneous of degree $i1\text{.}$ Then the invariant form is symmetric if $i$ is odd, skewsymmetric if $i$ is even.
Invariant Hermitean forms. Assume now that $G$ is complex, $\sigma $ is the automorphism of Theorem 16, $K={G}_{\sigma}$ is the corresponding maximal compact subgroup, $V$ and ${v}^{+}$ are as before, and $f:G\to \u2102$ is defined by $x{v}^{+}=f\left(x\right){v}^{+}+$ terms of other weights.
(a)  Prove that $f\left(\sigma {x}^{1}\right)=\stackrel{\u203e}{f\left(x\right)}\text{.}$ (First prove it on ${U}^{}HU,$ then use the density of ${U}^{}HU$ in $G\text{.)}$ 
(b)  Prove that there exists a unique form $(\hspace{0.17em},\hspace{0.17em})$ from $V\times V$ to $\u2102$ which is linear in the second position, conjugate linear in the first, and satisfies $(x{v}^{+},y{v}^{+})=f\left(\sigma {x}^{1}y\right),$ and that this form is Hermitean. 
(c)  Prove that $(\hspace{0.17em},\hspace{0.17em})$ is positive definite and invariant under $K\text{.}$ 
Dimensions. Assume now that $G$ is a Chevalley group over an infinite field $k,$ that $V$ and $\lambda $ are as before, and that ${\mathcal{U}}_{\mathbb{Z}}$ is the universal algebra of Theorem 2, written in the form ${\mathcal{U}}_{\mathbb{Z}}^{}{\mathcal{U}}_{\mathbb{Z}}^{0}{\mathcal{U}}_{\mathbb{Z}}^{+}$ of page 16.
(a)  Prove that there exists an antiautomorphism $\sigma $ of ${\mathcal{U}}_{\mathbb{Z}}$ such that $\sigma {X}_{\alpha}={X}_{\alpha}$ and $\sigma {H}_{\alpha}={H}_{\alpha}$ for all $\alpha \text{.}$ 
(b)  Define a bilinear form $(u,u\prime )$ from ${\mathcal{U}}_{\mathbb{Z}}$ to ${\mathcal{U}}_{\mathbb{Z}}^{0}$ thus: write $\sigma u\xb7u\prime $ in the above form and then set every ${X}_{\alpha}=0\text{.}$ Prove that this form is symmetric. 
(c)  Now define a bilinear form from ${\mathcal{U}}_{\mathbb{Z}}$ to $\mathbb{Z}$ thus: ${(\hspace{0.17em},\hspace{0.17em})}_{\lambda}=\lambda \circ (\hspace{0.17em},\hspace{0.17em})$ (interpreting $\lambda $ as a linear form on $\mathscr{H}$ such that $\lambda \left({H}_{\alpha}\right)\in {\mathbb{Z}}^{+}$ for all $\alpha >0\text{).}$ Assuming now that this form is reduced modulo the characteristic of $k,$ prove that its rank is just the dimension of $V\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.