Дискретная подгруппа
Дискре́тная подгру́ппа, подгруппа группы Ли (или, более общо, топологической группы), являющаяся дискретным подмножеством. Дискретность означает, что в каждом ограниченном подмножестве группы содержится лишь конечное число элементов подгруппы . Примерами дискретных подгрупп являются подгруппа целочисленных векторов -мерного пространства и подгруппа целочисленных матриц в группе вещественных матриц порядка с определителем .
До середины 20 в. рассматривались отдельные классы дискретных подгрупп, обязанные своим происхождением арифметике, теории функций и кристаллографии. Исследование группы составило предмет т. н. теории приведений, разработанной российскими математиками А. Н. Коркиным и Е. И. Золотарёвым, а также Ш. Эрмитом, Г. Минковским и др. во 2-й половине 19 – начале 20 вв. Ряд дискретных подгрупп классических групп Ли исследовал в начале 1940-х гг. К. Зигель. В теории функций комплексного переменного решение дифференциальных уравнений с алгебраическими коэффициентами привело к рассмотрению некоторых специальных функций (названных впоследствии автоморфными), инвариантных относительно различных дискретных подгрупп группы . Обширный класс таких групп, в том числе группа , был в этой связи изучен Ф. Клейном. Почти одновременно, в 1881–1882 гг., А. Пуанкаре дал геометрическое описание всех таких групп.
В кристаллографии Е. С. Фёдоровым в конце 19 в. рассматривались группы симметрии кристаллических структур, являющиеся дискретными подгруппами группы движений трёхмерного евклидова пространства. Эти и подобные им группы движений -мерного евклидова пространства были изучены с алгебраической точки зрения немецким математиком Л. Бибербахом в 1911 г. Он, в частности, доказал, что всякая такая группа содержит группу, изоморфную и состоящую из параллельных переносов. Все эти исследования послужили исходным материалом для создания общей теории дискретных подгрупп групп Ли в 1950–1970-е гг. Большой вклад в исследование дискретных подгрупп внесли А. И. Мальцев, американский математик А. Борель, индийский математик Хариш-Чандра, американский математик российского происхождения Г. А. Маргулис. Исследование дискретных подгрупп в группе движений трёхмерного пространства Лобачевского приобрело особое значение благодаря обнаруженной около 1980 г. американским математиком У. Тёрстоном её связи с топологией трёхмерных многообразий.