Difference between revisions of "Lie algebra, nil"
Ulf Rehmann (talk | contribs) m |
Ulf Rehmann (talk | contribs) m (typo) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | {{MSC|17B30}} | ||
+ | {{TEX|done}} | ||
+ | |||
+ | |||
A | A | ||
− | [[Lie algebra|Lie algebra]] ${\mathfrak g}$ over a field $k$ | + | [[Lie algebra|Lie algebra]] ${\mathfrak g}$ over a field $k$ is called ''nil'' if there is 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}$, | main question about nil Lie algebras concerns the conditions on ${\mathfrak g}$, | ||
$k$, $n$ under which ${\mathfrak g}$ is (locally) nilpotent (see | $k$, $n$ under which ${\mathfrak g}$ is (locally) nilpotent (see | ||
Line 8: | Line 11: | ||
over any field there are finitely-generated nil Lie algebras that are | over any field there are finitely-generated nil Lie algebras that are | ||
not nilpotent | not nilpotent | ||
− | + | {{Cite|Go}}. 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, | is locally nilpotent if ${\rm char}\; k = 0$ or if $m\le p+1$, where $p={\rm char}\; k>0$ (Kostrikin's theorem, | ||
− | + | {{Cite|Ko}}). Local nilpotency also holds in the case when ${\mathfrak g}$ | |
is locally solvable. An infinitely-generated nil Lie algebra is not | is locally solvable. An infinitely-generated nil Lie algebra is not | ||
necessarily nilpotent if $n\ge p-2$ (see | necessarily nilpotent if $n\ge p-2$ (see | ||
− | + | {{Cite|Ra}}), and for $n\ge p+1$ non-nilpotency can still occur under | |
the condition of solvability. Recently it has been proved by | 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. | E.I. Zel'myanov that a nil Lie algebra is nilpotent if ${\rm char}\; k = 0$ (cf. | ||
− | + | {{Cite|Ko2}}) and that a nil algebra is also locally nilpotent | |
if $n> p+1$. The study of nil Lie algebras over a field $k$ of | if $n> p+1$. The study of nil Lie algebras over a field $k$ of | ||
characteristic $p>0$ is closely connected with the | characteristic $p>0$ is closely connected with the | ||
Line 22: | Line 25: | ||
====References==== | ====References==== | ||
− | + | {| | |
− | valign="top" | + | |- |
− | + | |valign="top"|{{Ref|Br}}||valign="top"| A. Braun, "Lie rings and the Engel condition" ''J. of Algebra'', '''31''' (1974) pp. 287–292 {{MR|0344299}} {{ZBL|0358.20051}} | |
− | pp. | + | |- |
− | valign="top" | + | |valign="top"|{{Ref|Go}}||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) |
− | ''Izv. Akad. Nauk SSSR Ser. Mat.'' , ''' | + | |- |
− | Russian) | + | |valign="top"|{{Ref|Hu}}||valign="top"| J.E. Humphreys, "Introduction to Lie algebras and representation theory", Springer (1972) pp. §5.4 {{MR|0323842}} {{ZBL|0254.17004}} |
− | + | |- | |
− | + | |valign="top"|{{Ref|Ja}}||valign="top"| N. Jacobson, "Lie algebras", Interscience (1962) ((also: Dover, reprint, 1979)) {{MR|0148716}} {{MR|0143793}} {{ZBL|0121.27504}} {{ZBL|0109.26201}} | |
− | + | |- | |
− | valign="top" | + | |valign="top"|{{Ref|Ko}}||valign="top"| A.I. Kostrikin, "On Burnside's problem" ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''23''' : 1 (1959) pp. 3–34 (In Russian) |
− | + | |- | |
− | ( | + | |valign="top"|{{Ref|Ko2}}||valign="top"| A.I. Kostrikin, "Around Burnside", Springer (1989) (Translated from Russian) |
− | A. | + | |- |
− | ''' | + | |valign="top"|{{Ref|Ra}}||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 {{ZBL|0253.17005}} |
− | valign="top" | + | |- |
− | (Translated from Russian) | + | |} |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | valign="top" | ||
− | |||
− | |||
− |
Latest revision as of 22:04, 5 March 2012
2020 Mathematics Subject Classification: Primary: 17B30 [MSN][ZBL]
A
Lie algebra ${\mathfrak g}$ over a field $k$ is called nil if there is 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
[Go]. 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,
[Ko]). 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
[Ra]), 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.
[Ko2]) 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
[Br] | A. Braun, "Lie rings and the Engel condition" J. of Algebra, 31 (1974) pp. 287–292 MR0344299 Zbl 0358.20051 |
[Go] | E.S. Golod, "On nil-algebras and residually finite groups" Izv. Akad. Nauk SSSR Ser. Mat., 28 : 2 (1964) pp. 273–276 (In Russian) |
[Hu] | J.E. Humphreys, "Introduction to Lie algebras and representation theory", Springer (1972) pp. §5.4 MR0323842 Zbl 0254.17004 |
[Ja] | N. Jacobson, "Lie algebras", Interscience (1962) ((also: Dover, reprint, 1979)) MR0148716 MR0143793 Zbl 0121.27504 Zbl 0109.26201 |
[Ko] | A.I. Kostrikin, "On Burnside's problem" Izv. Akad. Nauk SSSR Ser. Mat., 23 : 1 (1959) pp. 3–34 (In Russian) |
[Ko2] | A.I. Kostrikin, "Around Burnside", Springer (1989) (Translated from Russian) |
[Ra] | 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 Zbl 0253.17005 |
Lie algebra, nil. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_algebra,_nil&oldid=19574