Бореля подгруппа

борелевская подгруппа,- максимальная связная разрешимая ал-гебраич. подгруппа линейной алгебраической группы G. Напр., подгруппа всех невырожденных верхних треугольных матриц является Б. п. в полной линейной группе GL(n). Систематич. исследование максимальных связных разрешимых подгрупп алгебраич. групп впервые проведено А. Борелем [1]. Б. п. может быть эквивалентным образом определена как минимальный элемент множества параболических подгрупп, т. е. таких алгебраич. подгрупп H группы G, для к-рых фактормногообразие G/H проективно. Все Б. п. группы Gсопряжены, причем, если Б. п. B1, В2. и группа G определены над полем k, то B1. и В2 сопряжены посредством элемента из Gk. Пересечение любых двух Б. п. группы G содержит максимальный тор группы G; если это пересечение есть в точности максимальный тор, то такие Б. п. наз. противоположными. Противоположные Б. п. существуют в G тогда и только тогда, когда G редуктивная группа. Если G связна, то объединение всех ее Б. п. совпадает с ней самой и всякая параболич. подгруппа совпадает со своим нормализатором в G. В этом случае Б. п. является максимальной среди всех (а не только алгебраических и связных) разрешимых подгрупп группы G. Однако, вообще говоря, могут существовать максимальные разрешимые подгруппы в G, не являющиеся Б. п. Коммутант Б. п. Всовпадает с ее унипотентной частью В и, а нормализатор В и в G совпадает с В. Если характеристика основного поля равна 0, а [img: http://localhost:8080/file/010217-171.jpg] есть алгебра Ли группы G, то подалгебра [img: http://localhost:8080/file/010217-172.jpg] алгебры [img: http://localhost:8080/file/010217-173.jpg], являющаяся алгеброй Ли Б. п. Вгруппы. G часто наз. Бореля подалгеброй (или боpелевской подалгеброй) в [img: http://localhost:8080/file/010217-174.jpg]. Подалгебры Бореля в алгебре [img: http://localhost:8080/file/010217-175.jpg] - это в точности ее мак-сималйные разрешимые подалгебры. Для k-определен-ной алгебраич. группы G над произвольным полем kобобщением Б: п. над k являются минимальные параболич. k-определенные подгруппы, к-рые сопряжены посредством элементов из [img: http://localhost:8080/file/010217-176.jpg] (см. [2]).