Lie group
与实李群相对应，复李群是在复流形上定义的（例如）。类似地，使用一种Q的度量完备化我们可以在 "p"-进数上定义"p"-进数李群，一种满足每个点都有一个"p"-进数邻域的拓扑群。