39 London Mathematical Society Lecture Note Series D G Northcott
39 London Mathematical Society Lecture Note Series D G Northcott
D. G. Northcott
Professor of Pure Mathematics
University of Sheffield
Published in the United States of America by Cambridge University Press, New York
www.cambridge.org
Information on this title: www.cambridge.org/9780521229098
A catalogue record for this publication is available from the British Library
vii
knowledge is required, but the reader who knows the topics mentioned
above will find that other results are rarely used, and that where they
are it will usually require little time and effort to fill in the gaps. To
help him I have provided suitable references wherever they are likely
to be needed
The book falls naturally into two parts with Chapters 1-4 forming
the first part. Here the aim is to show how those loci in classical
analytical geometry that are defined by the solutions of simultaneous
algebraic equations (together with the appropriate transformations of one
such object into another) can be turned into a category. In this context
the ambient affine space which makes geometrical thinking possible has
to be removed from the picture, but not so far that it cannot be brought
back readily when geometrical insight into a situation is needed.
Turning now to points of detail, Chapter 1 is used to explain certain
matters that have to do with terminology and notation. It is also used to
give a brief survey of the properties of tensor products over a field. The
latter enables the discussion of (i) products of affine algebraic sets, and
(ii) the consequences of enlarging the ground field, to take place later
without an interruption to explain technicalities of a purely algebraic nature
The development of geometrical ideas begins with Chapter 2. Beside
describing affine sets, their products and their morphisms, I have also
revived the theory of specializations because, it seems to me, it provides
techniques that are both interesting and highly effective. Chapter 3
introduces the concept of the irreducible components of an affine set, the
idea of dimension, and the very important topic of almost surjective
morphisms. The last of the chapters devoted to Geometry deals with the
subject of tangent spaces and simple points.
Part 1 contains all the Geometry that is needed for the reader to be
able to understand the rest of the book. But although it was planned with
the idea of supporting an introduction to Algebraic Groups it is the author's
hope that it will be of interest to those whose main concern is to get an
insight into the foundations of Algebraic Geometry. If the first four
chapters are read with this more limited end in view, then I would suggest
ending with section (4. 5) because the last section of the chapter consists
of technical material used later to study the connection between an Affine
viii
Group and its associated Lie Algebra. A natural continuation of the
geometrical sections would be the theory of tangent bundles.
The second part moves fairly quickly into the study of Affine Groups.
These are groups which also have an affine structure and where the group
operations are compatible with this structure. After the definitions and
a discussion of the relation between connectedness and irreducibility,
such topics as rational representations, linearly reductive groups, and
the beginnings of invariant theory are considered. Chapter 5 ends with a
comparatively elementary proof that every factor group of an affine group,
with respect to a closed normal subgroup, has itself a natural.structure
as an affine group. This is one place where the account draws more
heavily on the reader's knowledge of Commutative Algebra than it does
elsewhere, but the topic seemed of sufficient importance to justify a
departure from the guide lines which I had set myself for the book as a
whole. It may help the reader to know that Chapter 5 makes very little
use of Chapter 4. If therefore he wishes to get to the second part as
quickly as possible, he may prefer to begin Chapter 5 after completing
Chapter 3, and then to return to Chapter 4 to fill in certain gaps at a
later stage. This in fact is what I did in my seminars.
The theory of Lie Algebras is not introduced until Chapter 6. Here
it is shown that with each Affine Group there is associated a Lie Algebra
and a detailed study is made of some of the most important examples. It
is possible to exploit this connection very effectively in the case of a
ground field of characteristic zero. The final chapter provides the theory
which in this case enables properties of the associated Lie Algebras to be
transferred back to the Affine Groups. It is here that the account stops.
To continue further it would be necessary to include a short course on
Lie Algebras after which an account of classical affine groups could be
given.
I have, of course, made use of the writings of other mathematicians.
I have already mentioned the special debt I owe to J. Fogarty's book on
Invariant Theory. I also made considerable use of C. Chevalley's first
account of Algebraic Groups, and the presentation, by H. Bass, of a
course given by A. Borel on Linear Algebraic Groups. In the case of
Geometry, it was a pleasure to re-read part of A. Weil's book on the
ix
Foundations of Algebraic Geometry. So far as Commutative Algebra is
concerned I have relied principally on the books of O. Zariski, P. Samuel
M. Nagata, and my own writings. Detailed references will be found in the
text and in the booklist given at the end.
On a more personal level I would like to thank those who came to
my seminars and encouraged me by the interest they showed, and once
again it is a pleasure to thank Mrs. E. Benson for doing all the typing
with such excellent results.
Finally I would like to express my appreciation to the London
Mathematical Society and the Syndics of the Cambridge University Press
for agreeing to let this appear in their series of Lecture Notes.
Sheffield D. G. Northcott
February 1979
x
Part I. Affine Sets
1 . Preliminaries concerning algebras
General remarks
1. 1 Algebras
3
defined by w(k) = k1R is a (unitary) ring-homomorphism which maps K
into the centre of R. This ring-homomorphism is referred to as the
structural homomorphism of the algebra. If R is non-trivial, that is
if its identity element is not zero, this allows us to identify K with a
subring of the centre of R.
Let us reverse the procedure. Suppose that R is a ring with
identity element and that we are given a ring-homomorphism w: K ~ R
which maps K into the centre of R. If for a E Rand k E K we put
ka = w(k)a, then R becomes a unitary, associative K-algebra having w
as its structural homomorphism. Both ways of looking at these algebras
will be useful.
Let Rand R' be unitary, associative K-algebras and ¢ : R ~ R'
a (unitary) ring-homomorphism. We say that ¢ is a homomorphism of
K-algebras if it is also a K-linear mapping of R into R'. Thus if
w : K ~ R and w' : K ~ R I are the structural homomorphisms, then ¢
is a homomorphism of K-algebras if and only if </> 0 w = w'. In the case
where Rand R' are both non-trivial we may regard K as being em-
bedded in each of the two rings. In this situation ¢ is a homomorphism of
K-algebras when and only when it leaves the elements of K fixed.
An isomorphism of K-algebras is, of course, a homomorphism of
K-algebras which is also a bijection. Every isomorphism has an inverse
which is also an isomorphism.
4
of finite products a a ... a (n:::: 0), where a. EA. Naturally the empty
1 2 n 1
product is understood to have the value lR' If S = R, then A is said
to be a system of generators for R. If R can be generated by a finite
set, then it is said to be finitely generated as a K-algebra.
Now let ~ be a two-sided ideal of R. Then ~ is a K-subspace of
R and the ring R/~ has a unique structure as a unitary, associative
K-algebra subject to the requirement that the natural mapping of R on to
R/~ shall be a homomorphism of K-algebras. Whenever we refer to
R/~ as a K-algebra it is always this structure that we have in mind.
1. 3 Examples of K-algebras
5
Example 5. Let X , X , •.• , X be indeterminates. Then the
1 2 n
polynomial ring K[X 1 , X 2 , ... , Xn] is a commutative K-algebra.
(fg)(v) = f(v)g(v).
w:UXV-+W,
6
independent subset of U ® V. In particular if u E U, U *- 0 and v E V,
v*-o, then u ® v *- O.
The following result is often useful.
Theorem 1. Let u I ' u 2 ' ••• , un belong to U and vI' v 2 ' ••• , vn
to V. Suppose that u I ' u 2 ' ••• , un are linearly independent over K
and that
u ®v
1 1
+ u2 ®v
2
+... + un ®v
n
= O.
Then v. = 0 -for i = I, 2, ••• , n.
-- 1
7
associative K-algebras. As in the last section we shall use ® to stand
for a tensor product taken over K.
If we form R ® 8, then this is not simply a K-space. It has in fact
the structure of a unitary, associative K-algebra in which multiplication
satisfies
(r ® s )(r ® s ) = r r ® s s , (1. 5. 1)
1 12 2 12 12
(1. 5. 2)
8
[SU, ~ ] = SU ® S + R ® ~ (1. 5. 4)
of K-algebras.
(1. 6. 1)
L
Then V has a natural structure as a vector space over L in which
L
it being understood that v E V and A, ~' E L. Naturally V can also be
9
regarded as a K-space.
Consider the mapping V .... V L in which v 1-+ v ® l L . This is K-
linear and it is also an injection. Consequently we may (and usually do)
regard V as a K-subspace of VL . On this understanding any base for
V over K is a base for VL over L; in particular, if the elements
v , v , ... , v of V are linearly independent over K, then they are
1 2 n
also linearly independent over L. Furthermore to a certain extent the
roles of V and L can be interchanged. To be precise let {A.}. I be a
L 1 IE
base for Lover K. If now W E V , then there exists a unique family
{w. L I of elements of V such that (i) only a finite number of the w.
1 IE 1
are non zero, and (ii) W = ~ A.W
1 1
..
Next let f : U .... V be a homomorphism of K-spaces. This will have
a unique extension to a homomorphism U .... V
L L of L-spaces. In fact the
extension of f is just f ® L.
Now suppose that Rand S are unitary, associative K-algebras.
Then RL =R ® L is both a vector space over L and at the same time
a ring with an identity element. Indeed RL is a unitary, associative L-
L
algebra in which the structural homomorphism L .... R maps the element
A, of L, into lR ® A.
Our earlier remarks show that we can regard R as being embedded
in RL. If this is done, then R is a subalgebra of RL when the latter is
regarded as a K-algebra. Moreover any set of elements of R which
generates R as a K-algebra will also generate RL as an L-algebra. In
particular, when R is a finitely generated K-algebra, RL is a finitely
generated L-algebra.
Once again let {A.}. I be a base for Lover K and suppose that
1 IE
{3 E RL. Our previous observations show that there exists a unique family
{b. }. rT of elements of R such that {3 = ~ A.b.. Hence if III is a two-
1 It:J. 1 1
sided ideal of Rand'll R L is the two-sided ideal it generates in R L,
then {3 E'llRL if and only if b. E III for all i E I. It follows that
1
(1. 6. 3)
10
n (1. 6. 4)
jEJ
(1. 6. 5)
of L-algebras.
Although considerably more could be said about algebras and tensor
products in the general context of this chapter, we have now reached a
convenient point at which to begin concentrating the discussion on the
situations that are particularly relevant to the treatment of affine alge-
braic sets.
11
2 . Affine sets
General remarks
12
Definition. M will be said to be a 'rational maximal ideal' or
(more precisely) to be 'K-rational' if RIM =K or (equivalently) if
RIM and K are isomorphic K-algebras.
13
which matches (a , a , ..• , a ) with the rational maximal ideal
1 2 n
(Xl-aI' X 2 -a 2 , ... , Xn-a n)·
We mention, in passing, that when K is algebraically closed, ever;
maximal ideal of K[X I , X 2 ' ••• , Xn] is K-rational. t This is an impor-
tant result with far-reaching consequences, but they will concern us only
to a small extent in Chapter 2.
Suppose, by way of contrast, that K is a finite field with q ele-
ments. Then the non-zero elements of K form a multiplicative group
of order q - 1 and therefore a q = a for all a E K. In particular the
polynomial X; - Xl belongs to all the rational maximal ideals of
K[Xl' X 2 ' ••• , Xn] and, in consequence, the intersection of these maxi-
mal ideals is not zero. However, when K is an infinite field the situation
is quite different as we shall now show.
14
m
so that cp(w 1 , ••• , wn _1' W ) = L cp.(w , ... , W
n-l
)w m - j is different
n
n j=O] 1
from zero.
n M = (0).
MEmK(R)
We shall now take a quick look at what happens to R and its rational
maximal ideals if we enlarge the ground field from K to L (say).
Certain general comments on this operation were made in section (1. 6).
These will be used here. Note that RL is now a commutative L-algebra.
15
set of L-rational maximal ideals also has intersection zero.
From section (1. 6) we know that a homomorphism ¢ : S ... R of
K-algebras induces a homomorphism SL ... RL of L-algebras.
16
2. 2 Function algebras
M = {f If E Rand f(x)
x
= 0 }, (2. 2. 1)
17
Proof. Assume (a). Then M is not contained in M. Con-
x y
sequently there exists f M such that f t M. This shows that (a)
E
x y
implies (b) and similarly it implies (c). Obviously each of (b) and (c)
implies (a) so the proof is complete.
FunCtion algebras arise quite naturally. Suppose that S is some
given unitary, associative, and commutative K-algebra. For each I/J E S
we can define a mapping
by
18
Example. Consider the derived function algebra of
K[X , X , .•. , X ], where X , X , ... , X are indeterminates and
1 2 n 1 2 n
n ~
1. We have already seen, in section (2. 1), that there is a natural
bijection between Kn and the set of rational maximal ideals. If we now
identify these, then the derived function algebra may be written as
(K n, K[X 1 , ••• , Xn ])·
Suppose next that q,{X 1 , X 2 ' ••• , Xn) belongs to K[X 1 , X 2 '''' , Xn]
and let ~ be its image in K[X , X , •.. , X]. Then ¢: Kn .... K and,
1 2 n
by (2. 2. 3),
Thu~ K[X 1 , X 2 ' ••• , Xn] consists of the members of K[X 1 , X 2 ' ••• ,Xn ]
now regarded as functions from Kn to K. Observe that, by Lemma 2
and Theorem 3, the canonical homomorphism
M
x
{f If E Rand f{x) = 0}
so that M is a K-rational maximal ideal of R. Now suppose that A is
x
a subset of R and put
Thus CV{A) consists of the common zeros of the functions which make up
A. We call CV{A) the locus of the set A. Note that if AR denotes the
ideal generated by A, then
(2. 3. 2)
19
Also if A and A are subsets of R, then
1 2
CV ( L ~ .) = n CV(~')'
iEI 1 iEI 1
This shows that V can be endowed with a topology in which the closed
sets are precisely the sets CV(~)' i. e. the closed sets in the topology
are the various loci. We shall refer to this as the R-topology on V.
Let ~ be an ideal of R. In preparation for the next set of obser-
vations we define Rady(~) as the intersection of all the rational maxima
ideals of the form M , where x E V, that contain ~. (If there are no
x
such maximal ideals containing ~, then it is to be understood that
Rady(~) = R.) Evidently
(2. 3. 7)
and
(2. 3. 8)
20
Also if 21 and 2I are ideals, then
I 2
2I I~2
2I implies RacL_(2I
-VI
) ~ RacL_(2I
-V2
). (2. 3. 9)
(2.3.10)
(2. 3. 11)
ly(U) = n Mx
XEU
(2.3.13)
(2.3.14)
21
Again, by (2.3.13) and (2.3.10),
(2. 3. 15)
Before proceeding to the next theorem let us note for future refer-
ence that if U ,U are subsets of V, then
I 2
as required.
It remains for us to prove the final assertion. However
1V(U) = Iy(CV (ly(U» = Ra<ly(ly(U» by (2.3.15), and so 1V(U) = ly(U)
by (2. 3. 14).
22
Theorem 10. Let U denote a typical closed subset of V and III
a typical ideal of R satisfying III = Rady(Ill). Then there is a natural
bijection connecting the set of U's and the set of Ill's. This is such
that if U is matched with Ill, then ly(U) = III and CV(Ill} = U. More-
over the bijection reverses inclusion relations.
23
2. 4 Affine sets
24
of K-algebras, where Xl' X 2 , ••• , Xn are indeterminates that are
mapped into u , u , ... , u respectively.
1 2 n
Theorem 13. Let V be an affine set and let f1 , f 2' ••• , fr belong
to K[V]. Then the following statements are equivalent:
(a) f, f , ... , f are linearly independent over K;
1 2 r
(b) in V ~su.::.c.::.h_th,-a_t_t-=h-,-e_d,-,e_te-,-r_m,---ina_n_t
there exist y 1 , y 2 , .•. , yr - - .
If. I
(y.) is non-zero.
1 J
f1 (y 1) f1 (y 2)
f 2(Y1) f 2(y)
And so on. Thus (a) implies (b) and the converse is obvious.
Let V be an affine set with coordinate ring K[V]. If now III is
an ideal of K[V], then Rarly (Ill) , as defined in section (2.3), is the inter-
section of all the rational maximal ideals of K[V] that contain III .
This is a convenient point at which to draw attention to what happens
if K should be algebraically closed. Suppose that this is the case and let
X1 , X 2 , •.. , Xn be indeterminates. We have already observed that in
the situation under consideration every maximal ideal of K[X 1, X 2 , ••• ,X n]
is K-rational. But, whatever the field K, the ring K[X , X , ... , X ]
1 2 n
has the property that for any ideal III the intersection of all the maximal
ideals containing III is Rad III , t i. e. the set of elements for which some
power belongs to the ideal. A ring with this property is sometimes called
a Hilbert ring because of the intimate connection with Hilbert's Zeros
Theorem. The same rings are also known as Jacobson rings because they
are characterized by the fact that in every homomorphic image the nil-
25
radical is the same as the Jacobson radical. Because of the geometrical
association we shall use the former name. In fact the general theory of
these rings was discovered independently by O. Goldman (5) and W. Krull
(7).
It is clear that any homomorphic image of a Hilbert ring is itself
a Hilbert ring. Consequently, in view of Lemma 4, if V is an affine set
defined over an algebraically closed field. K, then K[V] is a Hilbert ring
and all its maximal ideals are K-rational. Consequently for any ideal III ,
of K[V], Ra~(Ill) = Rad(Ill). The next theorem also illustrates a special
feature pertaining to the case where the ground field is algebraically
closed.
26
Definition. An 'affine K-algebra' is a K-algebra that is isomorphic
to the coordinate ring of some affine set defined over K.
Proof. Assume (a) and let us use the notation of Theorem 15. By
Lemma 2, Sand S are isomorphic K-algebras and, by Theorem 15, S
is an affine algebra. This showS that (a) implies (b). The converse, of
course, is trivial.
27
Theorem 17. Let V be an affine set and U a subset of V. Let
S be the K-algebra consisting of the restrictions, to U, of the functions
which make up K[V]. Then in order that U should be an affine set with
S as its coordinate ring it is necessary and sufficient that U be a closed
subset of V.
28
M.= {flfEjJK(V) and f(x.)=O}
1 1
29
~ , ~ , ... , ~ are algebraically independent over K if and only if K
1 2 n
is infinite. If K is finite, then V is a finite set and
K[ ~l' ~2' ••• , ~n] = 'd K(V).
The members of K[V] are often referred to as polynomial functions
on V.
Example 3.
This is essentially the same as Example 2 but the
restatement involved helps to explain our terminology. Kn is an n-
dimensional vector space over K and it has the natural base
e , e , ..• , e , where e. = (0, ••. , 1, ••. , 0) with the 1 occurring
1 2 n 1
in the i-th position. Let X. : Kn ... K be the i-th coordinate function so
1
that
x.(a , a , .•• , a )
1 1 2 n
= a 1..
Then X , X , ••. , X is the base of HomK(Kn , K) that is dual to
1 2 n
e , e , ... , e . Accordingly Kn is an affine set with K[X ,X , •.. , X ]
1 2 n 1 2 n
as its coordinate ring. We refer to this affine set as affine n-space. Of
course
where the right hand side consists of the members of K[X 1 , X 2 , ••• ,Xn ]
regarded as functions from Kn to K, and the natural homomorphism
maps X. into X ..
I 1
Let </l(X 1 , X 2 ' ••• , Xn) f K[X1 , X 2 ' ••• , Xn] and let ¢ be the
corresponding member of the coordinate ring of Kn. The principal locus
determined by ¢ is composed of the points (a , a , .•• , a ) of Kn
1 2 n
that are zeros of </l(X , X , •.• , X). It follows that the closed subsets
1 2 n
of affine n-space are just those loci that are defined by algebraic equations
in the manner that is familiar from elementary coordinate geometry. Of
course when K is infinite we can regard K[X , X , •.. , X ] itself as
1 2 n
the coordinate ring of Kn.
30
Example 4. This is an important example of a way in which affine
sets often arise. Let V be a given affine set and let f E K[V]. Put
31
ideals of 8[I/f*]. The theorem is therefore proved.
An important simplification takes place when f is a non-zero-
divisor in K[V]. Assume that
K[V] UJ ~ 8 U~]
on the basis of which we can make the identification
It is clear how the members of the right hand side are to be regarded as
K-valued functions defined on U. We also see that if K[V] is an integral
domain and f *- 0, then K[U] is also an integral domain.
(2. 5. 2)
by means of
32
GL(V) = {g Ig E E and D(g)"* 0 l. (2. 5. 4)
Then GL(V) consists of the units of the algebra En~(V) and therefore
it has a group structure. It is usually referred to as the general linear
group of V.
For the moment our main concern is to note that the considerations
put forward under Example 4 enable us to regard- GL(V) as an affine set.
In fact if S is the K-algebra obtained by restricting the members of
K[E] to GL(V), then the coordinate ring of GL(V) is given by
Indeed we can find a base f.. (1:s i :s n, 1 :S j :S n) for E with the follow-
1]
ing property: if f = ~~a. J .. , where a .. E K, then D(f) is the deter-
1~ IJ IJ -- .
minant of the matrix II a .. II. This enables us to identify K[E] with
IJ
K[X ,X
, •.. , X ], where the X .. are indeterminates, and then D
11 12 nn IJ
in K[E] becomes identified with the polynomial Det Ilx .. 11. Thus to sum
IJ
up: when K is an infinite field
K[GL(V)]= K[X 1 l' X12 , ... , Xnn ] [ Det Xij IIJ II (2. 5. 7)
33
rational maximal ideal of K[V] respectively K[W].
Suppose that we have a mapping cp: V - W. For g E K[W] put
(2. 6. 3)
from which it follows that I/I*(g) = w(g) E K[V]. We now see that 1/1: V-W
34
is a K- morphism and 1/1* = w. Moreover by combining our observations
we obtain the important
Our aim is to study affine sets and their morphisms. It will now be
clear that this is virtually equivalent to studying affine algebras and their
homomorphisnis. Thus we could, if we wished, restrict our attention to
the study of algebras. This indeed would have substantial advantages in-
cluding the possibility of achieving great generality. However we shall
not do this because it would sever the connections of the subject with
geometry and, in a certain sense, it would stand the subject on its head.
During the twentieth century Geometry has been the victim of a takeover
bid by Algebra and a very useful way of looking at certain questions has
been lost to some mathematicians. For once generality will be asked to
give way to historical considerations.
Returning to the main discussion, let !/J: V -W be a K-morphism
of affine sets.
35
Evidently 1/>: V - W is a K-isomorphism if and only if
1/>* : K[W] - K[V] is an isomorphism of K-algebras. Furthermore
when this is the case we have
(2. 6. 5)
36
rational maximal ideals that contain it. Accordingly, by (2.3.15),
I (U) = III and therefore
Kn
fvg:VXW-+K (2. 7. 1)
by
37
The functions f v g will generate a subalgebra of the K-algebra
!j K(V x W). This subalgebra will be denoted by R x K S. Accordingly
(V x W, R x K S) is a new function algebra over K. It will be called the
product of (V, R) and 0N, S). Note that a typical element of R XKS
can be written in the form
f v g + f v g + •.• +f vg,
1 1 2 2 IP m
(f v g)(f v g ) = f f v g g . (2. 7. 3)
1 12 2 12 12
38
[Ill, Q3] is an ideal of R ®K S = R xK S. In fact a typical element of
[Ill, Q3] can be written in the form
f v g + f v g + ... +f vg,
1 1 22m m
R' ®K
S' '" RK Rx S
® S""K
t It is assumed that R' and S' are unitary, associative, and commuta-
tive.
39
2. 8 Products of affine sets
I
A = {(x, y) (x, y) E K x K and x = y }.
40
Hence the product topology on K x K is different from the affine
topology.
We continue now with the general discussion. Let A be a cbsed
subset of V and B a closed subset of W. By identifying K[V x W]
with K[V] ® K[W] we can regard [Iy(A), lw{B)] as an ideal of the
former. The locus of this ideal is A x B and therefore A x B is a_
closed subset of V x W. Note that if P and Q are open subsets of V
and W respectively, then P x Wand V x Q are open subsets of
V x W because they are the complements of (V \P) x Wand V x (W \Q)
respectively. Accordingly (P x W) n (V x Q), that is to say P x Q, is
an open subset of V x W.
Since A x B is a closed subset of V x W we have two ways of
regarding A x B as an affine set. First of all we may regard A and
B as affine sets and then A x B is an affine set in its own right. Secondly
A x B is a closed subset of V x Wand as such inherits an affine
structure. However, as the next theorem shows, there is no danger of
ambiguity.
v g* + f* v g* +
f*1 1 2 2 · · · + f*S v g*S
41
v1 xv 2 x ... xv s -+K
which is denoted by f1 v f2 v ••• v fs and which is such that
(x , x , ... , x ) 1-+ f (x )f (x ) . .. f (x ).
12 S 1122 SS
is a K-isomorphism.
42
Lemma 6. Let V and W be affine sets and suppose that V is
finite. Then every mapping !fi: V ... W is a K-morphism.
by
is a K-morphism as well.
1TI : V x W- V -
and
- 1T 2 : V x W- W
43
ar~ K-morphisms of affine sets.
f 0 11 = f v I E K[V x w]
1
Proof. Suppose that I/> and ¢' are K-morphisms and assume that
g E K[W], g' E K[W']. The fact that 1/1 is a K-morphism follows from the
relation
a :V-VxW (2. 9. 3)
y
T :W-VxW (2.9.4)
x
w =1 f v g
1
+f
2
v g2
+· •• +fvg
S s'
44
w 0 T = f (x)g + f (x)g + ... + f (x)g E K[W]
XII 2 2 S S
45
as required.
We mention, in passing, a K-morphism which expresses the fact
that an affine set V is, to a certain extent, separated.
Define I): V -V x V by I)(x) = (x, x). This is a K-morphism by
Lemma 11. The image of I) is a subset, d say, of V x V called its
diagonal. By Theorem 12, this subset consists of the common zeros of
the functions f v 1- 1 v f obtained by varying f in K[V]. Thus d
46
w =L A.f., (2.10.1)
iEI 1 1
where f. E K[V] and only finitely many of the f. are non-zero. Let
1 1
x E V. Then w(x) = 0 if and only if f.(x) = 0 for all i, and therefore
1
w = 0 if and only if every f. is zero. This shows that the representation
1
of a member of 8 in the form (2. 10. 1) is unique and now it follows that
8 = K[V]L, (2.10.2)
where the notation is the same as that employed in section (2. 6). The
results of that section show that 8 is a finitely generated L-algebra,
whereas Theorem 4 Cor. 1 enables us to conclude that it is rationally
reduced. Accordingly 8 = K[V]L is an affine L-algebra. Note that !!
f , f , ... , f belong to K[V] and are linearly independent over K,
12m
then they are linearly independent over L when considered as elements
of 8.
Let w E 8 and let w be represented as in (2.10. 1). Further let
x E V and denote by M the corresponding maximal ideal of K[V]. Then
x
w(x) = 0 if and only if f. E M
1 X
for i E I, that is if and only if w E M 8.
X
Thus
and
8ince M 8 n K[V]
x = Mx, we conclude from (2. 10. 3) that different points
of V give rise to different L-rational maximal ideals of 8. Of course,
usually not every L-rational maximal ideal of 8 will arise from a point
of V. To these observations we add the obvious one that if w(x) =0
for all x E V, then w = O.
We now enlarge V to a new set V(L) which is put into a one-one
correspondence with mL (8). At the same time we construct the bijection
V(L) .... mL (8) in such a way that x, in V, is matched with Mx8. Finally
for w E 8 and z E V(L) we define w(z) to be the residue of w with
respect to the member of m L (8) that corresponds to z. The outcome is
47
that y(L) becomes an affine set, defined over L, whose coordinate ring
may be identified with S. Thus
(2.10.5)
Theorem 29. Let the notation be as above. Then the affine topology
on V is the same as the topology induced on it by the affine topology of
V(L). Moreover the closure of y, in V(L), is y(L) itself.
48
principal locus on y(L). The first assertion follows from these observa-
tions. The second assertion is clear because if w vanishes at every
point of y, then w = o.
Corollary. Let w ,w
-- 1 2
E L[y(L)]. Then w
1
= w2 if and only if
W
1
(x) = w2 (x) for all x E y.
w= L ~.f., (2.10.6)
i€! I I
49
Let S* respectively S be the L-algebra that one obtains from
L[y(L)] by restricting the domain of the functions to U* respectively
U. Then U* is an affine set (defined over L) whose coordinate ring
is S* and we have a natural homomorphism S* -+ S of L-algebras.
This indeed is an isomorphism because if w vanishes on U, then it must
vanish on U*.
Let W E L[y(L)] and be represented as in (2.10.6). The restriction
of w to U is then
L >..f,
if! 11
50
We shall now examine the effect of enlarging K to L on K-
morphisms. To this end let !/J: V ... W be a K-morphism of affine sets
and 1/1: V(L) ... W(L) an L-morphism of affine sets. We recall that !/J
induces a homomorphism !/J*: K[W] ... K[V] of K-algebras. Likewise
1/1 induces a homomorphism
Proof. Assume first that 1/1* extends !/J*. Let x EV. By (2.6.3),
whence
51
Notation. The unique extension of a K-morphism rf>: V -W to an
L-morphism V(L) _W(L) will be denoted by rf>(L).
W = b >t.f.
iEI 11
where f. E rf>*(K[W]) and only finitely many of the f. are non-zero. But
L[V(L)] ~ K[V]L and now it is clear that rf>*(K[W]) ~ K[V]. This completes
the proof.
Let us now consider the effect of the extension of the ground field
on the product V x W. Suppose therefore that {f.}. I respectively.
1 IE
{g.}. J is a base for K[V] respectively K[W] over K; furthermore let
J JE
F. respectively G. denote the prolongation of f. respectively g. to
1 J (L) 1 (L) J
V (L) respectively W • Then {F.}. I is a base for L[V ] over L
(L) 1 IE
and {G. }. J a base for L[W ] over L. Accordingly the functions
J JE (L) (L)
F. v G. form a base for L[V x W ] over L. On the other hand, the
1 J
f. v g. form a base for K[V x W] over K and therefore they form a
1 J L
base for K[V x W] over L.
Let S be the L-algebra formed by the restrictions of the members
of L[V(L) x W(L)] to V x Wand consider the homomorphism
52
(2.10.8)
S = K[V x W]L.
Also, because a base of L[V(L) x W(L)] over L is mapped into a base
of S over L, (2.10.8) is an isomorphism. We may therefore conclude,
by appealing to Lemma 14, that
(2.10.9)
53
of L-algebras which results is such that ~i 1-+ ~r Consequently
L
~ ] = K[Y] .
n
54
(2.10.10)
(2.10.11)
(K[V]L)L' = K[V]L'.
Of course V(K) = V.
K[V] - L (2.11.1)
(2.11. 3)
55
Definition. Let ~ € V(L). We say that ~ is a 'generic point' of
V if the homomorphism (2. 11. 1) is an injection.
K[V]
/~
K[ ~] - - - - - K[71]
56
phism and K[ 1/] .... K[ 1;] is its inverse. Hence if 1/ is a specialization of
I; and 1/ is a generic point of V, then I; is also a generic point of V.
57
Suppose next that V, Ware affine sets defined over K. (As before
L denotes an extension field of K.) Let ~, ~' E V(L) and TJ, TJ' EW(L).
By (2.10. 9), (~, TJ) and (~', TJ') belong to (V x W)(L). Evidently the
K-algebra K[(~, TJ)] contains K[~] and K[TJ] as subalgebras and the
smallest subring of K[ (~, TJ)] that contains both K[~] and K[ TJ] is
K[(~, TJ)] itself. Also if (~', TJ') is a specialization of (~, TJ), then ~'
where f = g 0 cp E K[V].
58
Proof. Let w: L'[V(L')] ... L' be the homomorphism of L'-
algebras which maps each function into its value at ~'. For f E K[V],
we have f( ~') E K[ ~'] k: L. It follows that restriction leads to a homo-
morphism L[V(L)] ... L of L-algebras and so there exists ~ E V(L) such
that fW = f(~') for all f E K[V]. But then OW = O(~') for all 0 in
L'[V(L')] and hence ~ = ~'.
59
3 . Irreducible affine sets
General remarks
The' next stage in the development of the theory of affine sets will
be the application of the theory of irreducible topological spaces. Since
the properties of such spaces may be unfamiliar to the reader, all the
results that we shall need will be established in a short preliminary
section.
Once again K denotes a field concerning which no special assump-
tions are made unless these are stated explicitly in connection with par-
ticular situations.
3. 1 Irreducible spaces
60
Theorem 3.
Let X be irreducible and let 0 1 , O 2 be non-empty
open subsets. Then 0 nO is non-empty.
1 2
i 1 , i2 £ I. Put
Y =U Y .•
iEl 1
61
Proof. Suppose that Y ~ Fl U F , where F ,F are closed sub-
212
sets of X, and assume that Y ~ and Y ~ F. We must derive
F a
1 2 '
contradiction.
There exist i , i E I such that Y. ~ F 1 and Y. ~ F. Now
1 2 11 12 2
X '* Xu
1
••• u X.1- 1 U X.+
1 1
U ••• u X m ,
62
then X , X , ... , X are precisely the irreducible components of X.
12m
Conversely if X has only a finite number of irreducible components,
then not only is X their union but also the union is irredundant.
We now introduce a condition on X that ensures that the number
of its irreducible components is finite.
63
It is known t that the following statements concerning R are equivalent:
(a) every ideal is finitely generated;
(b) every infinite increasing sequence of ideals becomes constant;
(c) every non-empty set of ideals contains at least one maximal
member.
Should it happen that R possesses these properties, then it is said to be
a Noetherian ring. Clearly any homomorphic image of a Noetherian ring
is itself Noetherian.
Next suppose that X , X , •..
1 2
,.xn are indeterminates. The
celebrated Basis Theorem t states that if R is a Noetherian ring, then
the polynomial ring R[X1 , X , ..• , X ] is also Noetherian. Since the
2 n
field K is trivially Noetherian, it follows that K[X , X , .•. , X ] is
1 2 n
Noetherian. But Chapter 2 Lemma 4 shows that K[V] is a homomorphic
image of such a ring. Consequently we have proved
64
Theorem 9. The following statements, concerning the affine set
V, are equivalent:
(i) V is irreducible;
(ii) K[V] is an integral domain;
(iii) V possesses a generic point.
F
1
= {xix EV and f(x) = 0),
F
2
= {xix EV and g(x) = 0),
then F . F
l' 2
are closed subsets of V and Fl U F
2
= V. Thus either
F
1
=V or F
2
= V, that is to say either f =0 or g = O. Accordingly
(i) implies (ii).
Now assume (ii). We suppose that V = FlU F 2' where F l' F 2
are closed subsets of V. It will suffice to prove that F 1 =V or
F
2
= V. We assume the contrary and seek a contradiction.
Since F 1 *- V, it follows (see Chapter 2 Theorem 10) that
Iy(F 1) *- (0). Likewise Iy(F 2) *- (0). On the other hand
and therefore Iy(F 1 )ly(F) = (0). But this is contrary to our assumption
that K[V] is an integral domain.
65
generic point of cp(V).
This is obvious.
66
the set of all prime ideals of K[V].
(3. 2. 1)
Put
(3. 2. 2)
1 1
K[V] and Rad._(Po) = Po. Also if i"* j, then Po \l Po.
-V 1 1 1 J
From (3. 2. 1) we conclude that
that is to say
67
L(U)
-v = P1
n P n... n P .
2m
{x Ix E V and f(x) = O}
is closed and it contains N. It therefore contains the closure 'iii' of N.
However, by Theorem 2, 'iii' = V.
and
68
i. e. fg = O. This completes the proof.
The next theorem provides a good example of the power of topologi-
cal methods. In it V and W denote affine sets defined over K. Let
x € V and denote by
T :W-+vxW
x
the mapping in which (y) = (x, y). We know, from Chapter 2 Lemma 12,
T
x
that T is a K- morphism.
x
W = {y /y €W and V x {y} ~ T}
1
and
W = n T-1(T)
1 X€V x
and this is closed because each T is continuous. For similar reasons
x
W 2 is closed. The theorem follows.
69
Corollary. Let R and S be affine algebras over K and suppose
that R and S are integral domains. Then R ®K S is an integral domain
3. 3 Localization
(3. 3. 1)
by
e(y) = ili)
f(y) . (3. 3. 2)
Now keep V and x fixed and let f and g vary. In this way we
obtain a collection, --V,x
A__ say, of K-valued functions. Suppose that e, e'
are in --V,x
A__ • We introduce an equivalence relation on !IV
,x by regar-
ding e and e' as equivalent if they agree on some non-empty open sub-
set of V that contains x. Denote the set of equivalence classes by
QV and let 8 € QV • Then the functions which make up 8 all take
,x ,x
the same value at x. If this common value is denoted by 8(x), then we
have a mapping
70
Q -+K (3.3.3)
V,x
(0 e1 and
--
e2 are equivalent members of J\V
,x
;
(ii) there exists h E K[V] such that h(x) if' 0 and hg f
-- 21
=hg12
f •
71
Proof. If (ii) holds, then 81 and 8 2 agree on the open set where
hg g does not vanish. Thus (ii) implies (i).
1 2
Now suppose that (i) holds. Then f g - f g vanishes on some
1 2 2 1
open set containing x. That there exists h E K[V] with the required
properties is therefore a consequence of Theorem 15. This completes
the proof.
At this point we make a fresh start. Let x
E V and denote by M
x
the corresponding K-rational maximal ideal of K[V]. We now consider
formal fractions fig, where f, g E K[V) and g ¢ M. These are just
x
ordered pairs (written in a certain way) of elements of K[V), where the
second component (the denominator) satisfies g(x) * O. Two such formal
fractions, say fig and f' Ig', are to be considered as equivalent if there
exists h K[V], such that (i) h ¢ M , and (ii) hg'f = hgf'. (This is an
E
x
equivalence relation in the abstract sense.) The set of equivalence classes
will be denoted by (K[V])M and we use fig not only to denote the formal
x
fraction determined by f and g, but also the equivalence class to which
the fraction belongs.
Suppose that f/g 1 and f/g 2 belong to (K[V])M and that k E K.
x
It is easily verified that (K[V])M constitutes an associative, unitary,
x
and commutative K-algebra in which
f1 (kf 1 )
k(-) = - .
gl gl
Next let fig be a formal fraction and the member of --v,
f) A.._ x which it
determines. Then, by Theorem 18, fractions equivalent to fig determine
functions equivalent to 8 and the outcome is that we obtain an isomor-
phism
(3. 3. 5)
72
of K-algebras. This isomorphism is frequently used to identify the two
sides of (3. 3. 5). If this is done, then the homomorphism (3. J. 3) maps
fig into f(x)/g(x) whereas (3.3.4) takes f, of K[Y], into fll.
Suppose that fig f Qy ,where f, g EK[Y] and g(x)
,x *D. Obviously
fig is a unit in Qy
,x if and only if f(x) O. * Consequently fig is a non-
unit if and only if f EM. Denote by M Qy the ideal, of Qy ,which
x x ,x ,x
is generated by the image of M under the canonical homomorphism
x
K[Y] ... Qy . In terms of this notation our remarks prove
,x
Theorem 19. The non-units of Qy form the ideal M Qy .
,x x ,x
This ideal is the kernel of the homomorphism (3.3. 3) and therefore it is
(3. 3. 6)
(3. 3. 7)
* (J' = I/J*{g'}
¢x()
rp*(f') =!~
g' I/J . 0
(3. 3. 8)
Accordingly
(3.3.10)
73
In particular the inverse image, in (3.3. 7), of the maximal ideal of
QV, x is the maximal ideal of ~,cp(x)' a fact which is sometimes des-
cribed by saying that cp* is a local homomorphism.
x
Clearly if cp : V ..... W is a K-isomorphism of affine sets, then cp*
x
is an isomorphism of K-algebras. Also if cp: V ..... Wand 1/1: W ..... Tare
both of them K-morphisms of affine sets, then
J.*.~
x . , x .... QU, x
is surjective and its kernel is the ideal !y(U)QV, x that is generated by
the image of !y(U) under the canonical homomorphism K[V] .... QV, x'
Accordingly we obtain
74
e, a function whose domain is N and which takes values in K. By an
abuse of language a function obtained in this way is called a rational
function on V.
75
The next result is a crucial lemma in dimension theory. In order to
prevent the statement of it from becoming too long, we preface it by some
remarks which describe the general setting.
Suppose that Rand S are finitely generated K-algebras, which are
also integral domains. Denote by L the quotient field of R and by Q
76
Proof. Clearly we may assume that U, as well as V, is
irreducible. Consider the surjective homomorphism K[V] -+ K[U] that
arises from the inclusion mapping of U into V. This has kernel ly(U)
and, since U"* V, ly(U) "* O. The theorem therefore follows from
Lemma 4.
Proof. The assertion is clear as soon as one notes that each com-
ponent of U is contained in a component of V.
A second application of Lemma 4 is provided by
77
This shows that K[V] = K and that V has only one point. The remaining
assertions of the theorem are trivial.
The discussion given in section (1. 5) shows that K[V], K[W] may be
regarded as subalgebras of K[V] ®K K[W] and hence of K[V x W]. On
this understanding a typical element of K[V x W] may be written in the
form
78
After these preliminaries let us assume that V and Ware
irreducible. By Theorem.s 9 and 16, each of K[V], K[W], and
K[V x W] is an integral domain. Also, using our previous notation,
K(V) = K(~l' ~2' ... , ~), K(W) = K(1]l' 1]2' ... , 1]q)' and
79
(3. 5. 1)
w = \ fl + ~2f2 + . .. + ~sfs'
w' =~ 1 f'1 + ~ f' + ... +
2 2
~
S
f'
s'
~ f (x) +
11
~ f (x) + . .. + ~ f (x)
22 SS
=0
or
80
ponents of V(L).
81
described by saying that Ll and L2 are linearly disjoint over K.
Let Q be an extension field of K and let Q be the algebraic
closure of Q. Then 11 contains the algebraic closure K of K.
82
Proof. Theorem 2 shows that the closure of 0 in V is just V
and we know, from Chapter 2 Theorem 29, that the closure of V in V(L)
is V(L). The lemma follows from these facts.
Theorem 30. Let the affine set V be irreducible and let e l' e 2
be rational functions on V(L). If
-
e1 and
--
e2 are defined and equal on
some non-empty open subset of V, -
then
-
e1 = e 2.
This is an easy consequence of Lemma 7.
Once again let V be irreducible. We know that K(V) is a sub-
field of L(V(L». Consequently each rational function on V gives rise to
a rational function on V(L) or, as we shall say, each rational function on
V has a natural prolongation to a rational function on V(L). Let e be a
rational function on V and denote by e its prolongation to V(L). Con-
sidered as functions, e is defined on an open subset of V and e on an
open subset of V(L). Now assume that x E V. At first sight it appears
possible that e could be defined at x even though e was not. However,
as the following theorem shows, such inconvenient behaviour cannot, in
fact, occur.
83
n
L A.(gf. - fg.) = 0
i=1 1 1 1
and therefore, because L[V (L)] = K[V]L, gf. = fg. for all i. But
1 1
G(x) *0 and therefore we can choose i so that g.(x)
1
* O. Since e= f./g.
1 1
this proves that e is defined at x.
¢*(g) =g 0 rfi =0
whereas g * O. Thus the theorem is proved.
We now need some lemmas concerning commutative, finitely genera-
ted K-algebras, and for these it will be convenient to use a common nota-
tion. This will now be explained.
For Lemmas 8 to 10 inclusive R will denote a finitely generated
K-algebra which is also an integral domain; and S will be a finitely
generated subalgebra. By Dim R will be meant the transcendence degree
84
of the quotient field of Rover K, and if II is a prime ideal of R we
shall put
dim II = Dim(R;TI).
Proof. For the time being we shall ignore the final assertion.
Suppose that for each i (1:5 i :5 n) we can establish the other assertions
when Rand S are replaced by S. and S. 1 respectively. Evidently
1 1-
this part of the lemma will then follow. Accordingly we shall suppose that
R = S[ n The element f can now be expressed in the form
85
(say) is integral over S. Choose an integer m > 0 so that bmf =h
(say) belongs to S[ 11]. Then we have a relation
hq + c hq- 1 + c hq - 2 + ... + cq = 0,
1 2
and the quotient field of S[ 11 ];Q is the same as the quotient field of T;QT.
It follows that dim II = dim Q = dim P. Consequently II has all the
required properties, and (as already explained) the first part of the lemma
follows in full generality.
Finally assume that N € 9Jl (S) and g 1 N. We know there exists a
prime ideal II, of R, such that f 1 II and II n S = N. But II is the
intersection of all the members of 9Jl (R) that contain it. Thus there
exists M € 9Jl(R) for which II ~ M and f 1 M. But now M n S = N
because N is a maximal ideal of S. This completes the proof.
86
PRo Then dim II 2: dim P + Dim R - Dim S.
Then 110 n S and II n S are prime ideals of S which have the same
contraction in K[ 1J I' 1J 2' ••• , 1J q] and the former is contained in the
latter. But this implies that
II nS=lIns=p
o
dim II 2: Dim R - q
87
Lemma 10. There exists fER, f"* 0 with the following property:
if II is a prime ideal of R and f I II, then dim II ::s dim(II n 8) +
Dim R - Dim 8.
if tEl,
dim lIt - dim II t _ l =
if tn.
The inequality dim II - dim(II n 8) ::s Dim R - Dim 8 follows by addition.
We shall now reformulate the substance of these lemmas in the
language of affine sets. Note that if ¢: V - W is an almost surjective
K-morphism of affine sets and V is irreducible, then W is irreducible
as well. This follows from Theorems 1 and 4 and the fact that ¢ is con-
tinuous.
88
a non-empty open subset of W.
89
Proof. Put R = K[V], S = K[W] and regard S as a subalgebra
of R. Choose f E K[V], f *- 0 so that
uo = {x Ix E V and f(x) *- 0 }
90
and therefore II' = II. Accordingly II is a minimal prime ideal of PR
and so
91
Dim Y + Dim V - Dim W.
Choose a component X' of 1/>-1 (Y) so that X ~ X'. Then X' meets U
and therefore, by Theorem 36,
92
Next (K[W])[T] may be regarded as the coordinate ring of W x K and
then the inclusion homomorphisms K[W] - (K[W])[T] and
(K[W])[T] - K[V] correspond respectively to the projection 11:W x K-W
and a certain K-morphism l/I: V -W x K. Furthermore I/J = 11 0 l/I.
By Theorem 32, l/I is almost surjective and therefore, by Theorem
33, l/I(V) contains a non-empty open subset U of W x K. Let (w , k )
o 0
belong to U and consider the K-morphism K- -W x K in which
k 1-+ (w 0' k). The inverse image of U is a non-empty open subset of K
and therefore it contains infinitely many elements. In particular we can
find k
1
E K so that k
10
*k and (w , k )
01
E U. Thus (w , k ) and
00
(w , k ) are distinct points of l/I(V) having the same projection on to W.
o 1
This, however, contradicts our original assumption that I/J = 11 0 l/I is an
injection.
The hypotheses of the lemma can be relaxed a little. This is shown
by
¢j : Vj ... ¢jWji
which is also an injection. Consequently, by Lemma 11,
93
Dim W = max Dim{¢(V.))
l:sj:sr J
= max Dim V.
J
= Dim V.
94
4 . Derivations and tangent spaces
General remarks
4. 1 Derivations in algebras
(4. 1. 2)
95
(4.1.3)
by
DIR = D(l R 1R )
= l/I(lR )(D1 R) + (D1 R)I/I(lR )
= D1R + Dl R •
96
When R is non-trivial K may be regarded as a subfield of R.
Lemma 3 then states that every K- derivation of R into S vanishes on K.
In this connection we note
D(x + y) = Dx + Dy,
D(XY) = (Dx)¢(y) + ¢(x)(Dy),
97
Dz =.~ ~ [a~.\ (DU
1
1=1 \ I}
for any D in DerK(R, S, ~).
This is obvious.
It will now be shown how, from given derivations, we can sometimes
derive new ones. To this end let .p: R ... Sand 1/1: S ... T be homomor-
phisms of K-algebras and let D € DerK(R, S, ¢). It is easily verified
that 1/1 0 D belongs to DerK(R, T, 1/1 0 CP).
(4. 1. 6)
98
Proof. The fact that cp is surjective obviously ensures that
(4.1.6) is an injection. Now suppose that D belongs to DerK(R, T, l/J 0 cp)
and that it vanishes on Ker cpo Then D gives rise to a K-linear mapping
L1 : S - T which is such that L1(cp(r)) = Dr for all r E R. A simple veri-
fication shows that L1 is in DerK(S, T, 1/1) and, by construction,
D = L1 0 cpo Accordingly (4. 1. 6) is also a surjection and the proof is
complete.
Our next result has to do with the formation of fractions. For the
moment we assume that our K-algebras R, S are integral domains; in
addition we suppose that ~ is a non-empty multiplicatively closed subset
of R not containing zero, and that Q is a non-empty multiplicatively
closed subset of S also not containing the zero element. Denote by R~
the set of all elements belonging to the quotient field of R that can be
expressed in the form r la, where r E R and a E ~; and define SfG
similarly. Evidently R~ and SQ may be regarded as K-algebras. More-
over R is a subalgebra of R~ and S a subalgebra of SQ'
Now suppose that cp: R - S is a homomorphism of K-algebras and
that it satisfies
(4.1.7)
(4. 1. 8)
(4.1. 10)
99
and a straightforward verification shows not only that 15 EDerK(R~, S{2' ~),
but also. that 15 agrees with D on R and is the only member of
DerK(R~, S,,' ~) to do so. For future reference we record
L
Proof. Let x, y E R • Then we can write
DL(xy) = LL A.A!D(a.b.)
ij IJ IJ
= LL A.(Da.)A!q,(b.) + LL A.q,(a.)A!(Db.)
ij 1 1 J J ij 1 1 J J
= (DLx)q,L(y) + q,L(x)(DLy).
100
Since DL is L-linear, this completes the proof.
a
ax. : K[Xl , X2 ' ••• , Xn ] ... K[Xl' X 2 ' ••• , Xn]
1
a
'\ = t/I ax.
0 (4.2.1)
1
is a member of Der K(K[X l , X2 ' ••• , Xn], S, t/I). Next let aI' a 2' ••• , an
belong to S. Then
(4. 2. 2)
101
As a matter of notation we recall that if l/I(X.) = TJ., then it is usual
I I
to write
a a (4.2.3)
l/I 0 oX i = oTJ i
Thus 0/01/ , 0/01/ , ••• , 0/01/ is a base for the S-module
I 2 n
DerK(K[XI , ••• , Xn ], S, l/I).
(4. 2. 4)
(4.2.5)
~= Ker O. (4. 2. 6)
Then, since K[X I , X 2 ' ••• , Xn] is a Noetherian ring, we can find a
finite set of polynomials, say
F. (X , X , •.. , X ) where 1 ~ j ~ m,
J I 2 n
which generates ~.
I/J(~.) = x .• (4.2. 7)
I . I
is a free S-module having o/Ox I ' 0/Ox 2 ' ••• , o/Oxn as a base. Hence
if A belongs to
102
DerK(K[X1 , x 2 , ... , x n ], s, cp 0 e),
then there exist unique elements a l' a 2' ••• , an in S such that
+a -
o (4.2. 8)
nOx
n
and, for every F in K[X , X , ••. , Xn ],
1 2
of of
~F = a1 Ox
1
+a
2
ax2
+
of of
_la +_la
Ox 1 1 Ox 2 2
of of
_2a +_2a (4.2.9)
Ox 1 Ox 2
1 2
of of of
~a
ox1 1 + ':>.~2 Vl\.
a2 + ... + -ax-
ma - 0
n-
n
f:j.=a - + a - +
o 0
+a -
o
lOx 1 20x 2 nOx n
where aI' a 2' ••• , an belong to S. Then f:j. vanishes on III if and only
if the equations (4.2.9) are satisfied.
where G.
J
E K[X , X , .•• , X]. Since F .(x , x , .•• , x )
12 n J12 n
= 0, we see
that f:j.F =0 for all F E III if and only if f:j.F. = 0 for j = 1, 2, ••• , m.
J
The lemma follows.
In the next theorem aI' a 2' ••• , an continue to denote elements of
S.
103
Theorem 5. There is a bijection between the set of solutions of
the equations (4. 2. 9) and DerK(R, S, cp). This is such that if
D E: DerK(R, S, cp), then the corresponding solution of the equations
(4.2.9) is given by D~. = a. (1 5 i 5 n).
1 1
4. 3 Derivations in fields
104
Suppose that K* is a field between K and L and that
D E DerK(K*, L). If now X is an indeterminate and g(X) E K*[X], then
by gD(X) will be understood the polynomial (with coefficients in L) that
is obtained by applying D to the coefficients of g(X). Note that if
g(X) = p(X)q(X), where p(X), q(X) are in K*[X], then
(4. 3. 1)
Again the notation g'(X) will be used for the formal derivative of g(X).
Hence, in addition to (4.3.1), we have
~W + f'(~)A = O. (4. 3. 3)
~w + f'(~)A = O.
hDW + h'(~)A = O.
It follows that if g (X), g. (X) belong to K*[X] and g W = g
1 2 1 2
W, then
105
and therefore we can define a mapping ~: K*[~] -+ L by means of the
formula
~W + f'W>t = 0,
106
In the next theorem, K* denotes a field between K and L, and
~l' ~2' ••• , ~nbelong to L.
andput K*=K'(~l' ~2' ••• , ~j-l)' Then K*(~j)=K(~l' ~2' ••• , ~n)
and ~j is not separable over K*. Accordingly
over K be r.
107
Definition. We say that K(~ , ~ , ... , ~ ) is a 'separable'
1 2 n
extension of K if there is a transcendence base TJ , TJ , ••• , TJ , for
1 2 r
K(~ , ~ , ... , ~ ) over K, such that K(~ , ~ , ... , ~ ) is a separable
1 2 n 1 2 n
algebraic extension of K(1] , TJ , ••• , TJ ).
1 2 r
Such a transcendence base is called a separating transcendence
base. Thus K(~ , ~ , ... , ~ ) is separable over K if and only if a
1 2 n
separating transcendence base exists. Of course if K has characteristic
zero, then K( ~ , ~ , ... , ~
1 2 n) is necessarily a separable extension of K.
form a base for the L-space DerK (K(TJ 1 , ••• , TJ r ), L) and, by Theorem 7,
%TJ. has a unique extension, D. say, to a derivation of K(~ , ~ , ... , ~ )
1 1 1 2 n
into L. It is clear that each member of DerK(K(~ , ... , ~ ), L) has a
1 n
unique representation in the form
108
each ~i is algebraic over K( 1J l' 1J 2' ••• , 71 r)· Now K( ~1' ~2' ••• , ~n)
cannot be separable over K(71 1 , 1] 2 , ••• , 1J r ) = K* (say) for otherwise
Lemma 10 gives a contradiction. Hence, by Theorem 8,
n of.
L at-D~. = 0
i=l "i 1
109
Proof. By Lemma 6 Cor., DerK(K(~l' ... , ~n)' L) and
DerK(K[ ~ , ~ , ... , ~ ], L) are isomorphic L-spaces. On the other
1 2 n
hand Theorem 6 shows that DerK(K[ ~ , ... , ~ ], L) is isomorphic to
1 n
the space of solutions (in L) of the equations
All these assertions were established during the proof of the last
theorem. At the same time we also proved
Theorem 13. Let ~l' ~2' ••• , ~n belong to L and suppose that
K(~l' ~2' ••• , ~n) is separable over K. Then a separating transcendence
base can be chosen from among ~ , ~ , ... , ~ .
1 2 n
The field K can only have non-separable extensions if its character-
istic is a prime p. Suppose that this is the case and let us regard L as
being contained in its algebraic closure L. Put
110
This is a subfield of L containing K.
111
Proof. Let y , y , ••• , y belong to K I / p and be linearly
12m
independent over K. It will suffice to prove that they are linearly inde-
pendent over K(~ , ~ , ••• , ~ ).
1 2 n
Take a separating transcendence base for K( ~ , ~ , •.• , ~ ) over
1 2 n
K, say TJ , TJ , ••• , TJ , and put K
1 2 r 1/ 1
= K(71 1 , 71 , ••• , 71 ). Then
2 r
y , y , ••• , y belong to Kl p and it is clear that they are linearly
12m
independent over K. That y , y , ••• , yare linearly independent
1 12m
over K( ~ , ~ , ••• , ~ ) = K (~ , ~ , ••• , ~ ) now follows from Lemma
12 n 112 n
11.
The lemma just proved has a converse. The full result is contained
in
Proof. We shall assume (b) and show that (a) follows. (In view of
Lemma 12 this will be sufficient.) The demonstration uses induction on n
and we begin by observing that for n =0 the result in question is obvious.
From here on it will be assumed that n::=: 1 and that we know that (b)
implies (a) in the case of extensions generated by only n - 1 elements.
Note that we may suppose that ~ , ~ , ... , ~ are not algebraically
1 2 n
independent over K for otherwise there would be no problem.
There exists a non- null polynomial, F(X , X , ... , X ) say, with
1 2 n
coefficients in K such that F( ~ , ~ , ..• , ~ ) = O. In what follows
1 2 n
F(X , X , ... , X ) is to be chosen so that its degree is as small as
1 2 n
possible. Put
112
K(~ , ... , ~. J' ~·.Ll' ... , ~ ) is separable over K and, by combining
1 J-. J ' n
these facts, we conclude that K( ~1' ~ , ••• , ~ ) is separable over K.
2 n
From this point onwards we assume that, for each i,
F. (X , X , ••• , X ) is the null polynomial and we seek a contradiction.
1 1 2 n
Our new assumption ensures that
113
Proof. If the characteristic of K is zero, then the assertion is
obvious, whereas if the characteristic is a prime p, then Theorem 15
follows from Theorem 14.
It may be shown t that K{~ 1 , ~ 2 , °
.•. , ~n ) is a regular extension
of K if and only if (i) K( ~ , ~ , .•. , ~ ) is separable over K, and
1 2 n
(ii) K is algebraically closed in K( ~ , ~ , ..• , ~). However we shall
1 2 n
not be using this result.
(4.4.1)
(4.4. 2)
114
which generates 2I. Finally when x E V we write
x. = ~.(x) (4.4.4)
1 1
(4.4.6)
115
Theorem 16. Let ¢: V .... W be a K-morphism of affine sets and
let x E V. Then there is a linear mapping
aF 2 aF 2 aF 2
"'. a 1 + -ax- a 2 +... + ax-n an
UA I
=0 (4.4. 8)
2
aF aF aF
----..!!!a
aX l 1
+ ~a2
ax
+ ... + ",:n an =
UAn
D.
Corollary. Let n - s be the rank of the matrix "aF /3x i ". Then
the dimension of DerK(V, x), considered as a vector space over K, is s.
116
on V. Moreover, if x E V, then x , x , •.. , x , as defined by (4. 4. 4),
1 2 n
are just the coordinates of x considered as a point of Kn.
Let x E V and suppose that a , a , •.• , a belong to K. Further
1 2 n
let Y be a new indeterminate. If F{X 1 , X2 , ••• , Xn) belongs to Ill,
then the constant term in
F{x + a Y, x + a Y, ••• , x + a Y)
1 1 2 2 n n
117
in which D r+ D is an isomorphism of K-spaces.
A : M.._ !M!_ -+ K,
--'V, x' --'V, x
i. e. --'V, x'!M!_
A E HomK(M..- --'V, x ,K). Furthermore the mapping
DerK(Qv , x ,K) -+
--'V, x'!M3_
HomK(M..- --'V, x ,K) (4.4. 9)
M.._ !M!_
A : ---V -+ K
, x' --'V, x
118
(where k E K and u ---Y, x ) put D~ = .:lu.
E M..._ An easy verification shows
that D E DerK(Qv, x' K) and it is clear that D 1'+ X under (4.4.9).
The next series of results is aimed at obtaining information about
the actual dimension of the tangent space Der K(V, x).
(OF~
w _J =_J
of.
x o~i Ox i
It therefore follows, from the last corollary, that the rank of II of J.lOx.1 "
is at most n - r. This observation, combined with Theorem 17 Cor. ,
yields
119
Theorem 23. Let V be an irreducible affine set and suppose that
x E V. Then x is simple on V if and only if the dimension of the K-~ace
2
M._ !'M:_
---Y, x' "--Y, x
is equal to Dim V.
2
HomK(M.- ---Y, x ,K)
--Y, x'!'M:_
2
M._ x'~
equals Dim V. However this happens when and only when ---Y, ---Y, x
is a K-space whose dimension is Dim V.
Remark. Note that this result shows that an irreducible affine set
has at least one simple point.
Proof. Put r = Dim V and consider the matrix II 3F. /3X. ",
J 1
where the notation is that introduced at the beginning of the section. The
sUbdeterminants t of order n - r will be certain polynomials, say
G.(X , X , .•• , X ) where 1:s j :S s, and, by Theorem 21 Cor., we
J I 2 n
°
have G.(~l' ~ , ..• , ~ ) '" for at least one value of j. Without loss
J 2 n
of generality we may suppose that G.(~ , ~ , •.• , ~ ) is non-zero for
J 1 2 n
every j in the range 1:S j :S J.I., whereas it is zero whenever J.I.+ 1 :S j :S s.
Note that J.I. 2:: 1.
Let x EV and define xl' X2 ' ••• , xn as in (4.4.4). We obtain
3F./3x. by applying the homomorphism w , of (4.4.5), to 3F./3~ ..
J 1 . x J 1
Since "3F./3~." has rank n - r, the rank of "3F./ax." is at most
J 1 J 1
n - r; and x is a simple point precisely when the latter rank has this
value. Thus to sum up: x is simple on V if and only if there is a
(1 :S j :::: J.I.) such that G.(x , x , ..• , x ) '" 0.
J 1 2 n
Suppose that 1:s j :S J.I. and put f. = G.(~ , ~2' . . . , ~n)' Then
J J 1
fj E K[V], fj '" 0, and f/x) = Gj (Xl' x 2 ' ••• , xn). Accordingly
120
N. = {x Ix EV and f. (x) "* 0 }
J J
Proof. Since Dim V = Dim W, this follows from the remarks that
come immediately after Theorem 16.
We next make a brief investigation of the effect of enlarging the ground
field on tangent spaces and simple points. We recall that L denotes an
extension field of K.
Let f E K[V]. Then f has a natural prolongation, f say, to a
function on V(L). Since K[V] = K[~l' ~ 2, .•. , ~n ], we have
(L) A A A
Denote by
(4. 4. 11)
Let G(X 1 , X 2 ' ••• , Xn) belong to L[X 1 , X 2 ' ••• , Xn] and write
G in the form
and now it follows that G E 'll if and only if each G. is in 'll (see (4.4.3)).
1
Consequently
121
and therefore the m polynomials F.(X , X , ... , X ) which generate
l 1 ,,2 n
III in K[X1 , X 2 , ••• , Xn] also generate ~r in L[X 1 , X 2 , ••• , Xn ].
w : K[V] -+ K
x
is the homomorphism in which w (f) = f(x), then, since K[V]L = L[V(L)]
L x
and K = L,
122
Dl ~l Dl ~2 ... Dl ~n
D2~1 D2~2 D2~n
must be linearly independent over K and hence also over L. The theorem
follows.
123
4.5 Tangent spaces and products
D: K[V x W) ~K (4. 5. 2)
in which
(4.5. 3)
by D f
1
= D(f ® 1) and D g
2
= D(l ® g). Then D E DerK(V, x),
1
D E DerK(W, y) and D is the image, under (4.5.4), of (D , D ).
2 1 2
124
Proof. We know, from Chapter 3 Theorems 16 and 25, that
V x W is irreducible and that its dimension is Dim V + Dim W. Next,
by Theorem 29, the dimension of the K-space DerK(V x W, (x, y)) is the
sum of the dimensions of DerK(V, x) and DerK(W, y). Theorem 30
now follows from Theorem 22 and the definition of a simple point.
4.6 Differentials
Lemma 14. Let cp: A * .... K[A] be a K-linear mapping. Then there
exists a unique D € DerK(K[A]) such that DF = cp(F) for all F € A *.
.6 F
a
= F(a) (4. 6. 1)
125
Def(H) = {b /b E A and H is defined at b} (4. 6. 2)
and define
dH : Def(H) x A -K (4.6.3)
by
(4.6.4)
126
from this that A}I is the prolongation of AaH and therefore
Also
127
Proof. Let R consist of all the rational functions on A whose
x
prolongations are defined at x. Evidently R x is a subalgebra of the
K-algebra K(A). Let the mapping cp : R ... L be given by cp(S) = §(x).
x
This is a homomorphism of K-algebras.
Define ~: R ... Land
x
n : R x ... L by
and
n(s) = D(S(x».
We wish to show that ~ and "IT coincide. Clearly they are additive and
they both vanish on K. Also if Sl' S E R , then
2 x
and
~(F) = F(Dx)
128
The lemma follows.
We continue to assume that K is an infinite field but now suppose
that A is a non-trivial, unitary, associative K-algebra whose dimension
as a K-space is finite. Let a A and define A : A'" A by A (b) = abo
€
a a
This mapping induces a linear mapping A* : A*'" A* of K-spaces and now
a
we can define a K-linear mapping cp: A * ... K[A] by cp(F} = -A*(F}.
a
Lemma 14 shows that cp gives rise to a derivation, D say, of K[A]
a
over K. Thus Da € Der K(K[A]) and
D F = -(F 0 A ) (4.6.19)
a a
for all a € A.
(Here a and b are kept fixed.) It is clear that K ~ III and, by (4.6. 20)
and (4.6. 10), we see that A* ~ III as well.
Next assume that P ,P € Ill. An easy verification shows that
1 2
PI + P 2 and PIP 2 also belong to Ill. This shows that III = K[A].
129
Finally we can write H in the form P /Q, where P, Q E K[A] and
Q(b) "* O. If we now use (4.6. ll) and the fact that Da is a derivation we
obtain the desired result.
We add a few remarks about prolongations. Let L be an extension
field of K, then AL is a unitary, associative, L-algebra. t As before
if H E K(A), then we use H to denote its prolongation to a rational
function on AL. If now F EA * and a, b E A, then
130
Part II. Affine Groups
5 . Affine groups
General remarks
5. 1 Affine groups
Let G be an affine set and suppose that G also has the structure of
an abstract (multiplicative) group. Consider the mappings
G x G - G and G - G
j : G - G, (5. 1. 2)
and a point e of G.
133
Definition. The quadruplet [G, p, j, e] is called an 'affine group'
provided that
(i) p. (p (x, y), z) = p(x, p(y, z)),
(ii) p(x, e) = x = p(e, x),
(iii) p(x, j(x)) = e = p(j(x), x),
for all x, y, z in G.
GxGxG-+G
134
Proof. Define L-morphisms
and
q : G(L) x G(L) x G(L) -+ G(L)
by p(~, 'f/, ~) = J.L(L)(f.L(L)(~, 71), ~) and q(~, 'f/, ~) = J.L(L)(~, J.L(L)('f/, ~)).
Since G(L) x G(L) x G(L) = (G x G x G)(L) and since p and q extend
the same K-morphism
G x G x G -+G,
135
Frequently we shall suppress any direct reference to fl, j, and e and
say simply that G is an affine group. Also for the rest of section (5. 1)
we shall use the multiplicative notation and employ xy as an alternative
to fl(x, y).
Let G be an affine group (defined over K) and let x E G. The
mapping
A : G"'G (5.1. 3)
x
(5.1.4)
given by P (y)
x
= yx. This too is a K-isomorphism of the affine set G on
to itself.
The next theorem asserts that an affine group, when regarded as an
affine set, is homogeneous.
136
{xix f.V and ¢(x) = tJ;(x)} = p-l(A),
where A denotes the diagonal of W x W. The lemma follows because,
by section (2.9), A is closed in W x W.
Now let [G, p" j, e] be an affine group and let H be a closed sub-
group of G, that is H is a closed subset of the affine set G and a sub-
group of the abstract group G. By restriction fJ and j induce K-
morphisms
fJ':HXH-+H
and
j': H-+ H
and it is clear that [H, fJ', j', e] is an affine group. We embody these
observations in
From here on, every closed subgroup of an affine group will auto-
matically be regarded as an affine group. Suppose that H is a closed
subgroup of the affine group G and let L be an extension field of K.
Then on the one hand H(L) is an affine group with p,,(L) as its law of
composition (we are retaining our previous notation), and on the other it
is a closed subset of G(L). Using the inclusion mapping H(L) -+ G(L)
we can construct, in an obvious manner, the L-morphisms
137
Corollary. Let G be an affine group defined over K and let H be
a closed, normal subgroup of G. If now L is an extension field of K,
then H(L) is a closed normal subgroup of G(L).
is the inverse image of H(L) with respect to the L-morphism ~ 1-+ ~h(l.
The inverse image is therefore closed in G(L) and so, since it contains
G, it is G(L) itself. Thus ~(l E H(L) for ~ E G(L) and h E H.
Now let ~ E G(L). This time
Proof. Let A(J respectively P(J denote the left respectively right
translation by means of (J. Then
138
Theorem 5. Let G be an affine group and H a subgroup of G.
If H is the closure of H. in G, then H is also a subgroup of G.
Proof.
The mapping x J-+ x-I is a homeomorphism of the affine
set G on to itself. Consequently (Hf1 is the closure of H- 1 = Hand
therefore (Hf1 = H. Thus H is closed under the taking of inverses.
Let h € H and consider left translation by means of h. Since this
also provides a homeomorphism, hH is the closure of hH = H, that is
hH=H.
Finally assume that x € H. Then Hx is the closure of Hx and
Hx !: HH = H. Accordingly Hx!: H which shows that H is also closed
under multiplication. The theorem follows.
If we are given a subset of an affine group G, then there will be a
smallest closed subgroup of' G which contains the given subset. What
follows now is preparation for an investigation of the connection between
the subset and the closed subgroup which it generates.
Let x € G. We have already remarked that the right translation
p : G - G is a K-isomorphism of affine sets. It therefore induces an
x
isomorphism
p* 0 p* = p* (5. 1. 7)
x y xy
(p*(f))(y)
x
= f(yx). (5. 1. 8)
139
Remark. There is, of course, a similar result based on left trans-
lations, but we shall not state it separately.
Proof. Define w: G x G - K by
p*(p*(f)) = p* (f) E U
z X zx f
140
The next result is very striking. t
(p*(f))(7)
a
= W(7, a) =0
whence p*(f) E 'U. This shows that p* ('U) k 'U. It follows, from Theorem
a a
a
=
7, that p*('U) 'U. In particular f = p*(fl) for some f' E 'U. Accor-
a
dingly f(e) = f'(a) = O. Thus to sum up: p;('U) = 'U for all a E S and
furthermore e E S.
Next suppose that x E G and p*('U)
x = 'U. Then 'U = p* 1 ('U) and
x-
so for f E 'U we can choose f1 E 'U so that f = p* -1 (f 1). It follows that
x
f(x) = f1 (e) = 0 and therefore
141
Corollary. Let G and S be as in the theorem and put 'U=IG(S).
Then
GXGX ••. XG
12m
142
Theorem 1 Cor. 1 shows that we can identify
(G x G X ••• x G )(L)
12m
and
143
{VI' V 2 , ... , Vr } and so too are
for every Z E G.
Since G is the irredundant union of V , V , .•• , V , we can
1 2 r
choose x E V so that x,. V , ••. , x ,. V. This secures that, for each
1 2 r
y E G, xy belongs to just one of V , V , .•• , V .
1 2 r
Suppose that i
r. Then x-1V i = Vk for some k. Let us
1:5 :5
144
connected, we must have G 0 ~ H.
An important fact which is an immediate consequence of Theorem 10
is stated separately as
Theorem 15. Let G be an affine group and let the ground field K
be algebraically closed. Suppose that S , S , ..• , Sr are subsets of G
1 2
145
having the following properties:
(i) e E Si for i = 1, 2, ... , r;
(ii) for each i the closure S.,
1 -
of S.l -
in G, is irreducible;
(iii) for each i, S. contains a non-empty open subset of S ..
1 1
If now S is the smallest multiplicatively closed subset of G containing
Sl' S2 , ... , Sr , -
then
-
S is a closed connected subgroup of G.
w = s x s x ... xS.
o 1 2 r
For each positive integer n put
n
W =w x W x ... x W,
n
W=wxwx ... xW,
o 0 0 0
where in each case the product contains n factors. Now although the
affine topology on a product is different from the ordinary product topology:
none the less w~ contains a non-empty open subset of Wn. But Wn is
a product
Sl X ••• x Sr x Sl x . .. x Sr x . .. X Sl X ••• x Sr
146
and each term in the sequence is irreducible. It follows that there exists
a pos itive integer t such that
Proof. Put Sl = q,(W). Then conditions (i) and (ii) of the theorem
hold trivially, whereas condition (iii) holds by virtue of Chapter 3 Theorem
33. The corollary follows.
We recall that if H is any group, then the commutator subgroup
(H, H) of H is the subgroup that one obtains by taking all finite products
-1 -1
of elements of the form aTa T ,where a and T belong to H. This
is a normal subgroup of H. In fact it is the smallest normal subgroup of
G with an abelian factor group.
147
5. 3 Examples of affine groups
and
j : GL(V) -+ GL(V)
148
Theorem 16. Let V be an n-dimensional vector space over an
infinite field K. Then GL(V) is a connected affine group whose dimension
• 2
IS n
T : GL (K) - GL (K)
n n
Example 4.
The affine group GL I (K), obtained by taking n = 1
in the last example, consists of the non-zero elements of K the law of
composition being multiplication. It is therefore known as the multiplica-
tive group of K. We shall sometimes denote it by G .
m
Suppose that K is infinite. Then G is connected, its dimension
m
is one, and (2. 5. 7) shows that
G XG X .•. XG (5. 3. 2)
m m m
149
its coordinate ring may be taken to be
150
AmF = (Detl/x1J.. 11 - 1) Q + B,
151
Let U, W be subspaces of V with U £: W. Put
t/I :E-K
v,~
elements of GL(V) that are common zeros of the functions t/I t - ~(w),
w, .,
where w ranges over W and ~ E V* satisfies ~(U) = O. This shows,
in particular, that GL(U, W) is a closed subgroup of GL(V) and hence
an affine group.
From here on we shall assume that K is an infinite field, w will
always denote an element of W, and ~ E V* will be assumed to satisfy
~(U) = O. Select wi' w 2 ' ••• , wp and ~i' ~2' ••• , ~p so that
(5.3.4)
152
Now (5.3.3) can be enlarged to a base of HomK(E, K) and, because
K is infinite, K[E] is essentially a polynomial.ring with the members of
the base playing the role of indeterminates. t Accordingly the functions
in (5. 3. 4) generate a prime ideal, P say, in K[E] and P is the inter-
section of all the K-rational maximal ideals that contain it. Let X be
the locus of P. Then X is closed in E, it is irreducible, and
X n GL(V) = GL(U, W). Thus GL(U, W) is:r non-empty open subset of
X and therefore, by Chapter 3 Theorem 2, the closure of GL(U, W) in
E is X. It follows that if F E K[E], then F vanishes everywhere on
GL(U, W) if and only if F E P. Consequently the ideal of K[GL(V)] that
corresponds to GL(U, W) is just the extension of P to K[GL(V)] and,
in particular, it is prime. This proves
153
U(A) = {a' a EA and N(a) *- 0 }.
-1
a = d (a) a + d (a)a + ... + d (a)a
1 1 2 2 n n
provided that
n
L c (a)d (a) =t (r = 1, 2, ••• , n).
s=1 rs s r
Solving these equations for d (a) shows that d : U(A) .... K belongs to
s s
(K[A])[1/N] = K[U(A)]
154
and thereby establishes that is a K-morphism. Accordingly we have
proved
Example 9. In this example (and the special cases derived from it)
K is assumed to be an infinite field whose characteristic is different
from 2.
Let n 2:: 1 be an integer and put G = GL (K). This is an affine
group. If n is an extension field of K, then ~(n) = GL (n) as may be
n
seen by applying Chapter 2 Lemma 14 and Theorem 1 Cor. 1. If A is
an n x n matrix we use Det(A) and AT to denote its determinant and
transpose respectively. We also use I to denote the n x n identity mat-
rix.
Suppose that B E GL (K) and put
n
II = {p IP E M (K) and P T B + BP
n
= O}, (5. 3. 6)
155
p* = P Z
1 1
+ P 2 Z 2 +... + P q Zq , (5. 3. 7)
T
Then, because p* B + P*B = 0, we have
whence
A*TBA* = B. (5. 3. 9)
Again
and
(5.3.11)
156
(say) as a common denominator. If Z l' Z 2' ..• , Zq are assigned values
in K which do not make tP vanish, then (5. 3. 9) shows that A * is turned
into a matrix belonging to H. It follows that if F E IG(H), then F(A *) = O.
Consequently, by Chapter 2 Theorem 34, A* E H(K(Z)) where K(Z) is
used as an abbreviation for K(Z , Z , ..• , Z ).
1 2 q
Let H 0 be the connected component of the identity of H and let
f E ~(Ho)' Then we can find g E K[H] which vanishes on all the irre-
ducible components of H other than Ho and is such that g(I)"* O. Then
fg = 0 and hence f(A *)g(A *) = O. Since I is a specialization of A *
when they are regarded as points of G, the same holds t for H. Con-
sequently g(A*)"* 0 and therefore f(A*) = O. Thus, by Chapter 2
Theorem 34 A* E H(K(Z))
, o'
We claim that A * is a generic point of H o' To see .this first
suppose that A E Hand Det(I + A) "*
a
o. Put
-1
P = -(I - A)(I +A)
so that
pTB = -(I + A Tf1(I _ A T)B
BP =-B(I-A)(I+Af 1
(I - P)(I + A) = 21
A = (I + P)(I - Pf1.
157
of A *. Here in the first instance we regard A * and A as a generalized
point and an ordinary point respectively of GL (K); but then Chapter 2
n
Theorem 34 Cor. 1 shows that our conclusion remains valid if we regard
them as belonging to H •
a
Finally suppose that f E K[Ho] and f(A*) = O. The above remarks
show that f(A)Det(I + A) =0 for all A E Ho' Thus fh = 0, where
h E K[Ho] and h(A) = Det(I + A) when A E Ho' Now K[Ho] is an
integral domain and h *- 0 because h(I) *- O. Accordingly f =0 and we
have established our claim that A * is a generic point of H. It follows
a
that Dim H = Dim Ho is equal to the transcendence degree of K(A *)
over K and this is q by (5.3. ll). We combine our main conclusions in
H = {A IA EMn (K) -
and
-
ATBA = B}
is a closed subgroup of GLn (K). -
Put
-
A = {p IP E M (K) and P T B
n --
+ BP = 0 }.
158
fore is the dimension of A. The desired results follow by virtue of
Theorem 20.
If B is the n x n identity matrix I , then B is non-singular and
n
symmetric. In this case the group H of Theorem 20 is denoted by
on (K) and called the orthogonal group.
Finally if n is an even integer, say n = 2m, we may take B to
be the skew symmetric matrix
This time H is known as the symplectic group. The notation for the
symplectic group is SP (K).
m
159
a K-homomorphism GL(V) - GL (K) in which each f in GL(V) is
1
mapped into its determinant. In this case the kernel is SL(V).
and therefore
m
G' = cp(G) = U cp(x.)~.
i=l 1 0
160
Thus "fl.GJ
o
is a closed subgroup of G' whose index in G' is finite.
Consequently, by Theorem 11, G' ~"fl.GJ. On the other hand lj>(G ) is
o 0 0
connected and contains the identity of G'. Accordingly "fl.GJ
o
~ G' and
0
the theorem is proved
161
We know that cp extends to an almost surjective L-homomorphism
cp(L) : G(L) _ G,(L). Put N* = Ker cp(L). Then N ~ N* and
a:GXV-V,
where
(i) a(a, a(T, v)) = a(aT, v) for all a, T E G and v E V;
a(e, v) = v, where e = e G and v E V.
(ii)
When we have such an action we normally write av in place of a(a, v).
In this notation (i) and (ii) become a(TV) = (aT)v and ev =v respectively.
Suppose that a is a left action of G on V and that a is also a
K-morphism of affine sets. We then say that a is a K-morphic left
action of G on V or, less formally, that G acts morphically on the
left of V.
A K-morphic right action of G on V is a K-morphism V x G - V
with analogous properties. Thus in a right action (va)T = v(aT) and
ve = e. Of course results concerning right and left actions tend to come
in pairs. We shall develop the theory mainly in terms of left actions.
Suppose that we have a K-morphic left action of G on V. The
mapping
A 'V-V (5. 5. 1)
a'
162
inverse. It therefore induces an automorphism
(5. 5. 3)
fa(v) = f(av),
(f +f ) a = fa + fa
1 2 1 2'
(f f)a = fal (5. 5. 4)
1 2 1 2'
(fa) T = faT,
ka =k for k E K.
fa(v) = f(va),
(f +f ) a = fa + fa
1 2 1 2'
(f f)a = fafa (5. 5. 5)
1 2 1 2'
(fa)T = f Ta,
ka = k for k E K.
/J.:GXG-G
163
Theorem 25. Let the affine group G act morphically on the left
of the affine set V and let f E K[V]. Then the K-space spanned by all
fa, where f is fixed and a varies in G, has finite dimension.
164
Proof. Let v EN and consider the K-morphism G - N in which
a t-+ avo The morphism is almost surjective and its image is N. Con-
sequently, by Chapter 3 Theorem 33, there exists a non-empty subset
T, of N, which is Open in N and contained in N. Next
N
U
= aEG aT.
N. = a.N = a.G
11010
v = G (a. v).
01
Then N , N , ..• , N
o 1 m are orbits of Go'
and
165
hence N = N.
5. 6 G- modules
Ct : G x V"'V
has been given and let us denote the image of (a, v), where a E G and
v E V, by avo If now
(i) a(v
1
+ v2 ) = av
1
+ av2 for v ,v E V and a E G;
1 2
(ii) a(kv) = k(av) for k E K, a E G, and v E V;
(iii) a (a v) = (a a )v for a, a E G and v E V;
1 2 1 2 1 2
(iv) ev = v when e = eG and v EV;
then we say that V is a left (G, K)-module. If we are in a situation
where K is being kept fixed, then we often say simply that V is a left
G-module. This applies particularly when G is an affine group. In this
case it is always to be understood that ~( is the ground field over which
G is defined.
The notion of a right (G, K)-module is obtained by making the obvious
modifications to the above definition. Thus a right G-module has to do
with a mapping V x G ... V in which the image of (v, a) is denoted by
va, (va) 7 = v(O"T), and so on.
We can express the above ideas in ring-theoretic terms. To be
explicit, let KG denote the group ring of G with coefficients in K.
Thus KG is the K-space which has the members of G as a base; and if
L k a) (L k'
( aEG a 7EG 7
7) = LL k k' (a7).
a 7
It is clear that the notion of a left respectively right (G, K)-module is
essentially the same as a left respectively right KG-module as these
latter terms are understood in the theory of rings and modules.
166
Suppose now that V and Ware left (say) G-modules. A mapping
f :V ~ W is called a G-homomorphism if it is a linear mapping of K-
spaces and f(av) = af(v) for all (J E G and v E V. If in addition to being
a G-homomorphism f is also bijective, then f is called a G-isomorphism.
In terms of the group ring KG, a G-homomorphism respectively G-
isomorphism is the same as a homomorphism respectively isomorphism
of KG-modules.
Now suppose that G is an affine group defined over K and that
V is a (G, K)-module, where the dimension of V over K is finite.
(For definiteness we shall suppose that V is a left G-module.) If :J E G,
then the mapping
~ (J''V-V (5. 6. 1)
~ : G - En~(V), (5. 6. 2)
167
(c) the mapping a: G x V - V, where a(a, v) = av, is K-
morphic.
1 2
u.
U , U , ••• ,
n
Then wIll) E K[EncL(V))
-X
and so AIll) :::; WIll) 0 A E K[G)
because A: G - En%(V) is a K-morphism by hypothesis. Thus (a)
implies (b).
Assume (b). There exist Y , Y , ••• , y in K[V] such that if
1 2 n
V € V, then
v = y 1 (v)u1 + Y (v)u
2 2
+ ... + Yn (v)un.
= fe L Y.(V)A (u.)\
j J a J')
=f(LL
i j
Y.(V)A . .(a)u.)
J IJ 1
168
and thus we see that \j E K[V] for all i and j. Let X E K[En~(V)].
There is a polynomial p(X11 ,X1 2, ...
·
, Xnn ), with coefficients in K,
such that if f E EncL(V) and has matrix II a .. ", then
-X 1J
X (f) = p(a11 , a 1 2' ••• , ann)' Accordingly
and therefore
Thus oX is a K-morphism and we have shown that (c) implies (a). This
establishes the lemma.
As before let V be a left G-module of finite dimension. The
mapping oXo-: V -+ V is not just an endomorphism but an automorphism
with inverse oX -1' Thus we arrive at a homomorphism
0-
oX o .. G -+ GL(V) (5. 6.3)
of abstract groups, where oX (0-) = oX. (In the case of a right G-module
o 0-
we obtain an anti-homomorphism.) If (5.6.3) is a K-homomorphism of
affine groups, then we say that we have a rational representation of G
by means of automorphisms of V.
where P(X 11 , ••• , Xnn) belongs to the polynomial ring K[X11 , ••• , Xnn]
and h> 0 is an integer. Hence
169
h
(x 0 A )(0') = P(A (a), ••• , A (a))/[Det(A (a))] •
o 11 nn 0
Thus
h
X 0
o = p(A 11 , ••. , Ann )/[Det
A 0 A]
0
and we have to show that this belongs to K[G]. By the lemma, all the
A.. are members of K[G]. Consequently P(A 11 , ... , A ) E K[G]. Con-
~ M
sider the mapping a 1-+ Det(A (a)). Since this is just Det 0 A it belongs
o -1 h
to K[G]. It follows that 0'1-+ [Det(Ao(a ))] also belongs to K[G]. But
170
(over K) is finite and that aM = M for all a E G. Here K[G] is regar-
ded as a left G-module as in Example 2.
a n
ai, = L = L A.. (a)f.
J J i=1 IJ 1
a
of affine groups. Suppose that a € Ker p. Then gi = gi and thus right
171
translation by means of a induces the identity automorphism of the
K-algebra K[G]. Accordingly a = e and therefore Ker p = {e 1.
From here on we shall assume that K is algebraically closed. By
Theorem 22, p(G) is a closed subgroup of GL(M). Hence p induces a
bijective K-morphism
of affine groups.
To p there corresponds a homomorphism
Then
a n
g.(a) = g. (e) = L p .. (O')g.(e).
J i=l 1J 1
Next let the polynomial F .(X , ... , Xnn) be given by
J 11
n
F.(X11 , ••• , X ) = L X .. g.(e)
J nn i=1 IJ 1
and regard it as belonging to K[GL(M)]. Then
(F j 0 p)(O') = Fj(p(a))
= Fj{Pll (a), ••• , Pnn{a))
n
=L p .. {a)g.{e)
i=l IJ 1
= g.{O').
J
172
where the first is -p and the second is an inclusion mapping. These give
rise to homomorphisms
p* : K[GL(M)] - K[G]
Accordingly
15: G -p(G)
is a K-isomorphism of affine groups. Thus we have proved the following
striking result.
173
however, we shall introduce some general terminology.
Suppose that G is an abstract group and V a left (G, K)-module.
Further let U be a subset of V. Then U is said to be a (G, K)-sub-
module of V provided
(a) U is a K-subspace of V;
(b) au E U for all CT E G and u E U.
Note that if KG denotes the group ring of G, then a (G, K)-submodule
of V is the same as a KG-submodule in the sense in which this term is
used in the theory of rings and modules. (Naturally similar definitions
and observations apply to right (G, K)-modules.) Often we omit any
explicit reference to K and speak of a G-module and its G-submodules.
In what follows a G-module is said to be finite-dimensional when its
dimension as a K-space is finite.
174
Note that if V itself is finite-dimensional, then the new definition
agrees with the old This is so in view of Lemma 6.
175
Definition. A (G, K)-module V is said to be 'completely
reducible' if given any (G, K)-submodule U there exists a second
(G, K)-submodule U' such that V = U EB U' this being a direct sum of
vector spaces.
176
has a natural structure as a G-module. Evidently if each U. is a
1
rational G-module, then U is a rational G-module. Again if each U.
1
is a completely reducible G-module, then the same holds for U.
Suppose that V is a G- module and that d > 0 is an integer. As
is customary we write
d
V =VEfJVEfJ ... EfJV,
F(v) : G-K
by
(F(v))(a) = F(av).
F: V -K[G]
(F(TV)(a) = F(aTV)
= (F(v))(aT)
= (F(v)) T(a)
177
Theorem 33. Let G be an affine group and let K[G] be regarded
as a rational left G-module as in Theorem 29. If now V is an n-
dimensional rational G-module, then there is a G-submodule of (K[G])n
which is G-isomorphic to V.
178
K-isomorphic to one of these groups. We shall also regard a trivial
group (that is a group with no elements apart from its identity) as a torus.
This amounts to admitting the possibility that, in (5.8.1), the integer s
may be zero.
Let us suppose that K is infinite. Then the coordinate ring of the
group G in (5. 8. 1) is
where Xl' X 2 ' ••• , Xs are indeterminates. Assume that vI' V 2 , ... , V s
are integers (not necessarily positive), let c E K and put
vI v 2 Vs
F = cX 1 X2 ••• Xs' If now 0-= (0-1 , 0-2 , ••• , o-s), where o-i E Gm ,
0- vI v2 liS
then it is easy to check that F = 0- 0- • •• 0- F. Hence the subspace
1 2 s
V V v
of K[G] generated by XlIX 2 ••• X s is a G-submodule and, since it is
2 s
one-dimensional, it is simple. Note that we have shown that K[G) is a
sum of one-dimensional G-submodules.
Next suppose that H is a closed subgroup of G. If V is a G-
module, then it has a natural structure as an H-module; and if it is a
finite-dimensional rational G-module, then it is also a finite-dimensional
rational H-module. Hence any rational G-module can be regarded as a
rational H-module.
179
Corollary. Let G, K and H be as in Theorem 36 and let V ~
Proof. The equivalence of (i) and (ii) is clear. Also the corollary
to Theorem 36 shows that (iii) implies (i).
Assume (ii). We shall deduce (iii) and in view of Theorem 27 we
may suppose that H is a closed subgroup of GL(V), where V is some
finite-dimensional vector space over K. Now V is a rational GL(V)-
module and therefore it is a rational H-module. Consequently, since we
are assuming (ii), we can find a base e , e , •.• , en of V with the
1 2
property that each Ke. is an H-submodule of V.
1
With the usual notation
180
is a K-isomorphism of G on to
G xG x ... xG (n factors)
m m m
181
corresponding rational character. In this situation we have a relation
m = a m + a m +... + am, where a. E K and we may suppose that
1122 SS 1
a 1 *- O. Let a E G and apply a to the relation. This yields
a l x(a) = a l Xl (a) whence X = Xl. This proves the lemma.
Let G be an affine group over K, H a closed subgroup of G, and
M a rational left G-module. Then M is also a rational H-module.
G = VI U V 2 U • •• U V r'
182
Definition. An element of K[G] which is an eigenvector of H is
called a 'semi-invariant' of H.
It follows that
H= I
{T T E G and NT ~ N }•
183
Let the dimension of N (as a vector space over K) be d and
consider the exterior power AdM. This has an obvious structure as a
left G-module and as such it is rational; moreover AdM contains the
one-dimensional K-space A ~ and this subspace is a rational H-module.
Choose u € A ~ so that u *- O. If A € H then certainly AU € Ku.
Now suppose that a € G and au € Ku = A dN• We claim that a € H.
For let us take a base of N and extend it to a base of M. Then consider
the effect of a on the elements which make up the base of N. Our claim
follows from the fact that if a d x q (d!S q) K-matrix has exactly one
non-singular d x d submatrix, then the d x q matrix has only d non-
zero columns. Thus we see that
H = {a a I € G and au € Ku },
s
f..(aT) = L f. (a)f .(T).
IJ IL=O III ILJ
and so we see that f~o =fOO(A)fiO ' Accordingly the non-zero members of
{flO' f 20 , ••• , fsO} are semi-invariants of H and they all have the
same weight namely the restriction of fOO to H.
Finally assume that a € G and f~O € Kf iO for i = 1, 2, ••• , s.
Then, for 1::; i::; s, Lo(e) = 0 because e € H and therefore
a 1
fiO(a) = fiO(e) = O. It follows that a € H. Thus we can complete the
proof by taking PI' P2' •.. , Pr to be the non-zero members of the set
{flO' f 20 , ... , fsO},
184
We shall now interrupt the main discussion in order to make some
fairly general observations concerning operations with rational modules
over an affine group. These will assist us when we come to apply
Theorem 38.
To this end let G be an affine group defined over K, and let
M, N be finite-dimensional rational left G-modules. Then M ®K N has
a natural structure as a rational left G- module in which
a(m ® n) = am ® an.
Here, of course, m € M, n € N and a € G.
Now put M* = HomK(M, K). For f € M* and a € G define af
to be the mapping m t-+ f(a- 1 m) of Minto K. Then af € M* and it is
easily checked that M* has become a left (G, K)-module. In order to
examine this structure more closely, let e 1 , e 2 , ••• , et be a base of
Mover K and e~, e;, ... , et' the dual base. Suppose that
t
(Te. = L f..(a)e.,
J i=1 1J 1
T(e. ® e*) = e. ® e*
] v ] v
for all j and v. Then Te. = a.e. and Te* = {3 e*, where a., {3 € K
]]] v vv J v
185
and a.f3
]v
=1 for all j and v. It follows that a
1
= a 2 = ... = at and
therefore, when T operates on M, the effect is the same as that pro-
duced when we multiply by this scalar.
G - GL(M ®K M*)
has kernel H.
186
We insert here a few remarks about character groups. These will
enable us to exploit the theorem just proved.
Let G be an affine group and Xl' X2 rational characters of G.
We define their sum t as characters by
(X
I
+ X2 )(0-) = XI (o-)x 2 (0-).
The effect of this is to turn the set of rational characters into an additive
A
abelian group. This group will be denoted by G. Note that every member
A
of G is a unit of K[G].
Now suppose that K is an infinite field and consider the torus
G = G ® G ® ••• ® G (n factors)
m m m
It is easily verified that, in this case, the rational characters are the
v v v
functions X IX 2 ••• X n, where the v. are integers; and so it follows
I 2 n 1
that (with respect to the addition introduced above) the rational characters
form a free abelian group on n generators. Indeed X , X , .•. , X
I 2 n
is one of the bases of this group. Let X , X , ••• , X be an arbitrary
I 2 n
base. We obtain an automorphism of G by means of the mapping
187
Proof. In what follows X denotes a typical rational character
of G. Put
G = Gm x G
m
x ••• x G
m
(n factors)
r 1 xr 2 x ... xr q xG
m
xG
m
X ... XG
m
(n factors)
are K-isomorphic.
188
where dense in G . The corollary now follows by applying Theorem 28
m
Cor. of Chapter 2.
The next corollary holds for an arbitrary ground field.
189
NG = 0 has a (unique) member, MG say, which contains all the others.
This satisfies M = MG EB MG and it is, moreover, the unique comple-
mentary G-submodule of MG in M.
(5.10.2)
Denote by
G
the associated projection of M on to M . Note that PM is a homo-
morphism of G-modules and that
190
(5.10.4)
191
Proof. It is clear that RG is an RG -submodule of R. Suppose
now that g ERG. Then the mapping R - R in which f ~ gf is a G-
homomorphism and therefore gR G ~ RG by Lemma ll. Accordingly
RG is an RG-submodule of R. The final assertion of Lemma 12 is now
trivial.
Proof. We need only prove that the right hand side is contained in
the left hand side since the converse is trivial. Suppose therefore that
f belongs to (2::ill.) n RG. Then
J
f =L f.,
jEJ J
where f. E ill. and almost all the f. are zero. Next
J J )
f = PR(f) == L PR(f.).
jEJ )
However PR(f.) E ill. n RG because, by Lemma II Cor., the restriction
J J
of PH. to illj is the Reynolds operator of illr Accordingly f belongs
to 2::(illj n R ~ and the lemma follows.
The next lemma provides a general result from the theory of graded
rings. It will be needed in the proof of our main result concerning algebras
192
of G-invariant elements.
Suppose that R is a commutative ring with an identity element
(not necessarily a K-algebra) which is graded by the non-negative integers.
Thus
193
Assume that this is not so and choose p 2: 0 as small as possible
so that R is not a finitely generated R -module. Then p 2: 1. Also
P 0
R' = R 0 EB • •• EB Rp EB 0 EB 0 EB •••
because 'U' ~ Rp' Also this construction ensures that R +is a finitely-
generated R"-ideal.
Let us take a finite homogeneous system of generators for the ideal
R" and pick out those that have degree p. These will generate
+
R" = R I'll' as an R -module because R"Rb" = 0 if a> 0, b> 0 and
p p Q a
a + b = p. Hence Rp/'U' is a finitely generated R 0 - module and therefore
R is a finitely generated R -module. This contradiction completes the
p 0
proof.
194
Proof. Assume (a). Then R+ is a finitely generated ideal of R
and therefore (b) follows by the lemma. The converse holds by virtue
of Hilbert's Basis Theorem.
We come now to the main result of this section.
195
SG = SG EB SG EB SG EB ...
o 1 2
such that 11(va) = 11(V) for all v E V and a E G. We say that (V 0' 11) is
a quotient of V with respect to G or a quotient of V for the action of G
if the following condition is satisfied. Given any K-morphism 11' : V- V~
of V into an affine set V~ such that 11'(va) = 11'(V) for all v and a,
there exists a unique K- morphism c/J: V - V' such that c/J 0 11 = 11'.
o 0
Suppose that (V 0' 11) and (V~, 11') are both of them quotients of
V with respect to G and let c/J : V - V' and I/> : V' - V be the
1 0 0 2 0 0
K-morphisms such that c/J
1
0 11 = 11' and I/>
2
0 11' = 11. Then c/J
2
0 c/J
1
and I/> 0 I/> are the identity mappings of V and V' respectively.
1 2 0 0
Thus 1/>1 is a K-isomorphism and c/J 2 is its inverse. Consequently if
V has a quotient with respect to G, then the quotient is essentially unique.
The question of the existence of quotients is more difficult. Let
a E G. There is a K-automorphism of V in which v f-+ va and corres-
ponding to this we have an automorphism of the K-algebra K[V) in which
a a
f .... f , where f (v) = f(va). Put af = f.a Then, because G acts on
the right of V, this turns K[V) into a left (G, K)-module. Suppose that
f E K[V). Then, by Theorem 25 adapted to the case of right actions, the
196
K-space spanned by the elements {of} aEG has finite dimension. This
K-space is also a rational G-module containing f as may be seen by
adapting the proof of Lemma 4. Thus, to sum up, G acts rationally on
K[V] by means of K-algebra automorphism.
The K-subalgebra K[V]G, of K[V], consisting of the G-invariant
coordinate functions on V IS rationally reduced. This is because K[V]
is rationally reduced and every rational maximal ideal of K[V] contracts
to a rational maximal Ideal of K[V]G (see Chapter 2 Theorem 1). Thus
we obtain
K[V]G.
197
morphism A* : K[U] - K[V] of K-algebras. Let h E K[U] and put
f = A*(h). Then
a
f (v) = f(va) = h(A(va» = h(A(v» = f(v)
and therefore fa = f for all a E G. This shows that A*(h) E K[V]G and
thus we see that there is a unique K~algehra homomorphism
w* : K[U] - K[V 0] such that 71* e w* = A*. But this is equivalent to
saying that there is a unique K- morphism w: V - U such that
o
we 71=A.
This establishes that 71: V - V is a quotient of V with respect
o
to G. Since quotients are essentially unique, the lemma follows.
The next corollary is more or less a restatement of the lemma.
198
First suppose that '11 is an ideal of K[V] and that W is its locus.
Then 1T* -1 ('U) is an ideal . of K[V].
0
The locus of this will be X say.
If now g E K[V 0] and g vanishes at all points of the closure 1T(W), of
1T(W), then 1T*{g) vanishes on Wand therefore 1T*{gm) E'U for some
positive integer m. The converse also holds. Thus g vanishes every-
where on 1T(W) if and only if some power of g belongs to 1T*-1{'U).
Since K is algebraically closed, this means that g vanishes everywhere
on 1T(W) if and only if it vanishes everywhere on X. Consequently
X = 1T(W) that is to say 1T(W) is the locus, on V , of the ideal
o
a
f (w) = f{wa) = 0
a
and therefore f . E'U. This shows that the ideal '11 is a G-submodule
of K[V].
W = n W .•
jEJ J
Then W. is the locus of '11., ~ is the IOC11S of 1T* -1 ('U. n K[V]G), W
J J] -1] G
is the locus of ~'U.,
]
and 1T(W) is the locus of 1T* ]
n K[V] ). ({~'U.)
.
199
(L 'U.) n K[V]G =L ('U. n K[V]G).
j EJ ] j EJ ]
1T1WJ = n 1ifWJ .
jEJ ]
Now let X be a closed G-invariant subset of V, and let
v € 71(X). Put X' = 71- 1 ( {v }). Then X' is also a closed G- invariant
o 0
subset of V and therefore
200
in V are closed. Then V possesses a strict quotient with respect to G.
7T -1 (S) = U TO"
O"EG
and this is open in V. It follows that 7T- 1 (V \S) is a closed G-invariant
o -1
subset of V and therefore, by Lemma 16, 7T(7T (V \S)) = V \S is closed
o 0
in Vo. But this means that S is open in V 0 and with this the proof is
complete.
201
5. 12 Quotients with respect to finite groups
The discussion of quotients set out in section (5. 11) deals primarily
with linearly reductive groups, and therefore it does not cover the case
of finite groups. These are easier to handle and will be given an ad hoc
treatment in this section.
Let R be a non-trivial, unitary, associative and commutative
K-algebra. (For the moment K is an arbitrary field.) Let G be a
finite group which acts on R by means of K-algebra automorphisms so
we have, in effect, a homomorphism of G into the group of K-algebra
automorphisms of R. Those elements of R that are left fixed by the
elements of G form the K-subalgebra RG. If fER, then the effect of
operating on f with the element (1 of G will be denoted by f(1. Note
that (f(1) 7 = f 7(1.
Now suppose that X is an indeterminate. Each (1 in G induces,
in an obvious manner, an automorphism of the polynomial ring R[X].
Also, for fER, the polynomial
II (X _ f(1)
(1EG
belongs to R[X] and is invariant under the automorphisms induced by the
members of G. It follows that its coefficients, say a , a , ... , a ,
1 2 n
all belong to RG. Since the polynomial is monic and has f as a root,
it follows that f is integral over K[a , a , ... , a ] and therefore it is
G 1 2 n
integral over the larger algebra R . In particular we see that R is an
integral extension of RG. ~-
202
II (X - f~).
aEG 1
G
Then a ij E R . Now put
b fT v h E K[V x G].
rEG T
203
As we saw in section (5.11), these conditions ensure that G acts
rationally on K[V] by means of K-algebra automorphisms. Next
Theorem 44 shows that K[V]G is a finitely generated K-algebra and
therefore, by Lemma 15, there exists a quotient 1T: V -V 0 of V with
respect to G. The same lemma also shows that the associated K-algebra
homomorphism 1T* : K[V 0] - K[V] maps K[V 0] isomorphically on to
K[V]G. Finally 1T: V - V 0 is a surjection. This is a consequence of the
final assertion of Theorem 44 and our assumption that K is algebraically
closed.
Lemma 18. Let the situation be as described above. Then for every
closed subset U, of V, 1T(U) is a closed subset of V 0' that is 1T is a
closed mapping.
Proof. Let '11 = Iy(U), <B = '11 n K[V]G, and let X be the locus of
1T*-1 (<B) in Vo. Then K[V]G /<B is a subring of K[V]I'U and the latter is
an integral extension of the former. It follows that every maximal ideal
of K[V]G /<B is the contraction of a maximal ideal of K[V]/'U and there-
fore every maximal ideal of K[V]G containing <B is the contraction of a
maximal ideal of K[V] containing '11. On the other hand, every maximal
ideal of K[V] that contains '11 contracts, in K[V]G, to a maximal ideal
containing <B. If all this is translated into geometrical terms it says
simply that 1T(U) = X. In particular 1T(U) is closed in V .
o
204
is empty and each of Wand W' is a finite set and therefore closed in
V. It follows, because K. is algebraically closed, that
and therefore we can find h E Iy(W) and h' E Iy(W') such that h + h' = 1.
Of course h takes the value 0 at all points of Wand the value 1 at
all points of W'.
Let x EW, x' EW' andput
h = n h a.
a aEG
Then ha E K[V]G and therefore h a = 1T*(f) for some f E K[V].
0
Also
ha(x) = 0 and
h (x') == n h(x'a) =1
a aEG
because x'a EW' for all a E G. However h (x) = f(1T(x)) = f(y) =
a
f(1T(x')) = h (x') and this is the desired contradiction. Thus our claim
a
is established and it follows that 1T- 1 ( {y}) is an orbit.
It only remains for us to show that 1T: V .... Va is an open mapping.
However this is no problem because the argument used to complete the
proof of Theorem 43 works again here.
W = V x V x .•. x V (n factors)
205
a strict quotient 11: W -W withrespect to G.
o
Let us examine this quotient. The points of W 0 are matched with
the orbits of G in V. Also two points (vI' v , ... , v ) and
2 n
(v', v', ... , v') of W belong to the same orbit if and only if
1 2 n
(v', v', ... , v') is a permutation of (v , v , ... , v). Thus the
1 2 n 1 2 n
orbits of G are the unordered n-tuples of points of V. Accordingly
these unordered n-tuples may be regarded, in a natural way, as the points
of an affine set W . When this is done the associated surjection 11 :W-W
o 0
is a closed morphism, and the coordinate ring of W 0 consists of all
f E K[W] with the property that
206
inclusion mapping of V.1into
--
V.
Let 'U. be the kernel of the projection homomorphism K[V] -+ K[V.). The
I I
rational maximal ideals of K[V) that contain 'U. correspond to the points
I
of V .. Thus V. = CV('U.) and therefore V. is closed when regarded as
I I I I
a subset of V. Also, because K[V.]
I is rationally reduced, Rad..._('U.
·V I)='U.I
and therefore L(V.) = 'U .. It follows from this that the affine structure
-V I I
of V. is not changed by regarding it as a closed subset of V, and that
I
the projection of K[V) on to K[V.) corresponds to the inclusion mapping
I
of V. into V.
I
Now let V', V', ... , V' be additional affine sets defined over K.
1 2 S
207
Their disjoint union, V' say, may be regarded as an affine set with
for every positive integer n. Now write h as the quotient of two elements
n
of K[V]. Then, provided n is large enough, hP is the quotient of two
elements both of which belong to K[V] n n. Accordingly n = (K(W))(f1 , f ),
2
where f ,f are in K[V]. But there are only finitely many fields between
1 2
K(W) and n, and the field K is infinite. It follows that
208
Q = (K(W))(f1 + cf 2 )
for a suitable c E K. Since f + cf is in K[V], this establishes our
1 2
claim.
By multiplying f by a suitable non-zero element of K[W] we can
arrange for it to have an additional property. Thus if
F(X)G(X) + F'(X)H(X) = q,
where G(X), H(X) are in (K[W])[X] and q E K[W], q"* O.
Consider the K-algebras
m m-I m-2
g + y g
1 2 m
+Y g + ... + y = 0,
where y. E K[W]. Since g"* 0 we may suppose that y "* 0 and then it
1 m
follows that every maximal ideal of K[W] not containing y is the
m
contraction of a maximal ideal of (K[W])[f] not containing g, and this in
turn will be the contraction of a maximal ideal of K[V].
Choose wW so that q(w) "* 0 and y (w)"* O. This determines a
E
m
maximal ideal M of K[W]. But y 1 M so M is the contraction of a
m
maximal ideal of K[V]. However cf>: V -+W is an injection. Consequently
there is only one maximal ideal of K[V] that contracts to M. It follows
that there is exactly one maximal ideal of (K[W])[f] that contracts to M.
209
The homomorphism K[W]'" K of K-algebras in which p 1-+ p(w)
induces a homomorphism
(K[W])[X]'" K[X]
of the polynomial rings. For Q(X) € (K[W])[X] let us use Q(X) to denote
its image. Then
(K[W])[X] ... K
210
is a finitely generated field extension of F.
We are now ready t<;> begin the investigation of quotient groups of
affine groups. To avoid excessive repetition we shall make the following
assumptions which are to remain in force until we come to the statement
of Lemma 25:
(1) the field K is algebraically closed;
(2) G is a connected affine group defined over Kj
(3) H is a closed, normal subgroup of Gj
(4) there is given a. connected affine~ r and a surjective
K-homomorphism 1/>: G'" r such that Ker I/> = H.
Note that if (1), (2) and (3) are satisfied, then we can always find I/> and
r so that (4) holds as well. For, by Lemma 10, there exists a finite-
dimensional rational left G-module such that if p : G'" GL(V) is the
corresponding rational representation, then the kernel of p is H. Put
r = p(G). By Theorem 22, r is a closed subgroup of GL(V) and there-
fore (4) is satisfied if I/> is taken to be the induced K-homomorphism
G'" r. Of course r will be connected because it is a continuous image
of G.
The mapping G x H'" G in which (a, T) ':'+ aT provides a K-morphic
action by H on the right of G. Consequently H acts rationally on K[G]
by means of K-algebra automorphisms. As in similar situations we use
K[G]H to denote the subalgebra formed by the functions that H leaves
invariant. Since I/> is a surjective K-homoniorphism with kernel H, we
have
(5.13.1)
211
and K[f , f , ... , f ] has the same quotient field as K[G]H. Evidently
1 2 s
K[f , f , ... , f ] is an affine K-algebra. Consequently there exists an
1 2 S
irreducible affine set V with K[V] = K[f , f , ... , f ] and then the
1 2 S
inclusions in (5.13.1) will give rise to almost surjective K-morphisms
e : G -+ V and l/J : V -+ r such that l/J 0 e = cpo By Chapter 3 Theorem 33,
e(G) contains a non-empty open subset U, of V, and now, by making
U smaller if necessary, we may suppose that U consists of the points of
V where some member of K[V] does not vanish. This ensures (see
Chapter 2 Theorem 20) that U has a natural structure as an affine set
with K[V] ~ K[U] and K(V) = K(U).
Next, again by Chapter 3 Theorem 33, l/J(U) contains a non-empty
open subset of r. Accordingly the mapping U -+ r induced by l/J is an
almost surjective K-morphism.
Suppose that f E: K[V] ~ K[G]H. Then f(crT) = f(cr) for all cr E: G
and T E: H, and from this it follows that e : G -+ V is constant on the
cosets of H in G. Suppose that u ,u E: U, say u. = e(cr.), and that
1 2 1 1
l/J(u ) = l/J(u). Then cp(u1 ) = cp(u). Thus cr and cr belong to the
1 2 2 1 2
same coset of H and therefore u = u. Thus our K-morphism U -+ r
1 2
is an injection as well as being almost surjective. Consequently, by
Theorem 46, K(U) = K(V) is a purely inseparable, algebraic extension
of K(r). The lemma follows.
212
factorization domain. This fact is used in the argument that follows.
Write f = f' If", where f', f" are in Qr and have no common
,y
irreducible factor, and then, by multiplying numerator and denominator
by a suitable unit of Qr ,arrange that f', f" E K[r]. Since f I Qr '
,y ,y
f" has at least one irreducible factor. If w is such a factor, then
wQ r = PQr ,where P is a prime ideal of K[r], f" E P whereas
,y ,y
f' I P. This shows that f' is not in the radical of the ideal f"K[r] and
therefore there exists z E r such that f"(z) = 0 and f'(z) i- O. Choose
a E G so that cp(a) = z.
Now ff" = f' and we can regard all of f, f', f" as belonging to
K[G] in which case f(a)f"(a) = f·(a). However the value of f' at a is
the same as its value at z because of the way we embed K[r] in K[G].
Consequently f'(a) i- O. Similar considerations show that f"(a) = O.
The relation f(a)f"(a) = f'(a) now yields a contradiction and with it our
claim that f E Qr, y is established. Accordingly we can find () y E K[r]
such that () f E K[r] and () (y) i- O.
Y Y
Let us choose such a ()
y
for each y in r. The ideal they generate
in K[r] is K[r] itself because there is no single point where they all
vanish. Since () f E K[r] for every y it follows that f E K[r].
y H
It has now been proved that K[r] d K(r) n K[G] and, as the reverse
inclusion is trivial, this completes the proof.
Proof. For the moment we shall leave the final assertion on one
side.
First suppose that K has characteristic zero. In this case Lemma
21 shows thatk:(r) contains K[G]H and therefore K[r] = K[G]H. Thus
our assertions are trivial. Now assume that the characteristic of K is the
prime p and let f E K[G]H. By Lemma 21, fpn is in K(r) n K[G]H=K[r]
provided that n is large enough. Hence in this case too the first two
assertions are clear. Note that we have established more about the rela-
tion between K[G]H and K[r] than is actually stated in the lemma.
213
Indeed the extra information will be needed later.
Let us now turn our attention to the final assertion. By Lemmas
20 and 21, the quotient field of K[G]H is an algebraic extension of K(r)
of finite degree. Consequently, because K[r] is a finitely generated
K-algebra, the integral closure of K[r] in this quotient field is a finitely
generated K[r]-module t which has K[G]H as a K[r]-submodule. It
follows, because K[r] is Noetherian, that K[G]H is also a finitely
generated K[r]-module and therefore it must be a finitely generated K-
algebra. Finally K[G]H is rationally reduced because it is a K-subalgebr
of K[G]. With this the proof is complete.
Weare now ready to take a major step forward. Let us regard G
as an affine set with H acting morphically on its right.
Lemma 24. There exists a quotient 11: G - S for the right action
of H on G. Such a quotient is surjective and its fibres are precisely
the cosets of H in G. Furthermore if we regard K[S] as a subalgebra
of K[G], then K[S] = K[G]H.
214
closed but this is less significant.) As usual our affine groups and sets
are assumed to be defined over K.
where L, g. E K[G]. We claim that we can arrange that all the f. are
1 1 1 ---
in K[ G]H. To see this we first make gl' g2' .•. , gm linearly inde-
pendent over K. Then, for u ,a E G and T E H,
1 2
whence
m m
L L(a T)g.(a ) = L L(a )g.(a )
i=l 1 1 1 2 i=l 1 1 1 2
and therefore
m m
L L(a T)g. = L L(a )g .•
i=l 1 1 1 i=l 1 1 1
It follows that L(a T) = L(a ) and hence that f. E K[G]H. This estab-
1 1 1 1 1
215
lishes our claim.
Let us make a fresh start. Suppose that (5. 13. 2) holds but now
with all the f. in K[G]H. Without destroying this property we can also
1
suppose that f , f , ... , f are linearly independent over K, and then
12m
an argument similar to that just used shows that the g. are in K[G]H
1
as well. Thus for each i we can find u., v. E K[S] so that u. 0 n = f.
1 1 1 1
and v. 0 n = g.. By construction the value of
1 1
m
L u. v v.
i=l 1 1
Proof. This will be divided into two stages. Put H = Ker n so that
H is a closed, normal subgroup of G.
First stage. Here it will be assumed that H itself is connected.
We set R = K[G] and 1= K[r]. These are integral domains, I is a K-
subalgebra of R, and there exist elements u1 ' u 2 ' ••• , urn in R such
that R = I[ u1 ' U , ••• ,
2
u ], that is to say R is a finitely generated
m
216
I-algebra.
By Theorem 13, all the points of G are Simple and therefore, as
we remarked earlier, the local rings ofthe points of G are unique
factorization domains. Moreover the intersection of these unique
factorization domains is K[G] = R. Consequently R is integrally closed
and, for similar reasons, I is integrally closed as well.
There exist t a E I, a*-O and z , z , ... *, z in R so that
1 2 q -1
z , Z , .•. , Z are algebraically independent over I and R[a ] is an
1 2 q -1 -1
integral extension of I[a ,z, .•. , Z ]. We note that R[ a ],
-1 1 q
I[ZI' Z2' .•. , Zq] and I[a ,zI' •.. , Zq] are all of them integrally
closed. l
Choose a maximal ideal M, of R, so that a I. M and let x be
the corresponding point of G. Then y = l1(X) corresponds to the maxi-
mal ideal N = M n I of I = K[r].
Let U be an open neighbourhood of x in G. We shall prove that
l1(U) is a neighbourhood of y. Since 11 is a surjective homomorphism,
the fact that 11 is open will then follow by homogeneity. Before pro-
ceeding note there exists W E R such that w(x) *- 0 and
{ ~ I~ E G and wW"* o} k u.
It follows that we may assume that U itself has the form
{ ~ I~ EG and w(~) *- O} for a suitably chosen w.
We have 11- 1 ( {y }) = Hx and this is irreducible because we are
assuming that H is connected. It follows that NR has exactly one
minimal prime ideal and, because w(x) *- 0, w does not belong to this
minimal prime ideal. But a I. M and therefore a I. N. We now see that
NR[ a -1] has precisely one minimal prime ideal and w does not belong to it.
Since Z , Z , ..• , Z are algebraically independent over I,
1 2 q
NJ[ \ ' Z , •.• , Z ] is a prime ideal of I[ Z , Z , ..• , Z ] which does
2 q -1 1 2 q
not contain a. Consequently NJ[a ,z, ... , Z ] is a prime ideal of
1 q
I[a- I , Zl' ..• , Zq]' Furthermore, because R[a- I ] is an integral ex-
217
tension of I[a-I, Z , ... , Z ], every prime ideal of R[ a -1] that con-
I q
tracts to NI[a- 1 , ZI' ... , Zq] in I[a- 1 , zl' ••• , Zq] hastobeamini-
mal prime ideal of NR[a- 1 ]. Thus we reach the following conclusion:
there is only one prime ideal of R[ a -1] that contracts to NI[a -1, Z , .•• , Z
1 q
and it does not contain w.
Since W E R it is integral over the integrally closed ring
I[a -1, Z , •.. , Z ], and therefore the irreducible polynomial for w over
1 q
the quotient field of I[a -1, Zl' .•• , Zq] has the form
where t 2': 0 and l/>i(zl' z2' •.. , Zq) E I[zl' z2' .•• , Zq]. Also
9>h(zl' Z2' .~~' Zq)I.NI[zl' z2' •.. , Zq] because W is not in any prime
ideal of R[a ] that contracts to NI[a- 1 , Z , ••. , z]. Let v be a
1 q
coefficient of I/>h(z , Z , ••• , Z ) that is not in N. Then av E K[r]
1 2 q
and av I. N. Accordingly
v I. N'.) The existence of the 0', shows that there is a maximal ideal of
1
I[ Zl' Z2' ..• , Zq] that contracts to N' in I, but contains neither a
nO~l I/>h (Zl' z2' ..• , Zq). Consequently there is a maximal ideal of
I[ a ,z, ..• , Z ] that contracts to N' but does not contain
1 q t
I/>h(Zl' Z2' .•. , zq)/a. Now
218
y' E T and M' to x' E G, then x' E U and y' = 1T(X'). This proves that
T ~ 1T(U) and establishes that 1T is open for the special case where H
is connected.
Second stage. Here we remove our assumption concerning H. To
this end let H be the connected component of the identity of H. If
o -1 -1
X E G, then xH x is a closed connected subgroup of xHx = H. Con-
~1
sequently xH x ~ H and therefore Ho is a closed, connected,
o 0
normal subgroup of G. By Lemmas 24 and 25, the group G;Ho can be
given an affine structure in such a way that (i) the natural mapping
e : G -+ G;H o is a K-homomorphism, and (ii) with the obvious identification
H
K[G;Ho] = K[G] o.
Also, in view of what was established in the first stage of the present
proof, e is an open mapping.
Consider the finite group H;Ho' This is a normal subgroup of
G;Ho and its finiteness ensures that it is a closed subgroup. Let us
regard H;H as acting morphically on the right of G;H. By Theorem
o 0
45, we can find a strict quotient, X : G;H -+ S say, for this action and
o
then we have
(H;H ) H (H;H)
K[S] = K[G;Ho] 0 = (K[G] 0) 0 = K[G]H.
219
their contractions precisely the maximal ideals of K[r] that do not
n
contain fP. This ensures that A : S -+ r is an open mapping.
We come now to the main result of this section.
By Lemma 19,
220
morphisms 1I. : G. -+ S. (see the discussion following the proof of
1 1 1
Lemma 19). It is now clear that 1I: G -+ S is a strict quotient for the
action of H on G, and that if we use Lemma 25 to turn S into an affine
group, then 1I: G -+ S meets the requirements of the theorem.
It remains for us to remove the assumption that H is contained in
G. To this end let H denote the connected component of the identity
of°H. Then Ho is not°only a closed, normal subgroup of H, but also t
a closed normal subgroup of G. Because H ~ G , the first part of
° ° group
this proof now shows that we can regard the abstract G;H as an
affine group; °
moreover this can be done in such a way that the natural
mapping e: G -+ G;H is an open K-homomorphism allowing us to
identify K[G;H ]
° H
with K[G] o. Next the finite group H;H is a closed,
°
normal subgroup of G;H. As in the proof of Theorem 47, we can now °
find an affine group S ° an open surjective K-homomorphism
and
X : G;Ho -+ S such that (i) Ker X = H;Ho and (ii) K[S], as a subalgebra
of K[G;Ho]' is
H;H H H;H
K[G;Ho] °
= (K[G] 0) 0 = (K[G])H.
221
6 . The associated Lie algebra
General remarks
6. 1 General K-algebras t
So far the K-algebras that have concerned us have all been associative
It is now necessary to consider a wider class of algebras.
A general K-algebra is a pair (M, /1), where M is a vector space
over K and
(6.1.1)
222
these circumstances /1 induces a bilinear mapping
Ii:NxN .... N
thereby making (N, Ii) a general K-algebra. We call (N, Ii) a sub-
algebra of (M, /1).
To see how general K-algebras can arise, let M be any vector
space over K and {m.}. I a base for Mover K. Further let {~ .. },
1 IE ~
where (i, j) varies freely in I x I, be an arbitrary family of elements
of M. Then there is precisely one way to turn M into a general K-
algebra so that the product of m. and m. (in that order) is ~ ...
1 J IJ
As an application of this observation assume that (M, /1) is a
general K-algebra, let L be an extension field of K, and define the
L- space ML as in section (1. 6). Then M is contained in ML and
there is a unique way to turn ML into a general L-algebra so that
multiplication on ML extends multiplication on M.
Suppose next that (M, /1) and (M ' , IL') are general K-algebras.
A mapping f: M .... M' is called a homomorphism of general K-algebras
if it is K-linear and
given by
223
/1((x, y), (x', y'» = (/11 (X, X'), /12(Y' y'»
6. 2 Lie algebras
J.l(x, y) + J.l(y, x) = 0
for all x, y E M.
224
Let (M, J.l.) be a general K-algebra and {e.}. I a base for M
1 IE
over K. Evidently (M, J.l.) is a Lie algebra if and only if the following
three conditions are satisfied;
(a) J.l.(e.,
1
e.)
1
=0 for
---
all i;
(b) J.l.(e., e.)
1J
+ J.l.(e.,
J1
e.) = 0 for all i and j;
-----
(c) J.l.(J.l.(e i , ej ), ek ) + J.l.(J.l.(e j , ek ), e i ) + J.l.(J.l.(e k , e i ), e j ) = 0 for all
i, and k.
Proof. We have only to take a base for Mover K and use the
criterion described above.
[x, x] = 0
[x, y]+ [y, x] = 0,
1 (6.2.1)
[[x, y], z] + [[y, z], x] + [[z, x], y] = O.
225
Example 1. Let A be an associative K-algebra in which the product
of the elements x, y of A is written as xy. Then A becomes a Lie
algebra if we put
[f, g) = fg - gf.
[A, B) = AB - BA
for A, B in M (K). Note that the matrices with zero trace form a Lie
n
subalgebra.
226
We return to the general theory in order to introduce some extra
terminology. Let M be a Lie algebra over K. By the dimension of M
we mean simply its dimension as a K-space. Next let x E M and define
cP :M-M by
x
cP (z)
x
= [x, z]. (6.2. 3)
ad : M - En~(M) (6.2.4)
in which x 1-+ cp. An easy verification using Jacobi's identity now shows
x
that
a
f (7) = f(ra) (6.3.1)
for all T E G.
Let D E DerK(K[G]).
227
Denote by DerK(K[G])G the set of all invariant derivations. By
Theorem 4, DerK(K[G]) is a Lie algebra and now a trivial verification
establishes
G
Theorem 5. The space DerK(K[G]) of invariant derivations is a
Lie subalgebra of Der K(K[G]).
D : K[G]"'K (6.3.2)
e
by
D f= (Df)(e), (6.3.3)
e
(6.3.4)
228
It follows that Df = 0 for all f in K[G] and hence that D = O. Thus
(6. 3. 4) is an injection.
Now assume that a E DerK(G, e). For each f E K[G] we define
a mapping
Df: G-K
by (Df)(a) = a(f a). Now the mapping G x G - K in which (a, T) 1-+ f(aT)
belongs to K[G x G]. Consequently there exist f , f , ... , f and
12m
gI' g, ... , g
2 m in K[G] such that
m
f(crT) = L f.(a)g.(T)
i=l 1 1
Accordingly
m
Df = L (af.)g.
i=l 1 1
D : K[G] - K[G].
(D(fg))(a) = a(faga)
= ga(e)((Df)(a)) + fa(e)((Dg)(a))
= g(a)((Df)(a)) + f(a)((Dg)(a))
= (g(Df) + f(Dg))(a)
229
(DfT)(a) = ~((fTt)
= ~(faT)
= (Df)(aT)
= (Df) T (a)
which shows that D E: DerK(K[G])G. This establishes that (6.3.4) is a
surjection and completes the proof.
G
Corollary. Let D, D' E: DerK(K[G]) . Then D = D' if and only
if D = D'.
e e
It will now be shown how a homomorphism of affine groups leads
to a homomorphism of their Lie algebras. To this end let cp: G -. G'
be a K-homomorphism of affine groups. By Theorem 6, we have iso-
morphisms
and
(Here e' = cp(e) is the identity element of G'.) We can therefore define,
in a unique manner, a K-linear mapping
(6.3.5)
so as to make
DerK(K[G])G-----+. DerK(G, e)
230
(d</>D)
e
,= De 0 </>*,
G
Lemma 1. Suppose that a E G, f' E K[G'] and D E DerK(K[G]) •
Then
a
(f' 0 </» (7) = f'(</>(7a))
= f'(</>(7)I/>(a))
= (f'I/>(a) 0 1/>)(7).
231
is a homomorphism of Lie algebras.
15 ,f'
e
= A(f' 0 cp). (6. 3. 8)
([15(1), n(2 )]f')(e ') = (D(1 )n(2 )f' _ B(2 )n(l )f')(e ')
= n~~)(D(2)f') - i5~)(D(l)f')
and hence
232
(c) if cp is a K-isomorphism of affine groups, then dcp is an
isomorphism of Lie groups and d(cp-l) == (dcpfl.
Proof. The first two assertions follow from the properties of the
diagram (6.3.6) when taken in conjunction with the remarks that immedi-
ately follow the statement of Theorem 16 of Chapter 4. The final assertion
is a consequence of the first two.
We next investigate the connection between the Lie algebra of G
and that of a closed subgroup.
H
Proof. Let D E DerK(K[H]) and be such that dcpD = 0, and let
f E K[G]. By (6. 3. 7)
D (f 0 cp) = ((dcpD}f)(e) = O.
e
This shows that if D belongs to the Lie algebra of H, then De (IG (H»
contains only zero.
233
Now suppose that De(IG(H)) = (0). The homomorphism
¢* : K[G] - K[H] of K-algebras that is induced by ¢ has kernel IG(H)
and therefore there exists ~ E DerK(H, e) such that
D = ~ 0 ¢*.
e
H
Next, by Theorem 6, there exists D' E DerK(K[H]) such that D~ = ~.
Accordingly
(d¢D') = D' 0 ¢* = D
e e e
and now it follows that d¢D' = D. In other terms D belongs to the Lie
algebra of H.
This theorem will now be recast in a different form.
Proof. Suppose first of all that D(IG(H)) <;::: IG(H) and let f E IG(H).
Since e E Hand Df E IG(H), we have (Df)(e) =0 and therefore Def = O.
Thus De(IG(H)) = 0 and hence D belongs to the Lie algebra of H by
Theorem 10.
Next assume that D is in the Lie algebra of H. Let f E IG(H) and
let TEH. Then f(H) = {oj andtherefore fT(HT- 1) {O}. But =
-1 T T
HT = H and so it follows that f E IG(H). By Theorem 10, D f = 0
T e
that is to say (Df )(e) = o. We now have
T
(Df)(T) = (Df) (e) = (Df T)(e) = o.
This shows that Df E IG(H) and hence that D(IG(H)) <;::: IG(H) as required.
Let Go be the connected component of the identity of G. Then, by
Theorem 9, the Lie algebra of G is contained in the Lie algebra of G.
o
In fact we have
Theorem 12. The Lie algebra of Go coincides with the Lie algebra
algebra of G.
234
Proof. Suppose that D belongs to the Lie algebra of G and let
f E IG(G o)' By Theorem 10, the desired result will follow if we show
that D f is zero.
e
We can choose h E K[G] so that (0 h vanishes on all the cosets of
G
o
in G other than G
0
itself, and (ii) h(e) * O. This secures that
fh = 0 and we also know that f(e) = O. Accordingly
o = De (fh) = (Def)h(e)
and therefore D f = 0 as required.
e
We next determine the dimension of the Lie algebra of G.
Theorem 13. The dimension of the Lie algebra of the affine group
G is equal to Dim G.
-1
Proof. Let f E K[G] and define w: G x G - K by w(a, T) =f(aT ).
Then w E K[ G x G]. Consequently there exist f 1 , f , ••• , f and
2 m
gI' g , •.• , g in K[G] with the property that
2 m
m
f(aT- I ) = L f.(a)g.(T).
i=l 1 1
235
m
Note that L f.g. not only belongs to K[G] but is, in fact, a constant.
i=1 1 1
Let D E DerK(G, e). Then
m m
L (Df.)g.(e) + L f.(e)(Dg.) = D.
i=1 1 1 i=1 1 1
Now
m
L g.(e)f. = f
i=1 1 1
and therefore
m
Df = L (Df.)g.(e).
i=1 1 1
and so we obtain
m
(d(j, e)D)f = D(f 0 j) = L f.(e)(Dg.).
i=1 1 1
Theorem 15. Let [G, /-L, j, e] be an affine group and suppose that
G is commutative. Then dj maps each element of the Lie algebra of G
into its negative.
236
is not 2, then [D, D'] = O. However this restriction on the characteristic
. not necessary. t
IS
(6.3.9)
and
H
~ = Der K(K[H]) . (6.3.10)
237
By hypothesis, there exists a field n, between K(H) and K(G),
such that (i) n is a pure transcendental extension of K(H), (ii) K(G) is
algebraic and separable over n, and (iii) the degree of K(G) over n
is finite. It is clear that D can be extended to a derivation of n over
K. By Chapter 4 Theorem 7 it can be extended further to provide a
derivation, D' say, of K(G) over K. Thus D' E DerK(K(G)) and
D'p = Dp for all p E K[H].
Let a E G. There is an automorphism of the K-algebra K[G] in
which f t-+ fa, and this extends to an automorphism of K(G) over K.
We use ~a to denote the image of ~,where ~ E K(G), under the extended
automorphism.
For the moment we keep a fixed and define D" E DerK(K(G)) by
-1
D"~ = (D,~a )a.
But
238
a
a a v.
D"u. = (D'u.) = --.!. E Q
1 1 a G, e '
g
a
because g (e) = g(a) is not zero. Accordingly DTT(K[G)) ~ QG and
,e
we can define
Il. : K[G) -+ K
~p = (D"p)(e) =. (Dp)(E) = D p.
E
Thus
is exact.
239
AD , D' : K[G x H] - K[G x H]
in which
AD D,{f
, v g) = Df v g+f v D'g. (6. 3. ll)
(6. 3. 12)
given by (D, D') ~ A.D D' is not only K-linear but also an injection.
,
We next observe that if CT e: G and T e: H, then
( CT T) CT T
(f v g) , = f v g
from which it follows easily that A. D, D' belongs to the Lie algebra of
G x H. Consequently (6. 3.12) gives rise to a K-linear injection
(6. 3. 13)
However the two terms in (6. 3. 13) have the same dimension namely
Dim G + Dim H. Accordingly (6. 3. 13) is an isomorphism of K-spaces.
Now, by Theorem 3, ~ x ~ is a Lie algebra and
240
6. 4 Extension of the ground field
t See section (4. 4) and, in particular, the remark just before Theorem
26 in that section.
241
Theorem 18. Let g be the Lie algebra of G and let L be an
extension field of K. If n~w D E g, then DL (see ab~elong~he
Lie algebra of G(L). Furthermor~ (DL) = (D )L.
e e
Now let D , D , ••• , D be a K-base for g and put a. = (D.).
1 2 P - I Ie
By Theorem 6, a , a , ... , a is a K-base for DerK(G, e) and there-
1 2 P L L L
fore, by Chapter 4 Theorem 26, a , a , ... , a is an L-base for
(L) 1 L 2 L P
DerL(G ,e). But we know that (D.) = a.. It follows, by Theorem 6,
L L L Ie 1
that D , D , ••• , D is an L-base for g*. Hence when g is regarded
1 2 P L- -
as a K- subspace of ~* we have ~* = ~ , where each side is regarded as
an L-space. However
L
for all D, D' in ~ and thus we see that ~* and ~ coincide as Lie
algebras. This establishes
Let us now examine the effect of enlarging the ground field on the
Lie homomorphism dcp : ~ - ~ obtained from a K-homomorphism
cp : H - G. To this end suppose that D E h, f E K[G] and, as before, let
f denote the member of L[G(L)] that pr~longS f. From cp we obtain
an L-horoomorphism cp(L) : H(L) _ G(L) and, from (6.3. 7), we have t
from which we conclude (using the fact that dcpD arid dCP(L)D L are
invariant derivations) that
242
for all (J E G. Accordingly (dl/>(L)DL)f is the prolongation of ((dl/»D)f,
~) L and dl/>D agree on K[G]. Thus dl/> ~) DL = (dl/>D) L ,
that is to say dl/> D
a result which we now restate as
extends dl/>:!!"'!f'
By way of illustration let us consider the case where H is a closed
subgroup of G and 1/>: H ... G is the inclusion homomorphism. Then
I/>(L) : H(L) ... G(L) is also an inclusion homomorphism. As a temporary
measure let h* respectively g* denote the Lie algebra of H(L) res-
pectively G(L). We then have ~njections ~"'~, ~* ... ~*, ~ ... ~* and
~ ... ~*, all of which preserve Lie products, and Theorem 20 shows that
the diagram
243
supplement the notation by using ~(A) to describe the associated Lie
algebra. If V is an n-dimensional (n 2:: 1) vector space over K, then
we may take A to be En%(V) in which case U(A) becomes t GL(V).
, In view of Theorem 27 of Chapter 5, it is clear that the study of the closed
subgroups of U(A) has important implications for the general theory.
Let a EA. Then, as in (4.6.19), we can construct a derivation
D of K[A] over K. This extends naturally to a derivation of
a
K[U(A)] over K. It will be convenient to denote the extension by the
same symbol. Thus Da E DerK(K[U(A)]) and if we put
(6. 5. 1)
(D P)(O')
a
= -(dP)(O', aO') (6.5.3)
(6. 5. 4)
T
((D F) )(0')
a
= (Da F)(O'T) = -F(aO'T).
On the other hand F TEA * and therefore
T
(D F )(0')
a
= -F T(aO') = -F(aO'T).
244
It follows that (6. 5. 4) holds for all F EA * and it is clear that it holds
for all constants. Again it is easy to see that if (6. 5. 4) holds for P = PI
and P=P 2 ' then it also holds when P=P 1 +P 2 andwhen P=P 1 P 2 '
It follows that (D P) T = D (P T) for all P E K[A] and now the extension
a a
to K[U(A)] is immediate.
Lemma 3 shows that, for all a EA, Da belongs to the Lie algebra.
!:!(A) of U(A). We recall that A itself is a Lie algebra with [a, b) = ab-ba.
A - ~(A) (6. 5. 5)
D[a, c) -- [Da' D)
c
D[a, c ]F = [Da , Dc ]F
forallFEA*. Now,forbEA,
(D[
a, c ]F)(b) = -F([a, c]b)
= F(cab) - F(acb).
245
and likewise (D D F)(b) = F(acb). The theorem follows.
c a
On the basis of Theorem 21 we can identify ~(A) with A con-
sidered as a Lie algebra. Indeed in what follows we shall put
~(A) = A. (6.5.6)
Next assume that (2) holds and let P € I(G). Then pa € I(G) and
therefore
-1
a
(dP )(a, aa) = 0,
-1
that is to say (napa )(a) = O. But
-1 -1
(D pa )
a
= (Da p)a
and thus (Da P)(1A) = o. As this holds for all P € I(G) it follows, from
Theorem 10, that a € ~.
There is a companion to Theorem 22 which will be proved shortly.
First we recall that if a € U(A), then left translation by means of a
induces an automorphism ~~ of the K-algebra K[U(A)]. Note that the
inverse of ~ *a is ~ *-1 and that
a
246
'x~(A *) = A *. (6.5. 8)
D 'x*
a a
= A*D
a aaa-1
.
((;\* D A*)F(b)
a-I a a
= (Da (,X*F))(a-1b)
a
-1
= - (,X *F)(aa b)
a
(,X*F)(aa-1b) = F(aaa-1b)
a
= - (D F)(b)
aaa -1
Proof. We have
(d'x;;'P)(lA' a) = -((Da'x~P)(lA)
= -(A*(D _lP))(lA)
a aaa
= -(D P)(a)
aaa- 1
= (dP)(a, aa)
by (6. 5. 3).
The next result is the companion to Theorem 22.
247
(1) a E ~;
(dP)(lA' a) = 0
for all P E I(G). However, lA E G and so the desired result follows from
Theorem 22.
Now suppose that L is an extension field of K. Then AL (see
section (1. 6)) is a non-trivial, unitary and associative L-algebra whose
dimension as a vector space over L is finite. By Chapter 2 Theorem 32,
we have AL = A (L) because K is infinite, and an easy application of
Lemma 14 of Chapter 2 shows that
and
D(b) =0 (b E A).
248
Every element of AL can be written in the form A b + A b +... + A b
11 22 qq
with A. ELand b. EA, and then
1 1
(6.5. 10)
Proof. Put y = (Dx)x -1 and suppose that P E I(G). Then, with the
usual notation for prolongations, P(x) == 0 and therefore, by Chapter 4
Lemma 15, (dP) (x, Dx) = O. Now the prolongations P generate the ideal
I(G)L[U(A L)] and this is the ideal, 'U say, of L[U(A L)] which is
associated with G(L). Hence, by (4.6. 8) and (4. 6.9), we have
(dQ)(x, Dx) = 0, that is (dQ)(x, yx) = 0, for all Q E 'U. Consequently
L
y Eg by Theorem 22.
Proof.
Since K[G] is an integral domain, the derivation D
a
extends to a derivation of K(G) over K. (The extension will be denoted
by the same symbol.) Next, because we have an isomorphism K(G) "" K(x)
over K, Da will induce a derivation, ~ say, of K(x) over K. We put
D= -~.
Let a 1 , a , ••• , a
the dual base.
2 n
Then a , a , ••• , a is also a base for A
r: over
be a base for A over K and F , F , .•. , F
2
Land
n
1 2 n
this time the prolongations F1 , F2 , ... , Fn form the dual base. Now
L
and, for any YEA ,
249
y= F1 (y)a 1 + F2 (y)a 2 +... + Fn (y)a n.
Next, by construction,
D{F.{x))
1
= -(Da
F.)(x) = F.{ax)
ll
and therefore
n
Dx = ~ (DF.{x))a.
i=l 1 1
n
= ~ F.{ax)a.
i=l 1 1
= ax.
Finally if D' also belongs to DerK{K{x)) and D'x = ax, then
D{F.{x))
1
= D'{F.{x))
1
for all i and therefore D = D' by (6. 5. 12).
6. 6 Further examples
250
It therefore follows, from (6. 5. 6), that we may make the identification
(6. 6. 2)
Now let
X .. : M (K)-K (6. 6. 6)
IJ n
be the mapping which maps B, in M (K), into its (i, j)-th entry. Then
n
Xij is a linear form on Mn{K) ,
(6. 6. 7)
251
Lemma 5. Suppose that DA , where A is the n x n matrix
n
"a .. 11, belongs to sl (K). Then L a .. = O.
IJ --n - - i=1 11
Put Y ..
IJ
= XIJ.. - 15... Then
IJ
Det II Xij II - 1 = Y11 + Y22 + ... + Ynn + q (Y 11' Y12' ... , Ynn)'
Next, by (6.6.8),
(DAY .. )(I)
IJ
= (DAXIJ.. )(I) = -aIJ..
and therefore a 11 + a 22 +. .. + a nn =0 as required.
Theorem 26. Let K be an infinite field and let the Lie algebra,
~~n(K), of SLn(K) be regarded as a Lie subalgebra of Mn(K) in the
manner explained above. Then sl (K) consists of all matrices with
--n
zero trace.
252
Next Lemma 5 shows that if A E sl (K), then its trace is equal to zero.
--n
The theorem now follows because the set of all matrices with zero trace
forms a vector space of dimension n 2 - 1.
H = {A /A EM (K) and AT BA
n
= B}, (6. 6. 9)
A = {p / P E M (K) and P T B + BP T
n
= 0 }. (6. 6. 10)
M (K)(L) =M (L)
n n'
and
G(L) -- GL n (L) •
253
T T
applying D to the entries in Q. Hence D(Q ) = (DQ) ,
A*T BA* = B.
Consequently
Thus
whence
T
because A * and A * are invertible. Accordingly C EA and therefore
~ ~ A. However, by Chapter 5 Theorem 20, ~ and A have the same
dimension as K-spaces. Accordingly ~ =A and we have proved
254
satisfies ~(V) = 0; and 1/Iw , ~ belongs to Honx(En~(V), K) and is
defined by t
1/1w,.,t(f) = Ww).
Now when discussing Example 7 of section (5. 3) it was shown that the
ideal IG(H) is generated by the functions 1/Iw , ~ - ~(w). Let f EEn~(V)
and use I to denote the identity mapping of V. Then, by Theorem 10,
f E h if and only if
= -1/1w, .,t(f)
= -Ww).
6. 7 Adjoint representations
Let H be an affine group (defined over K), ~ its Lie algebra, and
let x E H. The inner automorphism
(6. 7. 1)
255
of the Lie algebra. Define
(6. 7. 3)
by (x, a) 1-+ dl/lx (a). Then ~ becomes a left (H, K)- module and, in regard
to this structure, we say that H acts on ~ by conjugation. Arising from
this module structure we have a homomorphism
Suppose, for the moment, that this has been established. Then
from the adjoint representation of H we obtain a homomorphism
(6. 7. 5)
of the Lie algebra of H into the Lie algebra of GL(~). In other words we
obtain a representation of the Lie algebra ~ by means of endomorphisms
of ~. We can now formulate our second claim.
256
n (L)
dtf; (e.) = L y .. (x)e. = dtf; (e.),
x J i=l IJ 1 x J
where y .. : H ... K, anc l;)y Lemma 3 Chapter 5 and its corollary, the
IJ
representation Ad : H -. GL(h) is rational if and only if y .. E K[H] for
- D
all i and j.
Assume that the adjoint representation H(L) ... GL(h L ) is rational
and select i, j so that l:s i, j :s n. Then there exists -FE L[H(L)]
with the property that its restriction to H is y... Also we can find a
IJ
base for Lover K consisting of 1 and a family {A } _A of elements
a at:fi
of L. We can now write
F=f+ L A f.
aEA a a
(Here f and f belong to K[H] and f and f denote their natural
a (L) a
prolongations to H . Also only finitely many of the fa are non-zero. )
This makes it clear that y ..
IJ
=f E K[H] and the rationality of Ad: H-.aL(h)
-
follows.
Next, because
the adjoint representation H(L) ... GL(h L ) is none other than (Ad)(L) and,
by Theorem 20,
257
deriving them. In particular U(A) will denote the affine group formed
by the units of A and, as in (6.5.6), we shall identify its Lie algebra
!!(A) with A itself. We now proceed to investigate the adjoint representa·
tion of U(A).
Let F E A*, where A* = Honx(A, K). Then
s
F(abc) = L F.(a)F~(b)F~(c) (6. 7. 6)
i=l 1 1 1
-1
where G E K[U(A)] and satisfies G(j3) = F(x{3x ). Accordingly
s
G= L F.(x)F~(£l)F~
i=l 1 1 1
It follows that
(6. 7. 7)
Define
258
w : U(A) x ~(A) ... ~(A)
by
-1
w(x, a) = (dtJ; )a = xax •
x
Then
s
(F 0 w)(x, a) = F(xa£l) = L F.(x)F!(a)F~(£l)
i=l 1 1 1
is a rational representation.
tJ; : U(A) - U(A) by (3 .... x(3x . Then tJ; extends tJ; and therefore
x x x
dtJ; : u(A) - u(A) extends dtJ; : h - h. Thus, by (6. 7. 7),
x - - x - -
-1
dtJ; (a) = xax
x
for all a E h <;;; l!(A) = A. We know that when U(A) acts on 1!(A) by
conjugation, this makes ~(A) a rational U(A)-module. It is now clear
that the corresponding action of H on ~ makes ~ a rational H-module.
However, by Chapter 5 Lemma 3 Cor., this is equivalent to our assertion.
Lemma 6 shows that we have a homomorphism d(Ad) of ~ into
the Lie algebra En%(h). The lemma which follows will help us to in-
vestigate d(Ad).
Suppose that F EA * and a E h. Define
(6. 7. 9)
259
by
QF
,a
(f) = F(f(a)). (6. 7. 10)
(D F.)(lA )
a 1
= (Da
F.)(lA ) = -F.(a)
ll
(D G~)(lA)
a 1
= (Da G~)(lA)
1
= -(Da F~)(l
1 A
)
= F~(a).
1
260
Accordingly
s s
((dcjlD )QF b)(I) = L F.(IA)F!(b)F!'(a) - L F.(a)F!(b)F~(IA)
a, i=1 1 1 1 i=1 1 1 1
= F(ba) - F(ab).
261
the type we have just been considering. In view of this all the assertions
follow from the previous discussion.
The next results give applications of the adjoint representations.
262
7 . Power series and exponentials
General remarks
S = K[[T , T , •.. , T ]]
1 2 q
263
way) as an infinite formal sum
Note that (7.1. 4) can be readily extended so that if P, P', ••. , p* all
belong to S, then
d(P, Q) = P - Q I I. (7. 1. 7)
and
264
Now assume that we have an infinite sequence cp , cp , cp , ••• of
o 1 2
power series and that d(cp , cp ) -+ 0 as /1 and v tend to infinity inde-
1 v
pendently. If d(cp , cp ) < t ' then the homogeneous constituents of
/1 v 2
¢ and cp agree at least as far as the terms of degree t. For the
/1 v
moment let us keep t fixed. Then, for sufficiently large /1, the term
of degree t in CP/1 does not depend on /1 so we may denote it by P f
Put
P=P o +P 1 +P 2 + •.•
(7.1. 10)
265
where k = min(m, n), and the right hand side of (7.1. 10) tends to zero
as m and n tend to infinity. Since K[[T , T , ..• , T ]] is complete
1 2 q
the sequence l/J , l/J , l/J , •.. tends to a limit and therefore the original
o 1 2
series converges.
Next suppose that the series
tends to zero as 11'" 0() and from this we conclude that the rearranged
series not only converges but that it has the same sum as the series with
which we started.
At this point it is convenient to insert a few remarks about power
series in a single indeterminate. The indeterminate will be denoted by
T so, for the moment, we are concerned with the ring K[[T]].
Suppose that the power series
2 3
c/J=a o +aT+aT
1 2
+aT
3
+ ...
266
a b
o 0
= 1'
a ob 1 + a 1 b 0 = 0,
a b +a b +a b
02 11 20
= 0,
r 2
where a r *- O. Thus IjJ = T (a r + a rH T + a r + 2T + ... ) and therefore
IjJ = T r 11 where 11 is a unit in K[[T]].
267
is generated by V will be denoted by VS.
Put V* = Ho~(V,
K) and let F EV*. We know from section
(1. 6) that F has a unique extension to an L-linear mapping of VL into
KL = L. (The extension will also be denoted by F.) Choose a base
v , v , ••• , v
1 2 n
for V over K. Then each element of vS has a unique
representation in the form Q v + Q V +... + a v , where a 1• E S.
11 22 nn
Since
Ia 11
v + a 22
v +... + a nn
v I = max { Ia 1 I, Ia 21, ... , Ian I },
268
and now the lemma follows.
S
Lemma 2. Let x, y E Y and let a, (3 E S. Then
(a) Ixl::: 1,
(b) Ix±yl:::max{lxi,lyl),
(c) laxl = lal/xl,
(d) Iax - j3y I ::: max { Ix-y I, Ia-pll.
Proof. The assertion (a) has already been established and (b) and
(c) follow from Lemma 1. Finally
S
The S-module Y becomes a complete metric space if we define
the distance between x and y to be 1x - y I. Addition and subtraction
are now continuous operations on yS. Also if x - x in yS and a -a
n n
in S, then a x - ax.
n n
Theorem 3. With the above notation let xo' xl' x 2 ' ••• , be an
infinite sequence of elements of yS. Then the series
x +x +x +x + ...
o 1 2 3
269
in (4. 6. 13). This leads to a mapping D : V L - V L with the following
properties. For x, x' E V L , A (L, k E K and v E V:
D(v) = O. (7. 2. 7)
Hence if u 1 ' u 2 ' ... , Us belong to V and T}1' r)2' ... , r)s belong to L,
then
Note that if the derivation D satisfies D{S) <;;; S, then D(V S) <;;; VS. More-
over if the mapping S - S induced by D is continuous, then the mapping
VS _ VS in which x fo+ Dx is continuous as well.
We must now give some attention to the case where V is not merely
a finite-dimensional K·space but has the further property of being a
general K-algebra. In this situation we know, from section (6. 1), that
yL is a general L-algebra. Clearly if x, y E yS then the product
S
xy EV •
Suppose next that n E DerK{L) and D(S) <;;; S. Then we have
270
Ixl = max { Ia 1 I, Ia 2 I, .•. , Ia n I 1
and
But
xy = L L a.{3.v.v.,
ij 1]1]
and Iv. v.1 :5 1. Thus Ixy I is at most equal to the maximum of the
1 ]
numbers Ia.{3.1 and therefore
1 ]
7.3 Exponentials
where T l' T 2' ••• , T q are indeterminates, and we use L to denote the
quotient field of S.
Algebras such as A have already received considerable attention
in these pages. In Example 8 of section (5.3) we introduced a function
N : A - K which is useful in the study of the units of A. Let us call this
the norm function on A and recall t!lat (i) N E K[A], and (ii) an element
a (of A) is a unit of A if and only if N(a)"* O. Of course the L-algebra
A L has its own norm function. However this coincides with N on A
so we may also use N to denote the norm function of the larger algebra.
271
S
Next, because A is closed under multiplication, it follows that
N(A S) ~ S. But N is a multiplicative function and N(1A) = lK" Con-
sequently if x is a unit of AS, then N(x) is a unit of S.
Afte; these preliminaries suppose that x E AS and Ix I < 1. By
(7.2.10), we have Ixlll::s Ixlll for 11:2: 0 and therefore the series
v
2:;
II.
converges. Put
00 II
x
exp x = l !if (Ixl < 1). (7. 3. 1)
11=0
S
Then exp x EA.
Next let x and y be elements of AS such that Ix I < 1 and
Iyl < 1. By Lemma 2, we also have Ix + yl < 1 and therefore exp x,
exp y and exp(x + y) are all defined. Indeed if x and y commute, then
S
Theorem 4. Let D E DerK(S) and be continuous. If now x E A ,
Ix I < 1 and x and Dx commute, then
272
D( I ~~) == (~1 (~~~~!) (Dx) == (DX)(I 1 (~~~~! )
Il== 0 Il== 0 ~J== 0
(7.3.4)
and
D.w == (D.w.)w:
1 III
+ w.(D.w:)
III
== (D.w.)w~
1 1 1
273
It follows that
-1 -1
(D.w)w
1
= w.a.w.
1 1 1
•
-1 -1 S
Of course w, w ,wi' wi and a i all belong to A •
-1 -1
(D.w)w
1
= w.a.w.
1 1 1
(i = 1, 2, ..• , q)
Since our aim is to establish (7. 3. 7), we may suppose that at least
one cpo is not zero. Put
1
f cp.(w.a.w~l
Ii=l 1 1 1 11
- a.) I < _1_.
2m
(7.3.9)
274
On the other hand a , a , •.. , a are linearly independent over K and
1 2 q
therefore
f cp.a·1 =max{lcp
Ii=1 1 1 1
I, ICP21, .•• , Icpql} =
2
~.
It follows from this and (7. 3. 9) that
qL cp.w.a.w.-11 = -1
Ii=1 1 1 11 2m
and with this the proof is complete.
Weare now ready to prove
w=cpb
11
+cpb + ••• +cpb,
22 qq
where CPl' CP2' ••• , CPq belong to Sand b 1 , b 2 , ••• , bq both belong to
A and are linearly independent over K.
Now let F l' F 2' ... , F q be K-linear mappings of A into K such
that F.(b.) = 1 and F.(b.) = 0 whenever i"* j. Then F. E K[A] and has
1 1 . lA J L (1)
a natural prolongation F. to a member of L[A ] = L[A L]. Also
1
275
F.(w)
1
= cpo1 and therefore ¢.
1
E K(w). Accordingly
,\ (D w) + ,\ (D w) + . .. +,\ (D w) = 0
1 1 2 2 q q
because
D.w
J
= (D.cp)b
J11
+ (D.C/J)b + .•. + (D.1jJ )b
J22 Jqq
-1 -1 -1
A ((D w)w ) + A ((D w)w ) + .•. + A ((D w)w )= 0
1 1 2 2 q q
and therefore, by Lemma 3, the A. are all zero. The theorem follows.
1
Let U(A) be the group of units of A. This group has already
received considerable attention particularly in section (6. 5). We recall
some basic facts.
The group can be regarded as an affine group with coordinate ring
K[A][l/N], where N denotes the norm function, and (U(A))(Q) = U(A Q)
for any extension field Q of K. Also the Lie algebra )!(A) , of U(A), may
be identified with A (considered as a Lie algebra). Consequently if H
is a closed subgroup of U(A), then it is possible to regard its Lie algebra
h as a subalgebra of A.
276
may suppose that q = 1, i. e. that we are dealing with just one indeter-
minate. This indeterminate will be denoted by T and we shall write a
in place of a 1 •
Let Q E K[U(A)]. Then Q = P~, where P E K[A], h> 0 and N
is the norm function. Now Q and P have natural prolongations, Q
and P say, to coordinate functions on (U(A)) (L) = U(A L ). It is clear that
A
= -(DaQ)(exp(aT)).
(D Q)(exp(aT)) E 'U'
a
and now it follows that D('U ') ~ 'U'.
We claim that 'U' = (0). For assume the contrary. Then, by
Theorem 2, 'U' = T~[[T]] for some m ~ O. Now exp(aT) - 1A is in
TA S so if (with our earlier notation) Q = P /Nh belongs to 'U, then
P(lA) = 0 and therefore
Q(exp(aT)) E TK[[T]]
277
and this shows that m 2: 1. Next T m E 'U '. It follows that D(T m } E 'U'
that is to say mT m - 1 E 'U'. But K has characteristic zero so
Tm- 1 E 'U'. This gives a contradiction and thereby establishes our claim
that 'U' = (O).
It has now been established that Q(exp(aT)) =0 whenever Q E 'U.
Accordingly exp(aT} E H(L} by Chapter 2 Theorem 34.
278
7. 4 Applications to affine groups
and we know, from the discussion following Chapter 6 Theorem 20, that
h~ is the &1-subspace of A spanned by -1h.. Since h- 1~- h2 , it follows
-1
that h* ~ h* and therefore H(&1) ~ H(&1) by Lemma 4. But, by Chapter 2
-1 -2 1 (&1) 2
Theorem 30 Cor. 2, H. = G n H. and therefore HI ~ H as required.
1 1 2
At this point we interrupt our discussion of affine groups in order to
introduce the idea of a module over a Lie algebra.
To this end let A be a Lie algebra over K (K is an arbitrary field)
and let V be a vector space over K (the dimension of V need not be
finite). Then En~(V) has a natural structure as a Lie algebra. Any
homomorphism
(7.4.1)
279
of V. For example, the adjoint representation t is of this kind.
Suppose that we have such a representation of A and put
AV = (X(A))(V) for all A E A and v E V. Then, with a self-explanatory
notation,
A(V
1
+ v 2 ) = AV 1 + AV 2 ,
A(kv) = k(AV) = (kA)V for k E K,
(7.4.2)
(A + A )v = A v + A v,
1 2 1 2
[A , A ]v = A (A v) - A (A v).
1 2 1 2 2 1
It will be convenient to describe the properties set out in (7. 4.2) by saying
that the K-space V is a (left) module with respect to the Lie algebra A.
Evidently the notion of a A-module is equivalent to that of a representation
of A by endomorphisms of a K-space.
Let us introduce some further terminology. Suppose that A is a
Lie algebra over K and that V is a A-module. By a A-submodule of V
we mean a K-subspace W which satisfies AW EW for all A E A and
w E W. Again if V "* 0 and it has no A-submodules apart from 0 and V
itself, then we say that V is a simple A-module. Particularly important
for us is the
p : G - GL(V) (7. 4. 3)
280
(7.4.4)
Proof. We shall assume (ii) and deduce (i). Our previous remarks
show that this will be sufficient.
Let p : G - GL(V) be the rational representation to which V gives
rise and let H be the closure of p(G) in GL(V). Then H is a closed
connected subgroup of GL(V) and there is induced an almost surjective
K-homomorphism G - H of affine groups. Since the characteristic of K
is zero, Lemma 2 of Chapter 6 shows that the induced Lie homomorphism
~ - ~ is a surjection and therefore dp(!Z) =~. But we are assuming (ii)
to be true and this implies that dp(~) ~ ~~ (W, W). Accordingly
~ ~ !Z~ (W, W) and so, by Theorem 8,
281
p(G) <;;; H <;;; GL(W, W).
282
References
283
Index
Basis Theorem 64
invariant derivation 227
irreducible affine set 64
completely reducible module 176
irreducible components of a space 62
completely reducible module rela-
tive to a Lie algebra 280 irreducible space 60
connected component of the isomorphism of affine sets 35
identity 143
coordinate function 30 Jacobi's identity 224
coordinate ring of an affine Jacobson ring 25
set 24
left translation 136
derivation 95 Lie algebra 224
derived function algebra 18
Lie algebra of an affine group 228
differential of a rational Lie product 225
function 126
linear form on a vector space 29
dimension of an affine set 75
linearly disjoint fields 82
dual base 29
284
linearly reductive affine group 176 rational G-module (finite-dimen-
local derivation ll5 sional case) 167
rational G-module (general case) 174
local homomorphism 74
rationally reduced K-algebra 15
local ring of an affine set at a
point 71 rational maximal ideal 13
locus of a set of functions 19 rational representation 169
regular extension of a field 82
minimal prime ideals of an ideal 67
regular left action 163
module with respect to a Lie
regular right action 163
algebra 280
representation of a Lie algebra 279
morphic action of an affine group
on an affine set 162 Reynold's operator 191
morphism of affine sets 34 right translation 136
multiple point ll9
semi-invariant 183
multiplicative group of the ground
field 149 separable extens ion of a field 108
separable K-homomorphism 237
natural prolongation of a coordinate
function 48 separating transcendence base 108
simple G-module 175
natural prolongation of a rational
function 83 simple point ll9
Noetherian ring 64 specialization 56
Noetherian space 63 special linear group 150
non-associative algebra 222 strict quotient for the action of an
affine group 200
non-trivial K-algebra 4
structural homomorphism of an
algebra 4
orbit 164
symplectic group 159
orthogonal group 159
285