Download Simple Lie Algebras over Fields of Prime Characteristic

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Birkhoff's representation theorem wikipedia, lookup

History of algebra wikipedia, lookup

Geometric algebra wikipedia, lookup

Laws of Form wikipedia, lookup

Boolean algebras canonically defined wikipedia, lookup

Fundamental theorem of algebra wikipedia, lookup

Invariant convex cone wikipedia, lookup

Universal enveloping algebra wikipedia, lookup

Heyting algebra wikipedia, lookup

Modular representation theory wikipedia, lookup

Clifford algebra wikipedia, lookup

Transcript
Proceedings of the International Congress of Mathematicians
Berkeley, California, USA, 1986
Simple Lie Algebras over Fields
of Prime Characteristic
ROBERT LEE WILSON
Dedicated
to the memory
of Boris
Weisfeiler
The classification problem for finite-dimensional simple Lie algebras over a
field F of prime characteristic p has attracted attention for about fifty years.
Although it is still open, much progress has been made towards its solution. In
particular, the known simple Lie algebras have a natural description (as discussed
in Kostrikin's talk at the 1970 International Congress of Mathematicians [25]),
the classification has been completed recently in several important special cases,
and there are good techniques available for attacking the general problem.
We will assume throughout this article that F is algebraically closed of characteristic p > 7. For p = 2,3,5 counterexamples exist to some of the results
stated here, and for p = 7 some of the proofs fail.
For an important class of Lie algebras over F, the restricted Lie algebras, the
classification is now complete (see Theorem 3.3). We will (in §1) define these
algebras and discuss some of the technical properties which make their study
easier than that of general algebras. We will then describe the known finitedimensional simple Lie algebras over F and discuss some of their structural
properties (§2) and state three recent classification results (§3). We conclude
(§4) by describing the main techniques used to establish these results: filtration
theory and local analysis.
1. Restricted algebras. We will devote particular attention to restricted
Lie algebras (= Lie p-algebras) over F (defined by Jacobson [14]). A Lie algebra
L over F is restricted if it has a mapping x \-> x^ satisfying
(1.1) (adz)? = ad(aM) for all x G L,
(1.2) (arc) M = apxW for all a G F, xG L, and
(1.3) (x + 2/)'pl = x'p] + 2/'p] + X^=i si{x)V) where isi(x,y) is the coefficient
o f f " 1 in (a>d(tx + y)Y~1x.
If A is an associative algebra over F, the ordinary pth power map gives the
Lie algebra A~ (with product [x, y] = xy — yx) the structure of a restricted Lie
Supported, in part, by NSF Grant #DMS-8603151.
© 1987 International Congress of Mathematicians 1986
407
408
R. L. WILSON
algebra. Then any Lie subalgebra of A~ closed under taking pth powers is again
a restricted Lie algebra. Applying this remark to Deri? C(End B)~ (where B
is any algebra over F) shows that any derivation algebra is restricted.
Restricted Lie algebras are more tractable than arbitrary Lie algebras over F
for a number of technical reasons. We note some of these. If L is a restricted Lie
algebra, an element x G L is said to be semisimple if x G span{a;tpl,a;'p ' , . . . }
and is said to be nilpotent if x' p n ' = 0 for some n. A torus T is a subalgebra
(necessarily abelian) such that every x G T is semisimple. A subalgebra I is said
to be nil if every a; G J is nilpotent. The following theorems are due to Seligman
[32].
THEOREM 1.1 (Jordan-Chevalley-Seligman Decomposition). Let L be a restricted Lie algebra over F and x G L. Then there exist unique elements x3,xn G
L satisfying:
^aj x
==
Xg -j- Xfi,
(b) x3 is semisimple and xn is nilpotent,
(C) [Xg,Xn] = 0.
THEOREM 1.2.
Let L be a restricted Lie algebra over F. Then H is a
Cartan subalgebra of L if and only if H = CL(T) (= {x G L\[x,T] = (0)}) where
T is a maximal torus in L.
The following lemma (proved by applying the Engel-Jacobson theorem [16,
Theorem 2.1] to \JlET* J 7 and applying Theorem 1.1) will be useful.
LEMMA 1.3. Let (0) ^ I be a restricted ideal in a restricted semisimple Lie
algebra L. Let T be a maximal torus in L. Then InT ^ (0).
2. Description of the known simple Lie algebras over F. The known
finite-dimensional simple Lie algebras over F are of two types: classical type
(analogues over F of finite-dimensional simple Lie algebras over C) and Cartan
type (finite-dimensional analogues over F of the infinite Lie algebras of Cartan
[9, 24, 34] over C).
The classical algebras may be constructed as follows: Let L be a finitedimensional simple Lie algebra over C and let Lz be a Chevalley lattice in
L. Let LF = Lz ®z F. Then Lp /center Lp is simple ( and dim center Lp < 1).
Such algebras over F are called classical. Note that the algebras of types E-G
are considered to be classical according to this definition.
If L is a classical simple Lie algebra over F then L is restricted and
(2.1) L contains a Cartan subalgebra H which is a torus.
Letting T denote the set of roots of L with respect to H (so L = H + S 7 e r ^"P
L 7 = {x G L\[h, x] = i(h)x for all h G H}) we have:
(2.2) dim[L 7 ,L_ 7 ] < 1 for all 7 G T;
(2.3) if a, ß G Y then there is some k G Z such that ß + ha <fc V U {0};
(2.4) if Hi, H2 are Cartan subalgebras of L then there exists o G AutL such
that oHx = H2.
In fact, (2-l)-(2.3) characterize the classical simple algebras.
SIMPLE LIE ALGEBRAS
409
THEOREM 2.1 (MILLS-SELIGMAN [29]). Let L be a finite-dimensional
simple Lie algebra over F satisfying (2.1)-(2.3). Then L is classical.
We will say that a Lie algebra L over F is compositionally classical if all of
its composition factors are classical or abelian,
Before giving the general definition of the algebras of Cartan type we will give
a brief historical survey of the nonclassical simple Lie algebras.
The first nonclassical simple Lie algebra over F was discovered by Witt (see
[44, 11]). We denote it by W(l : 1). It is defined as the algebra with basis
{ei\i G Z/(p)} and multiplication
(2-5)
[eutj] = C/-*><+r
This algebra is restricted. Zassenhaus [44] obtained nonrestricted generalizations
by letting G be a finite additive subgroup of F and defining multiplication on
the algebra with basis {ei\i G G} by (2.5). Further constructions of simple
Lie algebras in this spirit (by giving an explicit multiplication table for a basis
indexed, at least in part, by an additive group) were given by Kaplansky [22],
Albert and Frank [1], and Block [4].
The Witt algebra W(l : 1) can be constructed in another way (due, independently, to Jacobson and Witt). Let Bi = F[xi]/(x^).
Then letting D\
denote the derivation of B\ induced by djdx\, we see that Der£?i has basis
{^Z>i|0 < i < p — 1} and that e^ H-> (x\ + iyt1Di
gives an isomorphism of
W(l : 1) onto Der S i . This construction of W(l : 1) makes the following points
apparent.
(2.6) s p a n a i . D i | i > 1} (= W(l : l)o) is a subalgebra of codimension one in
W(l : 1). This subalgebra may be characterized as the unique compositionally
classical subalgebra of maximal dimension in W(l : 1). It is therefore invariant
under A u W ( l : 1).
(2.7) x\D\ and (x\ + 1)D\ span maximal tori (which are also Cartan subalgebras) in W(l : 1). Since ziZ>i G W(\ : 1) 0 , (zi + l)£>i £ W(l : 1) 0 we see
that these Cartan subalgebras are not conjugate under Aut W(l : 1). Thus (2.4)
fails for W(l : 1).
(2.8) If Ex = £?=o( a d f l 0 , 'AI then E^faDt)
= (a;i + l)Z?i. This, of course,
implies that EDl £ Aut W(l : 1). Call Ex a Winter exponential [42].
Jacobson [15] studied the algebras
W(m : 1) = Der Bm,
Bm = F[xu • • •, xm]/(xp1,...,
xpm).
W(m : 1) may be graded and filtered by setting deg a;« = — deg Di = 1 for
1 < i < m. Then
W(m : 1) = Y, W(m : % '
W m
^
:
^Ml
=
W A , . • • ,Dm},
i>-l
W(m : l)[o] = span{z;Dj|l < i,j <m} = g\(W(m : l)[-i]).
W(m : 1) is simple of dimension mpm,
410
R. L. WILSON
Albert and Frank [1] and Frank [12, 13] discovered restricted graded simple
subalgebras M of W(m : 1) obtained by taking M = L^ where L is defined by
L[_i] = W(m : l)[-ij; £[o] — sl(ra) (Frank [12]), sp(ra) for m even (Albert and
Frank [1]), or W(r : 1) + Br acting on Br for m = pr (Frank [13]) and
L[i\ = {xG W(m : l) w |(adl,[_i])*z Ç L [0 ]} for i > 1.
Simple nonrestricted subalgebras of W(m : 1) were identified by Albert and
Frank [1], Ree [30], Jennings and Ree [17], Strade [35].
All these families of nonclassical algebras are now known to be contained in
the family of algebras of Cartan type. In 1966 Kostrikin and âafarevté [26] constructed restricted simple Lie algebras corresponding to the infinite Lie algebras
of Cartan over C and conjectured that the algebras so constructed were precisely
the known restricted simple Lie algebras over F. (Only the isomorphism of the
algebras K(m : 1) of Cartan type with one of the families discovered by Frank
[13] was in question. This was proved in [10].) They also conjectured that all
restricted simple Lie algebras over F were of classical or Cartan type.
The original Kostrikin-Safareviö construction has been generalized to give
nonrestricted algebras by Kostrikin-Safareviö [27], Kac [19, 20, 21], Shen [33],
Wilson [39, 40]. We describe the most general version [21, 40] here.
Give the polynomial algebra F[X\,..., Xm] its usual coalgebra structure with
each Xi primitive. Then the dual space a(m) = F[Xi,... ,Xm]* is an infinitedimensional commutative associative algebra consisting of all formal sums £ xa,
where a ranges over all m-tuples of nonnegative integers, with multiplication
determined by xax^ = ("+" )**+" where (I ) = ( $ ] ) • • • ( j g j )• This
algebra is called the completed free divided power algebra. For n = (n±,..., nm),
an ra-tuple of positive integers, we let a(ra : n) denote the span of the xa with
a(i) < pn% for all i. Then a(m : n) is a subalgebra of a(m). Write 1 for the mtuple ( 1 , . . . , 1). Note that a(m : 1) = Bm. For each i we get a derivation Di of
a(m) with Di(xa) = xa~£i, where £i(j) = 6ij (and x& = 0 if some ß(i) < 0). We
will usually write Xi for x£i. The set {uiD\-\
\-UmDm\ui G a(m) (respectively,
U{ G a(m : n)}) (where (uD)v = u(Dv)) is a subalgebra of Dera(ra), which is
denoted W(m) (respectively W(m : n)). The algebra W(m : n) is simple, of
dimension mpn, where n = n\ -\
h nm. It is restricted if and only if n = 1.
Define differential forms OJS^H^K
by
LJS
=
d x \
A
• • • A
d x
m
,
r
UH = ^2 dxi A dxi+r
(m = 2r),
2= 1
r
uK = dz 2 r+i + J ^ Xi+rdxi - Xidxi+r
z=l
(m = 2r + 1).
SIMPLE LIE ALGEBRAS
411
Elements of W(m) act on differential forms according to the rules
D(df) = d(Df),
D(a Aß) = (Da) Aß + aA
(Dß),
m
D(fa)
= (Df)a + f(Da),
df = £ ( A / ) dx{
2=1
for all / G a(m) and all differential forms a and ß. Define subalgebras
H(m),K(m)CW(m)
by
S(rn) = {DG W(m)
| D(UJS)
= 0}
(m > 3),
= 0}
(m = 2r>
H(m)
= {DG W(m)
\ D(LJH)
K(m)
= {DG
\ D(UJK) G a(m)u)K}
W(m)
S(m),
2),
(m = 2r + l>
3).
For any automorphism $ of W(m) and for X = S, H or K define
X(m : n : $) = $X(m) H W(m : n).
Then the algebras W(m : n) and, for appropriate m, n, and $ depending on
X (see [21]), the algebras X(m : n : $)( 2 ) are simple. These are the algebras of Cartan type. Kac has shown [21] that the only restricted simple Lie
algebras of Cartan type are those originally defined by Kostrikin and Safareviö:
X(m:l)W,
X = W,S,H,K.
3. Classification results. We now state three recent classification results.
THEOREM 3.1 ( WEISFEILER [38] ) . Let L be finite-dimensional and simple
over F and let LQ be a maximal subalgebra of L which is solvable. Then L =
sl(2) or W(l : n) for some n.
This generalizes earlier results of Schue [31] (where it is assumed that all
proper subalgebras are solvable) and Kuznecov [28] (where it is assumed that
LQ acts irreducibly on
L/LQ).
THEOREM 3.2 ( B E N K A R T - O S B O R N [2, 3]). Let L be finite-dimensional
and simple over F and let L contain a one-dimensional Cartan subalgebra. Then
L = sl(2) or L is an Albert-Zassenhaus algebra (i.e., some W(l : n) or an
appropriate H(2 : n : $)W).
This generalizes earlier work of Kaplansky [23] (where the theorem is proved
for restricted L and structural results on nonrestricted algebras are obtained)
and Block [5] (where the theorem is proved under the additional hypotheses that
dim.L a = 1 and [La,L-a] ^ (0) for all roots a).
THEOREM 3.3 (BLOCK-WILSON [7, 8]). Let L be a finite-dimensional
restricted simple Lie algebra over F. Then L is of classical or Cartan type.
This verifies the 1966 conjecture of Kostrikin and âafareviC.
4. Techniques of proof. We now discuss briefly two techniques which are
used in the proofs of the theorems cited above: filtration theory and local analysis.
412
R. L. WILSON
Notice that the algebras of Cartan type all have natural filtrations by degree
(in type K we take degZ2r+i = 2, in all other cases we take dega;^ = 1). This,
together with the heavy use of filtration theory in Cartan's work, suggests that
we should try to equip an arbitrary simple algebra L with a filtration and use
this filtration in our analysis.
Let L be simple and LQ be a maximal subalgebra. Define a filtration (Cartan
[9], Weisfeiler [36]) as follows: Lo acts on L/L0. Let L _ i / L 0 be an irreducible
Lo-submodule. Set L^+i = {x G Li \ [x,L-i] Ç Li} for i > 0 and Li-i =
[Li, L-i] + Li for i < 0. Let G = YQ be the associated graded algebra.
The aim of filtration theory is to determine first G and then L. The following
"Recognition Theorem" which combines work of Kostrikin-Öafareviö [27], Kac
[18, 21], and Wilson [40] shows that under appropriate hypotheses this can be
done.
THEOREM 4 . 1 . Let L be finite-dimensional simple over F, filtered as above.
Assume:
(a) Go — a direct sum of restricted ideals, each of which is either classical
simple, gl(A), sl(fc), or pgl(&) where p divides k, or abelian.
(b) x G Go implies ad(xp) and (adz) p agree on G-\.
(c) xGGi, i < 0, [x, Gi] = (0) implies x = 0.
Then L is classical or of Cartan type (with the usual filtration).
A second major result in filtration theory (Weisfeiler [37]) gives the structure
of G (without hypotheses on Lo)- Before stating this result we recall Block's
characterization of semisimple Lie algebras over F (which is used in Weisfeiler's
result and also in local analysis).
THEOREM 4.2 (BLOCK [6]). / / L is a finite-dimensional semisimple Lie
algebra over F then there exist integers m, n\,..., nm > 0 and simple Lie algebras
Si,..., Sm such that
m
/ m
\
i=l
\i=l
J
THEOREM 4.3 (WEISFEILER [37]).
Let L be finite-dimensional simple
over F, filtered as above. Then solvG Ç ^ < 0 G i and G/solvG contains a
unique minimal ideal A = S®Bn, S simple, n > 0. Moreover, A is graded (with
the grading determined by a grading on S if Ai ^ (0) and by a grading on Bn if
Ai = (0)) and Ai = (G/solvG); for i < 0.
In applications of this theorem one usually tries to show that n = 0 and that
solvG = (0). If this can be done it is frequently possible to apply Theorem 4.1.
Weisfeiler used these techniques to prove Theorem 3.1. The solvable maximal
subalgebra L 0 is used to define the filtration. Then the solvable algebra Go acts
irreducibly on G_i. Representation theory (in particular, the theory of induced
modules) allows one to describe G_i well enough to show (after much work)
SIMPLE LIE ALGEBRAS
413
that if G-2 7^ (0) then dim G = oo. Thus L = L_i and Kuznecov's result [28]
applies.
The second major technique we will discuss, local analysis, involves studying
subalgebras of L of toral rank 1 and 2 (the toral rank of algebra is the rank of
the additive group generated by its roots) and using information obtained in this
way to reconstruct L. We set
L<°0 = Y<U*,
z'ez
£(«.« = £
Lia+jß>
L[a] = L<a>/solvL<a>,
L[a,ß) = £(".«/solvL<°'«
for all roots a, ß.
In the proof of Theorem 3.2, Benkart and Osborn observe that L^ contains
a one-dimensional Cartan subalgebra F h with all the eigenvalues of ad h in the
prime field. Algebras satisfying this condition have been classified by Yermolaev
[43]. If such an algebra A is not solvable it has an abelian radical and Aj solv A =
si(2) or W(l : 1). This is enough information to develop a representation theory
of these algebras. Benkart and Osborn do this and apply it to L^ acting on
Y, Lß+ia for any root ß. Information obtained in this way, together with use of
filtration theory, allows them to show that the hypotheses of Block's theorem [5]
are satisified and so complete the proof.
In the proof of Theorem 3.3, the techniques of local analysis and filtration
theory are combined. Local analysis is used to define an appropriate LQ for use
in Theorem 4.1.
Let A be any restricted Lie algebra and let T be a maximal torus in A. We
say that T is standard in A if GA(T) = T + I where J is a nil ideal in CA(T).
By [41] any maximal torus in a restricted simple Lie algebra L is standard.
Suppose L is restricted simple and T is a torus of maximal dimension in L.
Then M = L[a] is restricted semisimple, has no tori of dimension > 1 (as T
has maximal dimension), and all one-dimensional tori in M are standard (as all
maximal tori in L are standard). An algebra M satisfying these conditions is of
one of four types: M = (0), M = sl(2), M = W(1: 1), H(2 : 1)<2) C M C
H(2 : 1). It is easily seen that in any case M contains a unique compositionally
classical subalgebra of maximal dimension (see (2.6) for the case W(l : 1)) and
consequently L^ contains a unique compositionally classical subalgebra (which
we denote Q^) of maximal dimension. If T Ç Q( a ) we say the root a is proper.
We have seen (in (2.7)) that a root a can be either proper or improper. Use of
Winter exponentials (see (2.8)) shows that if en G T* is improper we may switch
to a new maximal torus T" such that the corresponding root a1 G T"* is proper.
(The rank one case can be completely analyzed for the nonrestricted case as well,
but the list of possibilities is longer.)
Now consider the possible rank two algebras. We take T as above and further
require that the number of proper roots with respect to T is maximal (so is at
least 1). Then M = L[a,ß] is restricted semisimple, has no tori of dimension
414
R. L. WILSON
> 2, and all two-dimensional tori in M are standard. Using Theorem 4.2 and
the restrictedness of M (in particular, using Lemma 1.3) we see that either toral
rank M < 1 or one of the following occurs:
(a) Si e S2 Ç M C (DerSi)^) 0 (DerS 2 )W where Si, S2 = sl(2), W(l : 1),
or#(2:l)(2).
(b) S®Bn CMC Der(S<g)£n), n > 0, S = sl(2), W(l : 1), or an appropriate
i/(2:l:$)(2).
(c) S Ç M Ç Der S where S denotes the restricted subalgebra of Der S
generated by S, S is simple, and S + I ^ M. Here S = W(l : 2) or an
appropriate H(2 : 1 : $)( 2 ).
( d ) S Ç M Ç Der S where S is simple and S + J = M.
(The corresponding classification problem in the nonrestricted case is unsolved.)
To complete the analysis of case (d) we let R(M)a = {x G Ma \ [x,M-a] Ç
1} and let R(M) = GM(T) + £ Ä ( M ) a . We let M 0 2 R(M) be a maximal
subalgebra. Analysis of the rank one cases shows dim((M/Mo) 7 ) < 7 for all
7 G T* (this uses the hypothesis that rank M = 2), and the fact that there
is at least one proper root with respect to T shows that (M/MQ)1
^ (0) for
2
at most p — p + 6 values of 7. Then (filtering M as above and letting G be
the associated graded algebra) the Go-module G_i has the same properties.
With this information we are able to show that Theorem 4.1 applies and hence
that the simple algebra S in (d) is one of A2, C2,G2, W(2 : 1), 5(3 : l j W ,
H(4:1)W,
Jf(3:l).
Finally, consider a restricted simple algebra of arbitrary rank. Considering
the subalgebra (X(m : n : 4>)(2))o of X(m : n : 4>)(2), we observe that it contains
a maximal torus T with respect to which all roots are proper and that, with
respect to this torus, we have (X(m : n : $)( 2 ))o = YQ^This leads us to
make the following claims:
(4.1) There is a torus T of maximal dimension in L with respect to which all
roots are proper.
(4.2) YQ{a) i s a subalgebra (with Q^ taken with respect to T).
(4.3) If L = E Q ( a ) then L is classical.
(4.4) If Lo is a maximal subalgebra of L containing Y Q^ a n d if H = {7 G
r I L1 ^ L0tl} then for any a,ß G T we have \(ß + Za) H H| < 2.
Using (4.4) we can show that Lo satisfies the hypotheses of Theorem 4.1.
Properties (4.1)-(4.4) can all be checked in the rank two case. For example,
for (4.1) it is sufficient to show that if a is improper and ß proper, and if a1 ,ß'
are corresponding roots under a Winter exponential with ol proper then ßf is
proper. If this property holds in every L[a, ß] then it holds in L.
Unfortunately, these rank two properties do not hold in all of the semisimple
algebras listed in (a)-(d). Thus we must show that some of these semisimple
algebras cannot occur as L[a,ß] for L simple. We give an example of how this
can be done.
Suppose L[a, ß] ^ sl(2)®Bi+FDi+F(xiDi)
and that T = span{ft<g)l, ziL>i}
(where h is a nonzero diagonal matrix in sl(2)). Let a and u G La, v G L _ a
SIMPLE LIE ALGEBRAS
415
be such that ü = u + solvi/"1'9) = D\, v = h ® xi. Then [ü,v] = h <8> 1 and
so [u,v] £ I. However, a([u,L-a]) = (0). Let r ' = {7 G T \ i([u,v]) ^ 0}.
Then ]TLer' ^1 + X^ser' [^75 Lg] is a nonzero ideal in L. Since L is simple this
ideal equals L and so GL(T) — ^ 7 e r / [ L 7 , L _ 7 ] . (This is an argument due to
Schue [31].) Thus there exists 7 G Y satisfying q([u, v\) ^ 0, a([L 7 ,L_ 7 ]) ^ (0).
From this it is easily seen that if J is any nonzero ideal in Af = L[a,7] then
M = J + I. Furthermore, (letting ü = u -j- solvL^'f) and S = v + solvL^' 7 ))
we have ü G Ma, S G M-a, 7([ö,ë]) ^ 0. However, M[a] = (0). Examination
of (a)-(d) shows that there is no such M. Thus L[a,ß] cannot have the given
form.
Similar arguments allow us to eliminate all algebras for which (4.1)-(4.4) fail,
and so Theorem 3.3 is proved.
REFERENCES
1. A. A. Albert and M. S. Prank, Simple Lie algebras of characteristic p, Univ. e
Politec, Torino, Rend. Sem. Mat. 14 (1954-55), 117-139.
2. G. M. Benkart and J. M. Osborn, On the determination of rank one Lie algebras
of prime characteristic, Contemp. Math., 13, Amer. Math. S o c , Providence, R.I., 1982, pp.
263-265.
3.
, Rank one Lie algebras, Ann. of Math. 119 (1984), 437-463.
4. R. E. Block, New simple Lie algebras of prime characteristic, Trans. Amer. Math.
Soc. 89 (1958), 421-449.
5.
, On Lie algebras of rank one, Trans. Amer. Math. Soc. 112 (1964), 19-31.
6.
, Determination of the differentiably simple rings with a minimal ideal, Ann.
of Math. 90 (1969), 433-459.
7. R. E. Block and R. L. Wilson, The restricted simple Lie algebras are of classical
or Cartan type, Proc. Nat. Acad. Sci. U.S.A. 8 1 (1984), 5271-5274.
8.
, Classification of the restricted simple Lie algebras, Adv. in Math, (to appear).
9. E. Cartan, Les groupes de transformations
continus, infinis, simples, Ann. Sci.
École Normale (3) 26 (1909), 93-161; Oeuvres completes, Vol. 2, Part II, Gauthier-Villars,
Paris, 1953, pp. 857-925.
10. M. Ju. Celousov, Derivations of Lie algebras of Cartan type, Izv. Vyssh. Uchebn.
Zaved. Mat. 98 (1970), 126-134. (Russian)
11. H. J. Chang, Über Wittsche Lie-Ringei Abh. Math. Sem. Univ. Hamburg 14 (1941),
151-184.
12. M. S. Prank, A new class of simple Lie algebras, Proc. Nat. Acad. Sci. U.S.A. 40
(1954), 713-719.
13.
, Two new classes of simple Lie algebras, Trans. Amer. Math. Soc. 112 (1964),
456-482.
14. N. Jacobson, Abstract derivation and Lie algebras, Trans. Amer. Math. Soc. 42
(1937), 206-224.
15.
, Glasses of restricted Lie algebras of characteristic p. II, Duke Math. J. 10
(1943), 107-121.
16.
, Lie algebras, Interscience, New York, 1962.
17. S. A. Jennings and R. Ree, On a family of Lie algebras of characteristic p, Trans.
Amer. Math. Soc. 84 (1957), 192-207.
18. V. G. Kac, The classification of the simple Lie algebras over a field with non-zero
characteristic, Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 385-408; English transi, in Math.
USSR-Izv. 4 (1970), 391-413.
19,
, Global Cartan pseudogroups and simple Lie algebras of characteristic p,
Uspekhi Mat. Nauk 26 (1971), 199-200. (Russian)
416
R. L. WILSON
20
, Filtered Lie algebras of Cartan type, Uspekhi Mat. Nauk 29 (1974), 203-204.
(Russian)
21.
, Description of filtered Lie algebras with which graded Lie algebras of Cartan
type are associated, Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), 800-834; Errata 40 (1976),
1415; English transi, in Math. USSR-Izv. 8 (1974), 801-835; Errata 10 (1976), 1339.
22. I. Kaplansky, Seminar on simple Lie algebras, Bull. Amer. Math. Soc. 60 (1954),
470-471.
23.
, Lie algebras of characteristic p, Trans. Amer. Math. Soc. 89 (1958), 149-183.
24. S. Kobayashi and T. Nagano, On filtered Lie algebras and geometric structures. Ill,
J. Math. Mech. 14 (1965), 679-706.
25. A. I. Kostrikin, Variations modulaires sur un thème de Cartan, Actes du Congrès
International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, Paris, 1971, pp.
285-292.
26. A. I. Kostrikin and I. R. Safarevifc, Cartan pseudogroups and Lie p-algebras, Dokl.
Akad. Nauk SSSR 168 (1966), 740-742; English transi, in Soviet Math. Dokl. 7 (1966), 715718.
27.
, Graded Lie algebras of finite characteristic, Izv. Akad. Nauk SSSR Ser. Mat.
33 (1969), 251-322; English transi, in Math. USSR-Izv. 3 (1969), 237-304.
28. M. I. Kuznecov, The modular simple Lie algebras with a solvable maximal subalgebra, Mat. Sb. 101 (1976), 77-86; English transi, in Math. USSR-Sb. 30 (1976), 68-76.
29. W. H. Mills and G. B. Seligman, Lie algebras of classical type, J. Math. Mech. 6
(1957), 519-548.
30. R. Ree, On generalized Witt algebras, Trans. Amer. Math. Soc. 83 (1956), 510-546.
31. J. R. Schue, Cartan decompositions for Lie algebras of prime characteristic, J.
Algebra 11 (1969), 25-52; Erratum 13 (1969), 558.
32. G. B. Seligman, Modular Lie algebras, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 40, Springer-Verlag, New York, 1967.
33. G. Y. Shen, New simple Lie algebras of characteristic p, Chinese Ann. Math. Ser.
B 4 (1983), 329-346.
34. I. M. Singer and S. Sternberg, The infinite groups of Lie and Cartan. I, The transitive groups, J. Analyse Math. 15 (1965), 1-114.
35. H. Strade, Nodale nichtkommutative
Jordanalgebren und Lie-Algebren bei Charakteristik p > 2, J. Algebra 21 (1972), 353-377.
36. B. Ju. Weisfeiler, Infinite dimensional filtered Lie algebras and their connection
with graded Lie algebras, Funktsional. Anal, i Prilozhen 2 (1968), 94-95. (Russian)
37.
, On the structure of the minimal ideal of some graded Lie algebras in characteristic p > 0, J. Algebra 5 3 (1978), 344-361.
38.
, On subalgebras of simple Lie algebras of characteristic p > 0, Trans. Amer.
Math. Soc. 286 (1984), 471-503.
39. R. L. Wilson, Nonclassical simple Lie algebras, Bull. Amer. Math. Soc. 75 (1969),
987-991.
40.
, A structural characterization
of the simple Lie algebras of generalized Cartan type over fields of prime characteristic, J. Algebra 40 (1976), 418-465.
41.
, Cartan subalgebras of simple Lie algebras, Trans. Amer. Math. Soc. 2 3 4
(1977), 435-446.
42. D. J. Winter, On the toral structure of Lie p-algebras, Acta Math. 123 (1969),
69-81.
43. J. B. Yermolaev, Lie algebras of rank 1 with root system in the prime field, Izv.
Vyssh. Uchebn. Zaved. Mat. 120 (1972), 38-50. (Russian)
44. H. Zassenhaus, Über Liesche Ringe mit Primzahlcharakteristik,
Abh. Math. Sem.
Univ. Hamburg 13 (1939), 1-100.
R U T G E R S U N I V E R S I T Y , N E W B R U N S W I C K , N E W J E R S E Y 08903,
USA