Связная компонента единицы
Свя́зная компоне́нта едини́цы группы , наибольшее связное подмножество топологической (или алгебраической) группы , содержащее единицу этой группы. Cвязная компонента единицы является замкнутой нормальной подгруппой в ; смежные классы по этой подгруппе совпадают со связными компонентами группы . Факторгруппа вполне несвязна и хаусдорфова, причём – наименьшая из таких нормальных подгрупп , что вполне несвязна. Если локально связна (например, – группа Ли), то открыта в и дискретна.
В произвольной алгебраической группе связная компонента единицы также открыта и имеет конечный индекс, причём является минимальной замкнутой подгруппой конечного индекса в . Связные компоненты алгебраической группы совпадают с неприводимыми компонентами. Для любого регулярного гомоморфизма алгебраических групп справедливо равенство . Если определена над некоторым полем , то и определена над .
Если – алгебраическая группа над полем , то её связная компонента единицы совпадает со связной компонентой единицы группы , рассматриваемой как комплексная группа Ли. Если определена над , то группа вещественных точек в не обязательно связна в топологии группы Ли , но число её связных компонент конечно и имеет вид , где . Например, группа распадается на две компоненты, хотя связна. Псевдоортогональная унимодулярная группа , которая может рассматриваться как группа вещественных точек связной комплексной алгебраической группы , связна при или и распадается на две компоненты при , .