Bull. Austral. Math. Soc. 72(1) pp.147--156, 2005.
Subalgebras of free restricted Lie algebras
R.M. Bryant |
L.G. Kovács |
Ralph Stöhr |
.
Abstract
A theorem independently due to A.I. Shirshov and E. Witt asserts that every subalgebra of a free Lie algebra (over a field) is free. The main step in Shirshov's proof is a little known but rather remarkable result: if a set of homogeneous elements in a free Lie algebra has the property that no element of it is contained in the subalgebra generated by the other elements, then this subset is a free generating set for the subalgebra it generates. Witt also proved that every subalgebra of a free restricted Lie algebra is free. Later G.P. Kukin gave a proof of this theorem in which he adapted Shirshov's argument. The main step is similar, but it has come to light that its proof contains substantial gaps. Here we give a corrected proof of this main step in order to justify its applications elsewhere.
Click to download PDF of this article (free access until July 2006)
or get the no-frills version
[an error occurred while processing this directive]| (Metadata: XML, RSS, BibTeX) | MathSciNet: MR2162300 | Z'blatt-MATH: 02212192 |
References
- Yu. A. Bakhturin;
Identical relations in Lie algebras,
(Russian) (Nauka, Moscow, 1985). MR0886063
English translation: (VNU Science Press, Utrecht, 1987) - R.M. Bryant and R. Stöhr;
On the module structure of free Lie algebras,
Trans. Amer. Math. Soc. 352 (2000), pp. 901--934. MR1621725 - R.M. Bryant, L.G. Kovács and R. Stöhr;
Lie powers of modules for groups of prime order,
Proc. London Math. Soc. (3) 84 (2002), pp. 343--374. MR1881395 - N. Bourbaki;
Lie groups and Lie algebras,
(Part I: Chapters 1--3) (Hermann, Paris, 1975). MR453824 - N. Jacobson;
Lie algebras (Interscience, New York, 1962). MR143793 - L.G. Kovács and R. Stöhr;
Lie powers of the natural module for GL(2),
J. Algebra 229 (2000), pp. 435--462. MR1769283 - G.P. Kukin;
Subalgebras of free Lie p-algebras,
(Russian),
Algebra i Logika 11 (1972), pp. 535--550. MR318251
English translation: Algebra Logic 11 (1972), 294--303 - C. Reutenauer;
Free Lie algebras (Clarendon Press, Oxford, 1993). MR1231799 - A.I. Shirshov;
Subalgebras of free Lie algebras,
(Russian),
Mat. Sbornik N. S. 33 (1953), pp. 441--452. MR59892 - R. Stöhr;
Restricted Lazard elimination and modular Lie powers,
J. Austral. Math. Soc. 71 (2001), pp. 259--277. MR1847196 - E. Witt;
Die Unterringe der freien Lieschen Ringe,
Math. Z. 64 (1956), pp. 195--216. MR77525
ISSN 0004-9727