Restricted Lie Algebra

In mathematics, a restricted Lie algebra is a Lie algebra together with an additional "''p'' operation."

Definition

Let ''L'' be a Lie algebra over a field ''k'' of characteristic ''p>0''. A ''p'' operation on ''L'' is a map $X \mapsto X^$ satisfying
* $\mathrm(X^) = \mathrm(X)^p$ for all $X \in L$,
* $(tX)^ = t^pX^$ for all $t \in k, X \in L$,
* $(X+Y)^ = X^ + Y^ + \sum_^ \frac$, for all $X,Y \in L$, where $s_i(X,Y)$ is the coefficient of $t^$ in the formal expression $\mathrm(tX+Y)^(X)$.

If the characteristic of ''k'' is 0, then ''L'' is a restricted Lie algebra where the ''p'' operation is the identity map.

Examples

For any associative algebra ''A'' defined over a field of characteristic ''p'', the bracket operation ,Y:= XY-YX and ''p'' operation $X^ := X^p$ make ''A'' into a restricted Lie algebra $\mathrm(A)$.

Let ''G'' be an algebraic group over a field k of characteristic ''p'', and $\mathrm(G)$ be the Zariski tangent space at the identity element of ''G''. Each element of $\mathrm(G)$ uniquely defines a left-invariant vector field on ''G'', and the commutator of vector fields defines a Lie algebra structure on $\mathrm(G)$ just as in the Lie group case. If ''p>0'', the Frobenius map $x \mapsto x^p$ defines a ''p'' operation on $\mathrm(G)$.

Restricted universal enveloping algebra

The functor $A \mapsto \mathrm(A)$ has a left adjoint $L \mapsto U^(L)$ called the restricted universal enveloping algebra. To construct this, let $U(L)$ be the universal enveloping algebra of ''L'' forgetting the ''p'' operation. Letting ''I'' be the two-sided ideal generated by elements of the form $x^p - x^$, we set $U^(L) = U(L) / I$. It satisfies a form of the PBW theorem.

See also

Restricted Lie algebras are used in Jacobson's Galois correspondence for purely inseparable extensions of fields of exponent 1.

References

* .
* .
* {{citation , last=Montgomery , first=Susan , authorlink=Susan Montgomery , title=Hopf algebras and their actions on rings. Expanded version of ten lectures given at the CBMS Conference on Hopf algebras and their actions on rings, which took place at DePaul University in Chicago, USA, August 10-14, 1992 , zbl=0793.16029 , series=Regional Conference Series in Mathematics , volume=82 , location=Providence, RI , publisher=American Mathematical Society , year=1993 , isbn=978-0-8218-0738-5 , page=23 .

Algebraic groups
Lie algebras