Difference between revisions of "Lie algebra, nil"
(Importing text file) |
Ulf Rehmann (talk | contribs) m |
||
Line 1: | Line 1: | ||
− | A [[Lie algebra|Lie algebra]] | + | A |
+ | [[Lie algebra|Lie algebra]] ${\mathfrak g}$ over a field $k$ defined by the | ||
+ | presence of a function $n:{\mathfrak g}\times{\mathfrak g}\to{\mathbb N}$ such that $({\rm ad}\; x)^{n(x,y)}(y) = 0$, where $({\rm ad}\; x)(y) = [x,y]$, for any $x,y\in{\mathfrak g}$. The | ||
+ | main question about nil Lie algebras concerns the conditions on ${\mathfrak g}$, | ||
+ | $k$, $n$ under which ${\mathfrak g}$ is (locally) nilpotent (see | ||
+ | [[Lie algebra, nilpotent|Lie algebra, nilpotent]]). A nil Lie algebra | ||
+ | that is finite-dimensional over $k$ is nilpotent. On the other hand, | ||
+ | over any field there are finitely-generated nil Lie algebras that are | ||
+ | not nilpotent | ||
+ | [[#References|[1]]]. Suppose that $n$ is a constant. A nil Lie algebra | ||
+ | is locally nilpotent if ${\rm char}\; k = 0$ or if $m\le p+1$, where $p={\rm char}\; k>0$ (Kostrikin's theorem, | ||
+ | [[#References|[2]]]). Local nilpotency also holds in the case when ${\mathfrak g}$ | ||
+ | is locally solvable. An infinitely-generated nil Lie algebra is not | ||
+ | necessarily nilpotent if $n\ge p-2$ (see | ||
+ | [[#References|[3]]]), and for $n\ge p+1$ non-nilpotency can still occur under | ||
+ | the condition of solvability. Recently it has been proved by | ||
+ | E.I. Zel'myanov that a nil Lie algebra is nilpotent if ${\rm char}\; k = 0$ (cf. | ||
+ | [[#References|[6]]]) and that a nil algebra is also locally nilpotent | ||
+ | if $n> p+1$. The study of nil Lie algebras over a field $k$ of | ||
+ | characteristic $p>0$ is closely connected with the | ||
+ | [[Burnside problem|Burnside problem]]. | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD |
+ | valign="top"> E.S. Golod, "On nil-algebras and residually finite | ||
+ | groups" ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''28''' : 2 (1964) | ||
+ | pp. 273–276 (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD | ||
+ | valign="top"> A.I. Kostrikin, "On Burnside's problem" | ||
+ | ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''23''' : 1 (1959) pp. 3–34 (In | ||
+ | Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> | ||
+ | Yu.P. Razmyslov, "On Lie algebras satisfying the Engel condition" | ||
+ | ''Algebra and Logic'' , '''10''' : 1 (1971) pp. 21–29 ''Algebra i | ||
+ | Logika'' , '''10''' : 1 (1971) pp. 33–44</TD></TR><TR><TD | ||
+ | valign="top">[4]</TD> <TD valign="top"> Yu. [Yu.A. Bakhturin] | ||
+ | Bahturin, "Lectures on Lie algebras" , Akademie Verlag | ||
+ | (1978)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> | ||
+ | A. Braun, "Lie rings and the Engel condition" ''J. of Algebra'' , | ||
+ | '''31''' (1974) pp. 287–292</TD></TR><TR><TD valign="top">[6]</TD> <TD | ||
+ | valign="top"> A.I. Kostrikin, "Around Burnside" , Springer (1989) | ||
+ | (Translated from Russian)</TD></TR></table> | ||
Line 10: | Line 46: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD |
+ | valign="top"> N. Jacobson, "Lie algebras" , Interscience (1962) | ||
+ | ((also: Dover, reprint, 1979))</TD></TR><TR><TD valign="top">[a2]</TD> | ||
+ | <TD valign="top"> J.E. Humphreys, "Introduction to Lie algebras and | ||
+ | representation theory" , Springer (1972) pp. §5.4</TD></TR></table> |
Revision as of 09:20, 12 September 2011
A Lie algebra ${\mathfrak g}$ over a field $k$ defined by the presence of a function $n:{\mathfrak g}\times{\mathfrak g}\to{\mathbb N}$ such that $({\rm ad}\; x)^{n(x,y)}(y) = 0$, where $({\rm ad}\; x)(y) = [x,y]$, for any $x,y\in{\mathfrak g}$. The main question about nil Lie algebras concerns the conditions on ${\mathfrak g}$, $k$, $n$ under which ${\mathfrak g}$ is (locally) nilpotent (see Lie algebra, nilpotent). A nil Lie algebra that is finite-dimensional over $k$ is nilpotent. On the other hand, over any field there are finitely-generated nil Lie algebras that are not nilpotent [1]. Suppose that $n$ is a constant. A nil Lie algebra is locally nilpotent if ${\rm char}\; k = 0$ or if $m\le p+1$, where $p={\rm char}\; k>0$ (Kostrikin's theorem, [2]). Local nilpotency also holds in the case when ${\mathfrak g}$ is locally solvable. An infinitely-generated nil Lie algebra is not necessarily nilpotent if $n\ge p-2$ (see [3]), and for $n\ge p+1$ non-nilpotency can still occur under the condition of solvability. Recently it has been proved by E.I. Zel'myanov that a nil Lie algebra is nilpotent if ${\rm char}\; k = 0$ (cf. [6]) and that a nil algebra is also locally nilpotent if $n> p+1$. The study of nil Lie algebras over a field $k$ of characteristic $p>0$ is closely connected with the Burnside problem.
References
[1] | E.S. Golod, "On nil-algebras and residually finite
groups" Izv. Akad. Nauk SSSR Ser. Mat. , 28 : 2 (1964) pp. 273–276 (In Russian) |
[2] | A.I. Kostrikin, "On Burnside's problem"
Izv. Akad. Nauk SSSR Ser. Mat. , 23 : 1 (1959) pp. 3–34 (In Russian) |
[3] |
Yu.P. Razmyslov, "On Lie algebras satisfying the Engel condition" Algebra and Logic , 10 : 1 (1971) pp. 21–29 Algebra i Logika , 10 : 1 (1971) pp. 33–44 |
[4] | Yu. [Yu.A. Bakhturin]
Bahturin, "Lectures on Lie algebras" , Akademie Verlag (1978) |
[5] |
A. Braun, "Lie rings and the Engel condition" J. of Algebra , 31 (1974) pp. 287–292 |
[6] | A.I. Kostrikin, "Around Burnside" , Springer (1989) (Translated from Russian) |
Comments
References
[a1] | N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) |
[a2] | J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) pp. §5.4 |
Lie algebra, nil. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_algebra,_nil&oldid=13081