Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Constructing bases for radicals and nilradicals of Lie algebras

Author: Stephen Merrin
Journal: Proc. Amer. Math. Soc. 119 (1993), 681-690
MSC: Primary 17B05; Secondary 03F65
MathSciNet review: 1152285
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The radical and nilradical of a finite-dimensional Lie algebra $ L$ are well defined unique subspaces of $ L$. Nevertheless, we show the impossibility of ever finding a general algorithm that will construct finite bases for radicals (or nilradicals) of arbitrary finite-dimensional Lie algebras. Our approach involves an investigation of the relationship between radicals of associative algebras and radicals of Lie algebras. Building on a result of Richman in the constructive theory of associative algebras, we prove that bases for radicals and nilradicals of finite-dimensional Lie algebras over a discrete field $ F$ can always be constructed if and only if $ F$ satisfies Seidenberg's condition P. A special case is that if we restrict ourselves to fields of characteristic zero, we can indeed always construct bases for radicals. Our proofs are entirely constructive (i.e., do not use the general law of excluded middle).

References [Enhancements On Off] (What's this?)

  • [1] R. Beck, B. Kolman, and I. Stewart, Computing the structure of a Lie algebra, Computers in Nonassociative Rings and Algebras (R. Beck and B. Kolman, eds.), Academic Press, New York, 1977, pp. 167-188. MR 0486008 (58:5800)
  • [2] E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 0221878 (36:4930)
  • [3] N. Jacobson, Lie algebras, Dover, New York, 1979. MR 559927 (80k:17001)
  • [4] S. Merrin, A strong constructive version of Engel's theorem, submitted.
  • [5] -, Some constructive results in the theory of Lie algebras, Ph.D. dissertation, New Mexico State Univ., 1990.
  • [6] R. Mines, F. Richman, and W. Ruitenburg, A course in constructive algebra, Springer-Verlag, New York, 1988. MR 919949 (89d:03066)
  • [7] A. Seidenberg, Construction of the integral closure of a finite integral domain, Rend. Sem. Mat. Fis. Milano 40 (1970), 100-120. MR 0294327 (45:3396)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 17B05, 03F65

Retrieve articles in all journals with MSC: 17B05, 03F65

Additional Information

Keywords: Lie algebra, constructive algebra, radical, nilradical
Article copyright: © Copyright 1993 American Mathematical Society

American Mathematical Society