Дискретная группа — топологическая группа, не содержащая предельных точек (то есть для любого элемента имеется окрестность, которая содержит только этот элемент).

Группа дискретна тогда и только тогда, когда её нейтральный элемент является изолированной точкой; эквивалентно —индуцированная топология в является дискретным пространством. Например, целые числа образуют дискретную подгруппу вещественных чисел (со стандартной метрической топологией), однако рациональные числа не образуют.

Любая группа может быть снабжена дискретной топологией, то есть образовать дискретную группу. Поскольку любое отображение из дискретного пространства непрерывно, топологические гомоморфизмы между дискретным группами являются в точности групповыми гоморфизмами без учёта топологии, следовательно, существует изоморфизм между категорией групп и категорией дискретных групп. Поэтому дискретные группы могут быть отождествлены с лежащими в их основе (нетопологическими) группами.

Имеется несколько случаев, когда топологическая группа или группа Ли может быть снабжена нетривиальной дискретной топологией, например, в теории компактификации Бора и в теории групп Ли.

Дискретная группа изометрий — группа таких изометрий, что для любой точки метрического пространства множество образов точки при изометриях является дискретным множеством. Дискретная группа симметрии — это группа симметрии, являющаяся дискретной группой изометрий.

Свойства Поскольку топологические группы однородны, нужно рассмотреть лишь отдельную точку, чтобы определить, является ли топологическая группа дискретной. В частности, топологическая группа дискретна тогда и только тогда, когда синглетон, содержащий тождественный элемент является открытым множеством.

Дискретная группа является тем же самым, что и группа Ли нулевой размерности (в несчётных дискретных группах не выполняется вторая аксиома счётности, так что авторы, требующие от группы Ли удовлетворения этих требований, не считают их группами Ли). дискретной группы — это просто тривиальная подгруппа, в то время как изоморфна самой группе.

Любая подгруппа дискретной группы дискретна. Поскольку на конечном множестве только хаусдорфова топология дискретна, конечная хаусдорфова топологическая группа должна быть дискретной. Отсюда следует, что любая конечная подгруппа хаусдорфовой группы дискретна. Любая дискретная подгруппа хаусдорфовой группы замкнута; любая дискретная подгруппа компактной хаусдорфовой группы конечна.

Дискретная группа тогда и только тогда, когда она конечна; при этом все дискретные группы . Дискретная подгруппа (не обязательно дискретной) группы компактна, если существует компактное подмножество группы , такое что .

Дискретные нормальные подгруппы играют важную роль в теории накрывающих групп и локально изоморфных групп. Дискретная нормальная подгруппа связной группы обязательно лежит в центре группы , а потому является абелевой.

Дискретные группы (то есть в них связны только синглетоны и пустое множество).

Любая факторгруппа дискретной группы дискретна. Произведение конечного числа дискретных групп является дискретной группой.

Примеры Группы бордюров и группы орнаментов являются дискретными подгруппами группы изометрий евклидовой плоскости. Группы орнаментов компактны, а вот группы бордюров — нет.

Кристаллографическая группа обычно означает компактную дискретную подгруппу изометрий некоторого евклидова пространства. Иногда, однако, кристаллографическая группа может быть компактной дискретной подгруппой нильпотентной или .

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

Фуксовы группы являются по определению дискретными подгруппами группы изометрии гиперболической плоскости. Фуксова группа, сохраняющая ориентацию и действующая на модели верхней полуплоскости гиперболической плоскости, является дискретной подгруппой группы Ли , группы сохраняющих ориентацию изометрий модели верхней полуплоскости гиперболической плоскости. Фуксова группа иногда считается специальным случаем клейновой группы при внедрении гиперболической плоскости изометрично в трёхмерное гиперболическое пространство и расширении действия группы с плоскости на всё пространство. Модулярная группа рассматривается как дискретная подгруппа группы . Модулярная группа является решёткой в , но не кокомпактна.

Клейновы группы по определению являются дискретными подгруппами группы изометрии гиперболического пространства размерности 3. Они включают . Клейнова группа, сохраняющая ориентацию и действующая в верхней половине модели гипероблического пространства размерности 3, является дискретной подгруппой гуппы Ли , группы сохраняющих ориентацию изометрий модели верхней полуплоскости гипероблического пространства размерности 3.

Решётка в группе Ли является дискретной подгруппой, такой что мера Хаара факторпространства конечна.

Примечания

Литература

Категория:Дискретные группы Категория:Геометрическая теория групп