Ли P-алгебра

ограниченная алгебра Ли,- алгебра Lнад полем kхарактеристики р>0 (или, более общо, над кольцом простой характеристики р>0), снабженная р-отображением таким, что выполняются следующие соотношения. Здесь - внутреннее дифференцирование алгебры L, определяемое элементом (оператор присоединенного представления), а элемент из L, являющийся линейной комбинацией одночленов Ли с xi=х или у для всех i=l, . ., р -1. Типичный пример Ли р-а. Получается, если рассмотреть произвольную ассоциативную алгебру Анад kкак универсальную алгебру с двумя производными операциями. В частности, свойство является прямым следствием тождества при п=р, когда Так как всякая Ли алгебра вложима в подходящим образом выбранную ассоциативную алгебру А с операциями i) - ii) ( теорема Пуанкаре - Биркгофа - Витта), то часто х [p] заменяют, с нек-рой долей двусмысленности, на х р.

Для всякой Ли p-a. L существует р-универсальная (ограниченная универсальная) обертывающая ассоциативная алгебрa Up(L). Если dimkL=n, то dimkUp(L)=pn. Это же замечание показывает, что для произвольной алгебры Ли имеет смысл говорить о ее наименьшей р-оболочке, или о р-замыкании. Обычная подалгебра Ли М(идеал Ли) в Lназ. р-п одалгеброй (р-и д е а л о м), если для всех Гомоморфизм Ли р-а. Лаз. Р-гомоморфизмом, коль скоро Если при этом К - линейная Ли р-а. Над k, то говорят также о р-представлении алгебры L. Задание р-структуры на алгебре Ли L с базисом {е 1 е 2, . ..}и нулевым центром Z(L) единственно и вполне определяется заданием образов базисных элементов е i. С другой стороны, коммутативная алгебра Ли L, для к-рой всегда, очевидно, снабжается р-структурой путем рассмотрения пары где - произвольное р-полулинейное отображение Над алгебраически замкнутым полем kвсякая конечномерная коммутативная Ли р-а.

Lразлагается в прямую сумму тора и нильпотентной подалгебры L1 с тождеством для достаточно большого т(см. [1]). Важным источником Ли р-а. Служат теория алгебраич. Групп, теория формальных групп и теория несепарабельных полей (см. [2]). Алгебра Ли Derk(A).все дифференцирований произвольной алгебры Аявляется р-подалгеброй в Endk(4). Если, в частности, натянута на дифференцирования с правилом коммутирования и р-структурой Этот пример простой Ли р-а. Послужил поводом к поискам других простых алгебр. Все известные к настоящему времени (1982) конечномерные простые Ли р-а. Над алгебраически замкнутым полем kхарактеристики р >. 5 исчерпываются алгебрами классич. Типа (вместе с пятью исключительными).

Это и алгебрами картановского типа Размерности последних четырех алгебр равны соответственно и Все эти алгебры определены над простым подполем поля k, так что неизоморфных простых р-алгебр фиксированной размерности - конечное число (как правило, О, 1 или 2). Недоказанная пока (1982) гипотеза, возникшая в связи с работой [3], заключается в том, что других конечномерных простых Ли р-а. В этом случае не существует. При р=2, 3, 5, однако, ситуация заведомо сложнее. Лит.:[1] Джекобсон Н..,. Алгебры Ли, пер. С англ., М., 1964. [2] S е l i g m a n G. В.., Modular Lie algebras, В.- Hdlb.- N. Y., 1967. [3] К о с т р и к и н А. И., Шафаревич И. Р., "Докл. АН СССР", 1966. Т. 168, с. 740 - 42. [4] Zassenhaus H., "Harab- Abh.", 1939, Bd 13, S.

1-100. А. И. Кострикин.