ЛИ РЕДУКТИВНАЯ АЛГЕБРА

ЛИ РЕДУКТИВНАЯ АЛГЕБРА

- конечномерная алгебра Ли над полем kхарактеристики 0, присоединенное представление к-рой вполне приводимо. Свойство редуктивности алгебры Ли равносильно любому из следующих свойств:

1) радикал алгебры Ли совпадает с центром

2) , где - полупростой идеал в ;

3) где - простые идеалы;

4) допускает точное вполне приводимое конечномерное линейное представление.

Свойство редуктивности алгеб, ры Ли сохраняется как при расширении, так и при сужении основного поля k.

Важный класс Ли р. а. над составляют компактные алгебры Ли (см. Ли компактная группа). Группу Ли, алгебра Ли к-рой редуктивна, часто наз. р е д у к т и в н о й группой Ли. Если kалгебраически замкнуто, то алгебра Ли над kявляется редуктивной тогда и только тогда, когда она изоморфна алгебре Ли нек-рой редуктивной алгебраич. группы над k.

Обобщением понятия Ли р. а. является следующее понятие. Подалгебра конечномерной алгебры Ли над kназ. редуктивной в если присоединенное представление ad: вполне приводимо. В этом случае будет Ли р. а. Если kалгебраически замкнуто, то для редуктивности подалгебры в необходимо и достаточно следующее условие: состоит из полупростых линейных преобразований.

Лит.:[1] С е р р Ж.- П., Алгебры Ли и группы Ли, пер. с англ, и франц., М., 1969. А. Л. Онищик.



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

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "ЛИ РЕДУКТИВНАЯ АЛГЕБРА" в других словарях:

  • РЕДУКТИВНАЯ ГРУППА — линейная алгебраич. группа G, удовлетворяющая одному из следующих эквивалентных условий: 1) радикал связной компоненты единицы G0 группы G есть алгебраический тор, 2).унипотентный радикал группы G0 тривиален, 3) группа G0 разлагается в… …   Математическая энциклопедия

  • КОГОМОЛОГИЙ АЛГЕБР ЛИ — специальный случай когомологий алгебр. Пусть алгебра Ли над коммутативным кольцом Кс единицей и пусть задан левый модуль V. т. е. линейное над Кпредставление алгебры в K модуле V. Модулем р м ерных когомологий алгебры Ли со значениями в F наз. (… …   Математическая энциклопедия

  • РАДИКАЛЫ — колец и алгебр понятие, впервые возникшее в классической структурной теории конечномерных алгебр в нач. 20 в. Под Р. первоначально понимался наибольший нильпотентный идеал конечномерной ассоциативной алгебры. Алгебры с нулевым Р. (называемые… …   Математическая энциклопедия

  • ГИЛЬБЕРТА ТЕОРИЯ — 1) Г. т. о базисе: если А коммутативное нётерово кольцо и кольцо многочленов от с коэффициентами в А, то и нётерово кольцо. В частности, в кольце многочленов от конечного числа переменных над полем или над кольцом целых чисел любой идеал… …   Математическая энциклопедия

  • ИНВАРИАНТОВ ТЕОРИЯ — в классическом определении алгебраическая теория (иногда называемая также алгебраической И. т.), изучающая алгебраич. выражения (многочлены, рациональные функции или их совокупности), изменяющиеся определенным образом при невырожденных линейных… …   Математическая энциклопедия

  • ГАУССА РАЗЛОЖЕНИЕ — топологической группыС представление всюду плотного подмножества в виде где Н абелева подгруппа группы нильпотентные подгруппы группы G, нормализуемые Н. Если G группа невырожденных вещественных матриц m го порядка, Н подгруппа диагональных… …   Математическая энциклопедия

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

  • МАКСИМАЛЬНЫЙ ТОР — 1) М. т. линейной алгебраической группы G алгебраическая подгруппа в G, являющаяся алгебраическим тором и не содержащаяся ни в какой большей подгруппе такого типа. Пусть, далее, группа Gсвязна. Объединение всех М. т. группы Gсовпадает с… …   Математическая энциклопедия

  • МАМФОРДА ГИПОТЕЗА — гипотеза о том, что всякая полупростая алгебраич. группа Gгеометрически редуктивна, т. е. обладает следующим свойством: для любого рационального представления группы Gв конечномерном векторном пространстве Vи любого неподвижного относительно… …   Математическая энциклопедия

  • ПАРАБОЛИЧЕСКАЯ ПОДГРУППА — 1) П . п. линейной алгебраич. группы G, определенной над нолем k, замкнутая в Зариского топологии, подгруппа такая, что факторпространство G/P является проективным алгебраич. многообразием. Подгруппа тогда и только тогда является П. п., когда она …   Математическая энциклопедия


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

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