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 satisfying
![{\displaystyle X\mapsto X^{[p]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3f7c366af40ed2c509f0f9ff7928787e3ff79e0)
- for all ,
- for all ,
- , for all , where is the coefficient of in the formal expression .
![{\displaystyle \mathrm {ad} (X^{[p]})=\mathrm {ad} (X)^{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcdc79398ee7e2660574c689880cbf6ed942a8c3)
![{\displaystyle (tX)^{[p]}=t^{p}X^{[p]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4889d784f6e21a6a355c5080aa1ce37e9a439d9)
![{\displaystyle (X+Y)^{[p]}=X^{[p]}+Y^{[p]}+\sum _{i=1}^{p-1}{\frac {s_{i}(X,Y)}{i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f0373fa25e60db6b7331b2dc369571204875892)
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 and p operation make A into a restricted Lie algebra .
![{\displaystyle [X,Y]:=XY-YX}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0531a61ef94ff9a718626747063c2206801b965d)
![{\displaystyle X^{[p]}:=X^{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e337852776acc1141e14e757bf8ad441999b36c1)
Let G be an algebraic group over a field k of characteristic p, and be the Zariski tangent space at the identity element of G. Each element of uniquely defines a left-invariant vector field on G, and the commutator of vector fields defines a Lie algebra structure on just as in the Lie group case. If p>0, the Frobenius map defines a p operation on .
Restricted universal enveloping algebra
The functor has a left adjoint called the restricted universal enveloping algebra. To construct this, let be the universal enveloping algebra of L forgetting the p operation. Letting I be the two-sided ideal generated by elements of the form , we set . It satisfies a form of the PBW theorem.
![{\displaystyle L\mapsto U^{[p]}(L)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5559346c213605cc39c6787b394858913dbf61f7)
![{\displaystyle x^{p}-x^{[p]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b4499c2e2948f48d8a9f02687cb19328cf4aa42)
![{\displaystyle U^{[p]}(L)=U(L)/I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b060d17b939bf54ae0434e03ae70454e64c50d6)
See also
Restricted Lie algebras are used in Jacobson's Galois correspondence for purely inseparable extensions of fields of exponent 1.
References
- Borel, Armand (1991), Linear Algebraic Groups, Graduate Texts in Mathematics, vol. 126 (2nd ed.), Springer-Verlag, Zbl 0726.20030.
- Block, Richard E.; Wilson, Robert Lee (1988), "Classification of the restricted simple Lie algebras", Journal of Algebra, 114 (1): 115–259, doi:10.1016/0021-8693(88)90216-5, ISSN 0021-8693, MR 0931904.
- Montgomery, Susan (1993), 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, Regional Conference Series in Mathematics, vol. 82, Providence, RI: American Mathematical Society, p. 23, ISBN 978-0-8218-0738-5, Zbl 0793.16029.