离散群

离散群是一个具有拓扑群和离散拓扑的群。在实践中，离散群通常作为连续李群作用于几何空间上的离散子群出现。例如， 是一个离散群，被实现为作用于上半平面的特殊线性群 的子群，通过 莫比乌斯变换作用。

离散群也自然地作为离散结构（例如，图、平铺、格、多面体）、拓扑空间的基本群以及其他相关结构的对称性出现。