，你只需要查看一个单一的点就能确定这个群是否为离散的。特别是，拓扑群是离散的，当且仅当包含单位元的单元素集合是开集。离散群是和零维李群同样的东西(不可数离散群不是第二可数的，所以要求李群满足这个公理的作者不把这些群认做李群)。离散群的单位元单元就是平凡子群而单元的群同构于这个群自身。因为只有在有限集合上的豪斯多夫拓扑是离散拓扑，有限豪斯多夫拓扑群必然是离散群。可得出所有的豪斯多夫群的有限子群是离散群。"G" 的离散子群 "H" 是馀紧致(cocompact)的，如果有 "G" 的紧子集 "K"