PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] restricted Lie algebra (Definition)
Definition 1   Given a modular Lie algebra $L$ , that is, a Lie algebra defined over a field of positive characteristic $p$ , then we say $L$ is restricted if there exists a power map $[p]:L\rightarrow L$ satisfying
  1. $(\ad a)^p=\ad (a^{[p]})$ for all $a\in L$ (where $(\ad a)^p=\ad a\cdots \ad a$ in the associative product of linear transformations in $\mathfrak{gl}_k V=\End_k V$ .)
  2. For every $\alpha\in k$ and $a\in L$ then $(\alpha a)^{[p]}=\alpha^p a^{[p]}$ .
  3. For all $a,b\in L$ , $$ (a+b)^{[p]}=a^{[p]}+b^{[p]}+\sum_{i=1}^{p-1} s_i(a,b $$ where the terms $s_i(a,b)$ are determined by the formula $$ (\ad (a\otimes x+b\otimes 1))^{p-1} (a\otimes 1) =\sum_{i=1}^{p-1} i s_i(a,b)\otimes x^{i-1 $$ in $L\otimes_k k[x]$ .

The definition and terminology of a restricted Lie algebra was developed by N. Jacobson as a method to mimic the properties of Lie algebras of characteristic 0. The usual methods of using minimal polynomials to establish the Jordan normal form of a transform fail in positive characteristic as certain polynomials become inseparable or reducible. Thus one cannot simply establish the typical nilpotent+semisimple decomposition of elements.

However, given a linear Lie algebra (subalgebra of $\mathfrak{gl}_k V$ ) over a field $k$ of positive characteristic $p$ then the map $x\mapsto x^p$ on the matrices captures many of the properties of the field. For example, a diagonal matrix $D$ with entries in $\mathbb{Z}_p$ satisfies $D^p=D$ simply because the power map $p$ is a field automorphism. Thus in various ways the power map captures the requirements of semisimple and toral elements of Lie algebras. By modifying the definitions of semisimple, toral, and nilpotent elements to use the power maps of the field, Jacobson and others were able to reproduce 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 $L$ over a field of characteristic $p$ , then the usual associative power map serves as a power map for establishing a restricted Lie algebra. The only added requirement is that $L^p\subseteq L$ .

Definition 2   A Lie algebra is said to be restrictable if it can be given a power mapping which makes it a restricted Lie algebra.
Remark 3   It is generally not true that a restrictable Lie algebra has a unique power mapping. Notice that the definition of a power mapping relates the power mapping to the linear power mapping of the adjoint representation. This suggests (correctly) that power maps can be defined in various ways but 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.




"restricted Lie algebra" is owned by Algeboy.
(view preamble | get metadata)

View style:

See Also: modular theory

Also defines:  restricted Lie algebra, modular Lie algebra, restrictable Lie algebra
Keywords:  restricted Lie algebra, power map

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: representations, algebras, modular, division, center, adjoint representation, mapping, reflects, theory, nilpotent elements, definitions, semisimple, automorphism, diagonal matrix, matrices, subalgebra, elements, decomposition, nilpotent, reducible, polynomials, Transform, normal form, minimal polynomials, properties, formula, terms, linear transformations, product, associative, map, power, characteristic, positive, field, Lie algebra

This is version 4 of restricted Lie algebra, born on 2006-12-07, modified 2007-01-05.
Object id is 8602, canonical name is RestrictedLieAlgebra.
Accessed 2779 times total.

Classification:
AMS MSC17B99 (Nonassociative rings and algebras :: Lie algebras and Lie superalgebras :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)