Что такое дискретная группа Ли?

[muspellsson]

Всем доброго дня!

Открыл на днях книгу Болибруха "Фуксовы дифференциальные уравнения и голоморфные расслоения", она начинается с простых определений вроде группы Ли и расслоения, но одно место в самом начале меня смутило. В качестве примера группы Ли дается следующий объект:

Цитата:

3) группа $\mathbb{Z}_2 = \{+1, -1\}$ по умножению (пример дискретной группы Ли);

Подскажите, пожалуйста, что это означает? Я привык к тому, что группы Ли определяются на гладком многообразии, где оно тут? Что можно почитать по этому поводу?

[Xaositect]

Формально, конечное (или даже счетное) множество точек с дискретной топологией - это гладкое многообразие размерности 0. Гладкое многообразие может быть несвязным.