ЭНГЕЛЯ ТЕОРЕМА

ЭНГЕЛЯ ТЕОРЕМА

пусть для конечномерной алгебры Ли над полем kлинейные операторы ad X (где ad X(Y) = [X, Y]) нильпотентны для всех Тогда существует базис алгебры относительно к-рого матрицы всех операторов ad Xтреугольны и имеют нулевую диагональ.
Ф. Энгель доказал (ок. 1887, опубликовано в [1]), что алгебра Ли с указанным свойством разрешима, откуда, в силу Ли теоремы, непосредственно вытекает сформулированное выше утверждение. Первое опубликованное доказательство Э. т. принадлежит В. Киллингу [2], указывавшему на приоритет Ф. Энгеля. Э. т. формулируется часто в следующей более общей форме: если - линейное представление конечномерной алгебры Ли в векторном пространстве V и V - над произвольным полем), причем - нильпотентный эндоморфизм для любого то существует ненулевой вектор такой, что 0 для любого Если Vконечномерно, то отсюда выводится существование в Vбазиса, относительно к-рого все имеют треугольные матрицы с нулевой диагональю (или, что то же, существует полный флаг F={Vi}в V, для к-рого для всех и Заключение Э. т. справедливо также для любого представления р, для к-рого алгебра Ли является линейной оболочкой нек-рого своего подмножества, состоящего из нильпотентных эндоморфизмов и замкнутого относительно операции коммутирования [4]. Алгебра Ли наз. энгелевой, если любой является энгелевым элементом, т. е. если все операторы ad X, нильпотентны или, что то же, если для любого Xнайдется такое n, что


для любого Конечномерная алгебра Ли энгелева тогда и только тогда, когда она нильпотентна. Для бесконечномерных алгебр нильпотентность не вытекает из энгелевости, однако конечно порожденная алгебра Ли, в к-рой (ad Х) п=0для нек-рого п(где пне зависит от X), нильпотентна [3].

Лит.:[1] Liе S., Еngеi F., Theorie der Transformationsgruppen, Bd 3, Lpz., 1893; [2] Killing W., лMath. Ann.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "ЭНГЕЛЯ ТЕОРЕМА" в других словарях:

  • ЭНГЕЛЕВ ЭЛЕМЕНТ — элемент кольца Ли или ассоциативного кольца, для к рого определяемое им внутреннее дифференцирование является нильпотентным. Если все элементы конечномерной алгебры Ли над нек рым полем энгелевы, то алгебра нильпотентна (см. Энгеля теорема).… …   Математическая энциклопедия

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

  • ЛИ НИЛЬПОТЕНТНАЯ АЛГЕБРА — алгебра Ли Д над полем К, удовлетворяющая одному из следующих эквивалентных условий: 1) существует конечная убывающая цепочка идеалов алгебры таких, что 2) (аналогично ) для достаточно большого k, где члены соответственно нижнего и верхнего… …   Математическая энциклопедия

  • ЛИ НИЛЬПОТЕНТНАЯ ГРУППА — группа Ли, пильпотентная как абстрактная группа. Абелева группа Ли нильпотентна. Если флаг в конечномерном векторном пространстве Vнад полем К, то будет нильпотентной алгебраич. группой над А; в базисе, согласованном с флагом F, ее элементы… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»