restricted Lie algebra
Definition 1.
Given a modular Lie algebra , that is, a Lie algebra defined over a field ofpositive characteristic , then we say is restricted if thereexists a power map satisfying
- 1.
for all (where in the associative product of linear transformations in .)
- 2.
For every and then .
- 3.
For all ,
where the terms are determined by the formula
in .
The definition and terminology of a restricted Lie algebra was developed byN. Jacobson as a method to mimic the properties of Lie algebras of characteristic 0. The usual methods of using minimal polynomials
to establishthe Jordan normal form of a transform fail in positive characteristic ascertain polynomials
become inseparable or reducible. Thus one cannotsimply establish the typical nilpotent+semisimple decomposition of elements.
However, given a linear Lie algebra (subalgebra of ) over a field of positive characteristic then the map on the matrices captures many of the properties of the field. For example, a diagonalmatrix
with entries in satisfies simply becausethe power map is a field automorphism. Thus in various ways the powermap captures the requirements of semisimple
and toral elements of Liealgebras. By modifying the definitions of semisimple, toral, and nilpotentelements
to use the power maps of the field, Jacobson and others were able toreproduce much of the classical theory of Lie algebras for restricted Lie algebras.
The definition given above reflects the abstract requirements for a restricted Lie algebra. However an important observation is that given a linear Lie algebra over a field of characteristic , then the usual associative power map serves as a power map for establishing a restricted Lie algebra. The only added requirement is that .
Definition 2.
A Lie algebra is said to be restrictable if it can be givena power mapping which makes it a restricted Lie algebra.
Remark 3.
It is generally not true that a restrictable Lie algebra has a uniquepower mapping. Notice that the definition of a power mapping relatesthe power mapping to the linear power mapping of the adjoint representation.This suggests (correctly) that power maps can be defined in various waysbut agree modulo the center of the Lie algebra.
Jacobson, Nathan Lie algebras, Interscience Tracts in Pure and Applied Mathematics, No. 10, Interscience Publishers (a division of John Wiley & Sons),New York-London, 1962.
Strade, Helmut and Farnsteiner, Rolf Modular Lie algebras and their representations, Monographs and Textbooks in Pure and Applied Mathematics,vol. 116, Marcel Dekker Inc., New York, 1988.