СВЯЗНАЯ КОМПОНЕНТА ЕДИНИЦЫ
- СВЯЗНАЯ КОМПОНЕНТА ЕДИНИЦЫ
г р у п п ы G - наибольшее связное подмножество G° топологической (или алгебраической) группы G, содержащее единицу этой группы. С. к. е. Go является замкнутой нормальной подгруппой в G; смежные классы по этой подгруппе совпадают со связными компонентами группы G. Факторгруппа G/G° вполне несвязна и хаусдорфова, причем G° - наименьшая из таких нормальных подгрупп 
, что G/Hвполне несвязна. Если Gлокально связна (напр., G - группа Ли), то Go открыта в G и G/G° дискретна.
В произвольной алгебраич. группе GС. к. е. G° также открыта и имеет конечный индекс, причем G°является минимальной замкнутой подгруппой конечного индекса в G. Связные компоненты алгебраич. группы Gсовпадают с неприводимыми компонентами. Для любого регулярного гомоморфизма 
алгебраич. групп справедливо равенство j(G°) = j(G)°. Если G определена над нек-рьш полем k, то и G° определена над k.
Если G - алгебраич. группа над полем 
, то ее С. к. <е. G° совпадает со С. к. е. группы G, рассматриваемой как комплексная группа Ли. Если G определена над 
, то группа 
вещественных точек в G° не обязательно связна в топологии группы 
, но число ее связных компонент конечно и имеет вид 2l, где 
. Напр., группа 
распадается на две компоненты, хотя 
связна. Псевдоортогональная унимодулярная группа SO (р, q), к-рая может рассматриваться как группа вещественных точек связной комплексной алгебраич. группы 
, связна при р=0 или q=0 и распадается на две компоненты при р, q> 0.
Лит.:[1] Б о р е л ь А.. Линейные алгебраические группы, пер. с англ., М., 1972; [2]П о н т р я г и н Л. С., Непрерывные группы, 3 изд., М., 1973; [3] Х е л г а с о н С., Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; [4] Ш а ф а р е в и ч И. Р., Основы алгебраической геометрии, М., 1972. А. Л. Онищик.
Математическая энциклопедия. — М.: Советская энциклопедия.
И. М. Виноградов.
1977—1985.
Полезное
Смотреть что такое "СВЯЗНАЯ КОМПОНЕНТА ЕДИНИЦЫ" в других словарях:
ТОПОЛОГИЧЕСКАЯ ГРУППА — множество G, на к ром заданы две структуры группы и топологич. пространства, согласованные условием непрерывности групповых операций. А именно, отображение прямого произведения в G должно быть непрерывным. Подгруппа Н Т. г. Gявляется Т. г. в… … Математическая энциклопедия
ДИСКРЕТНАЯ ПОДГРУППА — подгруппа Г топологич. группы G(в частности, подгруппа группы Ли), являющаяся дискретным подмножеством топологич. пространства G. В локально компактных топологич. группах (в частности, в группах Ли) выделяют решетки Д. п., для к рых… … Математическая энциклопедия
ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… … Математическая энциклопедия
ЛИ КОМПАКТНАЯ ГРУППА — компактная группа, являющаяся конечномерной вещественной группой Ли. Ли к. г. могут быть охарактеризованы как конечномерные локально связные компактные топологич. группы. Если G0 связная компонента единицы Ли к. г. С, то группа связных компонент… … Математическая энциклопедия
ЛИ НИЛЬПОТЕНТНАЯ ГРУППА — группа Ли, пильпотентная как абстрактная группа. Абелева группа Ли нильпотентна. Если флаг в конечномерном векторном пространстве Vнад полем К, то будет нильпотентной алгебраич. группой над А; в базисе, согласованном с флагом F, ее элементы… … Математическая энциклопедия
p-ДЕЛИМАЯ ГРУППА, — группа Барсотти Тейта, обобщение понятия коммутативной формальной группы. Гомоморфизм, индуцируемый умножением на простое число р, является эпиморфизмом, для р Д. г. Пусть S схема, р простое число; р делимой. группой высоты hназ. индуктивная… … Математическая энциклопедия
ОРТОГОНАЛЬНАЯ ГРУППА — группа всех линейных преобразований n мерного векторного пространства Vнад полем k, сохраняющих фиксированную невырожденную квадратичную форму Q на V(т. е. таких линейных преобразований j, что Q(jn(v))=Q(v) для любого ). О. г. принадлежит к числу … Математическая энциклопедия
ВЕЙЛЯ ГРУППА — 1) В. г. симметрий корневой системы. В зависимости от конкретной реализации корневой системы рассматривают п различные В. г.; так возникают В. г. полупростой расщепляемой алгебры Ли, В. г. симметрич. пространства, В. г. алгебраич. группы. Пусть… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ КРИВАЯ — алгебраическое многообразие размерности 1. А. к. является наиболее изученным объектом алгебраической геометрии. В дальнейшем под А. к. понимается, как правило, неприводимая А. к. над алгебраически замкнутым полем. Наиболее простым и интуитивно… … Математическая энциклопедия
АЛГЕБРАИЧЕСКОГО МНОГООБРАЗИЯ АВТОМОРФИЗМ — обратимый морфизм алгебраич. многообразия (или схемы) в себя. Группа всех А. м. а., обозначаемая обычно , важный инвариант многообразия . Изучение действий группы А. м. а. на объектах, функторпально связанных с , таких, как Пикаро. группа, Чжоу… … Математическая энциклопедия
