更新时间：2023-12-23 16:33
离散群是配备了离散拓扑的群G。带有这种拓扑G成为了拓扑群。拓扑群G的离散子群是其相对拓扑为离散拓扑的子群H。例如，整数集 Z形成了实数集 R的离散子群，但是有理数集 Q不行。
任何群都可以给予离散拓扑。因为出自离散空间的所有映射都是连续的，离散群的拓扑同态完全就是底层群的群同态。因此，在群范畴和离散群范畴之间有一个同构，离散群因此同一于它们的底层(非拓扑)群。由于这个想法，术语离散群论被用来称呼对没有拓扑结构的群的研究，用来对比于拓扑群论或李群论。它在逻辑上和技术上被分为有限群论和无限群论。
在有些场合拓扑群或李群反自然的配备上离散拓扑是有用的。这可以在玻尔紧致化理论和在李群的群上同调理论中找到实例。
离散群是和零维李群同样的东西(不可数离散群不是第二可数的，所以要求李群满足这个公理的作者不把这些群认做李群)。离散群的单位元单元就是平凡子群而单元的群同构于这个群自身。
因为只有在有限集合上的豪斯多夫拓扑是离散拓扑，有限豪斯多夫拓扑群必然是离散群。可得出所有的豪斯多夫群的有限子群是离散群。
G的离散子群 H是紧致(cocompact)的，如果有 G的紧子集K使得 HK= G。
离散正规子群在覆盖群和局部同构群的理论中扮演重要角色。连通群 G的离散正规子群必然位于 G的中心并因此是阿贝尔群。
其他性质：
卷结群和壁纸群是欧几里德平面的等距同构群的离散子群。壁纸群是馀紧致的，但卷结群不是。
结晶群通常意味着紧致的、某个欧几里德空间的等距同构的离散子群。但是有时结晶群可以是幂零或可解李群的馀紧致离散子群。
所有三角群T是球面(在 T是有限的时候)、欧几里德平面(在 T有有限指标的 Z + Z子群的时候)或双曲面的等距同构群的离散子群。
富克斯群通过定义是双曲面的等距同构群的离散子群。 保持定向并作用在双曲面的上半面上的 Fuchsian 群李群 PSL(2,R) 的离散子群，它是双曲面的上半面模型的定向保持等距同构的群。富克斯群有时被认为是克莱因群的特殊情况，通过把双曲面等距的嵌入到三维双曲空间中并扩张在这个面上的群作用到整个空间。
模群是 PSL(2,Z)，被认为 PSL(2,R) 的离散子群。模群是在 PSL(2,R) 中的格，但它不是紧致的。
克莱因群通过定义是双曲3-空间的等距同构群的离散子群。这包括准-富克斯群。 定向保持和作用在双曲 3-空间的上半面模型上的克莱因群是李群 PSL(2,C) 的离散子群，它是双曲 3-空间的上半面模型的定向保持等距同构的群。