Ли Разрешимая Группа

группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. Г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} - полный флаг в конечномерном векторном пространстве V(над или ), то является разрешимой алгебраич. Подгруппой в GL(v) и, в частности, Ли р. Г. Если в Vвыбрать базис, согласованный с флагом F, то в нем элементы группы В(F).представятся невырожденными верхними треугольными матрицами. Полученная матричная Ли р. Г. Обозначается через Т( п, К), где Алгебра Ли группы Gразрешима тогда и только тогда, когда разрешима связная компонента единицы (G)0 группы G. Алгебрами Ли групп В(F).и Т( п, К).являются соответственно t(F).и t (n, К).(см.

Ли разрешимая алгебра). В силу соответствия между подалгебрами в и связными подгруппами Ли в G на Ли р. Г. Переносятся все свойства разрешимой алгебры Ли (см. [1], [3]). Для Ли р. Г. Справедлив аналог теоремы Ли о разрешимых алгебрах Ли. Если - конечномерное комплексное представление Ли р. Г. G, то существует полный флаг F в F такой, что В частности, в Vсуществует общий собственный вектор для всех Ли р. Г. Были впервые рассмотрены С. Ли (S. Lie), предполагавшим, что непрерывные группы могут играть в теории интегрирования в квадратурах дифференциальных уравнений ту же роль, что группа Галуа в теории алгобраич. Уравнений. Однако, вообще говоря, группа автоморфизмов дифференциального уравнения тривиальна, и поэтому только для линейных и нек-рых других уравнений в этом направлении получены содержательные результаты.

Так, для этих уравнений выразимость решений через квадратуры и экспоненты от них фактически эквивалентна разрешимости соответствующей (матричной) группы Галуа [2]. Если же эта группа нильпотентна, то экспоненты от квадратур в решение не входят. В силу теоремы Леви - Мальцева о разложении в полупрямое произведение произвольной связной односвязной группы Ли Ли р. Г. Играют существенную роль при изучении произвольных групп Ли. В произвольной связной группе Ли G рассматриваются также максимальные разрешимые подгруппы. Если то они наз. Борелевскими и сопряжены в группе G. Напр., В(F) - борелевская подгруппа в GL(V). Односвязная Ли р. Г. Всегда имеет точное конечномерное представление, для неодносвязных это не всегда так.

В односвязной Ли р. Г. Произвольная связная подгруппа замкнута и односвязна [6]. Экспоненциальное отображение даже для одно-связной Ли р. Г. Не обязано быть ни инъективным, ни сюръективным. Ли р. Г., для к-рых ехр - диффеоморфизм, наз. Экспоненциальными (см. Ли экспоненциальная группа). Односвязная Ли р. Г. Диффеоморфна а произвольная связная Ли р. Г.- где Т т есть m-мерный тор. Связная линейная Ли р. Г. Над представляется в виде полупрямого произведения где К - компактная абелева подгруппа, a S - односвязный нормальный делитель. Алгебраическая связная разрешимая группа над любым полем характеристики О разлагается в полупрямое произведение нормального делителя, состоящего из унипотентных элементов, и абелевой подгруппы, состоящей из полупростых элементов [3].

Для связных Ли р. Г. Можно определить [4] аналог расщепления Мальцева. Если алгебра Ли связной группы Ли Gтреугольна (над ), то Gназ. Треугольной. Для треугольных групп Ли справедлив аналог Ли теоремы о разрешимых алгебрах. Максимальные связные треугольные подгруппы в произвольной связной группе Ли сопряжены [5]. Связная треугольная группа Ли изоморфна подгруппе в и является экспоненциальной группой, если она односвязна. Лит.:[1] Б у р б а к и Н. Группы и алгебры Ли. Алгебры Ли, свободные алгебры Ли и группы Ли, пер. С франц., М., 1976. [2] К а п л а н с к и й И., Введение в дифференциальную алгебру, пер. С англ., М., 1959. [3] Шевалле К., Теория групп Ли, пер. С франц., т. 3, М., 1958. [4] Auslander L., "Bull. Amer. Math. Soc.", 1973, v.

79, p. 227-61. [5] В и н б е р г Э. В., "Докл. АН СССР", 1961, т. 141, с. 270 - 73. [6] Мальцев А. И., Избр. Труды, т. 1, М., 1976, с. 177-200. В. В. Горбацевич. .