Математическая энциклопедия - ли нильпотентная алгебра

алгебра Ли Д над полем К, удовлетворяющая одному из следующих эквивалентных условий:

1) существует конечная убывающая цепочка идеалов алгебры таких, что

2) (аналогично ) для достаточно большого k, где члены соответственно нижнего и верхнего центральных рядов;

3) существует такое k, что аd x1 ... ad х k = 0 для любых

Абелева алгебра нильпотентна. Если F конечномерное векторное пространство над К, а флаг в нем, то

является нильпотентной подалгеброй в алгебре Ли всех линейных преобразований пространства V. Если в Vвыбрать базис, согласованный с флагом F, то в нем элементы алгебры представятся верхними треугольными матрицами с нулями на главной диагонали. Если F - полный флаг (т. е. dim Vk=k), то соответствующая матричная Ли н. а. состоит из всех верхних треугольных матриц порядка m= dim Vс нулями на главной диагонали.

Для любой неодномерной Ли н. а. коразмерность ее коммутатора В частности, если dim то абелева. Единственная неабелева трехмерная Ли н. а. изоморфна Ли н. а. перечислены еще в нескольких малых размерностях (для dim при ), но общего подхода к их классификации пока (1982) нет.

Ли н. а. (ранее их называли специальными алгебрами Ли, или алгебрамиЛи ранга 0) встретились уже на первых тагах исследований С. Ли (S. Lie) по интегрированию дифференциальных уравнений. Классификация Ли разрешимых алгебр сведена в нек-ром смысле к перечислению Ли н. а. В произвольной конечномерной алгебре Ли существует наибольший нильпотентный идеал (нильрадикал в терминологии [2]). Рассматривается и другой нильпотентный идеал пересечение ядер неприводимых конечномерных представлений (нильпотентный радикал) (см. [1], [4]). Если радикал алгебры то нильпотентный радикал совпадает с

Факторалгебра редуктивна и есть минимальный из идеалов, обладающих этим свойством. В случае char K = 0 нильрадикал состоит из всех таких что ad xнильпотентен.

При изучении редуктивной алгебры Ли над С естественно возникают ее нильпотентные подалгебры, являющиеся нильпотентными радикалами в параболических подалгебрах алгебры В случае эти нильпотентные подалгебры совпадают с рассмотренными выше подалгебрами Нильпотентный радикал борелевской подалгебры (см. Бореля подгруппа).в есть максимальная подалгебра в состоящая из нильпотентных элементов, единственная с точностью до сопряженности. Более широкий класс Ли н. а. образуют произвольные идеалы параболич. подалгебр алгебры состоящие из нильпотентных элементов. В случае эти Ли н. а. были классифицированы в [6] (стандартные нуль-алгебры), а в общем случае в [7].

Центр Ли н. а. нетривиален и любая Ли н. а. может быть получена рядом центральных расширений с помощью Ли н. а. Класс Ли н. а. замкнут относительно перехода к подалгебре, факторалгебре, центральному расширению и конечной прямой сумме. В частности, любая подалгебра в нильпотентна. Обратно, произвольная конечномерная Ли н. а. изоморфна подалгебре в при нек-ром т(если char K=0) - это частный случай теоремы Адо (см. [1], [2]).