数学中,一个拓扑群 的极大紧子群 是一个在子空间拓扑下是紧空间的子群,且是这些子群中的极大元。
一个一般李群不一定有极大紧子群,但半单李群却一定存在,而且他们在理论中有重要地位。极大紧子群一般不是惟一的,但在相差一个共轭的意义下是惟一的——他们是本质惟一的。
一个好例子是正交群 (2),是一般线性群 (2,R) 的极大紧子群。一个相关的例子是循环群 (2),是(2, R)的极大紧子群。显然 (2) 在 (2, R) 中紧但不是极大元。非惟一性可从任何一个内积有一个相应的正交群看出来,本质惟一性对应于内积的本质惟一性。
一个极大紧子群是紧子群种的极大群——极大(紧子群)——而不是一个极大子群如果它恰是紧群;后者也许可以称为紧(极大子群),但是任何时候都不是所想要意思(事实上极大正规子群一般都不是紧群)。
一个一般李群不一定有极大紧子群,但半单李群却一定存在。这是岩泽分解的一个推论,岩泽分解是一个更强的结论。
极大紧子群不是惟一的除非群 是一个紧群和可缩群的半直积。但极大紧子群差一个共轭是惟一的,也就是说任意两个极大紧子群 做共轭得到子群 是惟一的当且仅当 是正规的。由岩泽分解, 有一个截线(l),故群 分裂。
以正交群为例,任意内积定义一个(紧)正交群,以广义正交群的一个元素做共轭后对这个内积来说一般不再是正交的。
当 不是紧群时,极大紧子群在表示论中有着基础地位。这时极大紧子群 是一个紧子群(因为李群的任一闭子群都是李子群),从而可以化简理论。
同 和 的表示论相关的变换是从 到 的限制表示,以及从 到 的诱导表示,这些是很好理解的;它们的理论包含球函数。
半单李群的代数拓扑性质大多由极大紧子群 携带。确切地说,一个半单李群是极大紧子群 和一个可缩空间的乘积( 是 的一个形变收缩核, 同伦等价于 ,从而它们有同样的同伦群。事实上,嵌入映射 的岩泽分解 和可缩子群 相乘。