Разрешимая алгебра Ли
Разреши́мая а́лгебра Ли, алгебра Ли над полем , удовлетворяющая одному из следующих эквивалентных условий:
1) члены производного ряда для равны при достаточно большом ;
2) существует конечная убывающая цепочка идеалов алгебры таких, что , и (т. е. алгебры Ли – абелевы) для всех ;
3) существует конечная убывающая цепочка подалгебр таких, что , , – идеал в и – одномерная (абелева) алгебра Ли для .
Нильпотентная алгебра Ли разрешима. Если – полный флаг в конечномерном векторном пространстве над , то
есть разрешимая подалгебра в алгебре Ли всех линейных преобразований пространства . Если в выбрать базис, согласованный с флагом , то в нём элементы алгебры представятся верхними треугольными матрицами; полученная матричная разрешимая алгебра Ли обозначается , где .
Класс разрешимой алгебры Ли замкнут относительно перехода к подалгебре, факторалгебре и расширению. В частности, любая подалгебра в разрешима. Если и поле алгебраически замкнуто, то любая конечномерная разрешимая алгебра Ли изоморфна подалгебре в при некотором . Одним из основных свойств разрешимой алгебры Ли является теорема Ли: пусть – разрешимая алгебра Ли над алгебраически замкнутым полем характеристики и – её конечномерное линейное представление. Тогда в существует такой полный флаг , что . В частности, если неприводимо, то . Идеалы алгебры можно выбрать образующими полный флаг, т. е. такими, что .
Конечномерная алгебра Ли над полем характеристики разрешима тогда и только тогда, когда алгебра нильпотентна. Другой критерий разрешимости (критерий Картана): алгебра разрешима тогда и только тогда, когда ортогонально всей относительно формы Киллинга (или любой билинейной формы, ассоциированной с точным конечномерным представлением алгебры ).
Разрешимую алгебру Ли впервые рассмотрел С. Ли в связи с изучением разрешимых групп Ли преобразований. Изучение разрешимой алгебры Ли приобрело большое значение после введения понятия радикала (т. е. наибольшего разрешимого идеала) произвольной конечномерной алгебры Ли , и доказано, что в случае алгебра является полупрямой суммой своего радикала и максимальной полупростой подалгебры (см. Разложение Леви – Мальцева). Это позволило свести задачу классификации произвольных алгебр Ли к перечислению полупростых (что для было сделано уже В. Киллингом) и разрешимых алгебр. Классификация же разрешимых алгебр Ли проведена (для и ) лишь в размерностях .
Если – разрешимая алгебраическая подалгебра в , где – конечномерное пространство над полем характеристики , то разлагается в полупрямое произведение нильпотентного идеала, образуемого всеми нильпотентными преобразованиями из и некоторой абелевой подалгебры, состоящей из полупростых преобразований (Шевалле. 1958). Аналогичное строение имеет вообще любая расщепляемая разрешимая алгебра Ли, т. е. конечномерная разрешимая алгебра Ли над , каждый элемент которой разлагается в сумму , где , , полупрост, а нильпотентен (Мальцев. 1976). Каждой конечномерной разрешимой алгебре Ли над однозначно сопоставляется минимальная содержащая её расщепляемая разрешимая алгебра Ли (расщепление Мальцева). Решена (Мальцев. 1976) также задача классификации разрешимых алгебр Ли, имеющих заданное расщепление Мальцева. Таким образом, задача классификации разрешимых алгебр Ли сводится, в известном смысле, к изучению нильпотентных алгебр Ли.
Кроме радикала, в произвольной конечномерной алгебре Ли выделяют максимальные разрешимые подалгебры. Если – алгебраически замкнутое поле характеристики , то все такие подалгебры в (они называются борелевскими) сопряжены. Например, является борелевской подалгеброй в алгебре Ли всех матриц порядка . Если не является алгебраически замкнутым или конечна, то теорема Ли, вообще говоря, не верна. Однако она распространяется на случай, когда совершенно и содержит характеристические корни всех , . Если это условие выполнено для присоединённого представления разрешимой алгебры Ли , то называется треугольной. На треугольные алгебры Ли переносятся многие свойства разрешимых алгебр Ли над алгебраически замкнутым полем. В частности, если , то все максимальные треугольные подалгебры в произвольной конечномерной алгебре Ли сопряжены (см. Борель. 1967; Онищик. 1967). Максимальные треугольные подалгебры используются при изучении полупростых алгебр Ли над алгебраически незамкнутым полем в качестве хорошего аналога борелевских подалгебр. Они играют также основную роль в описании связных равномерных подгрупп в группах Ли (Онищик. 1967).