極大緊子群

數學中 ， 一個拓撲群 G 的極大緊子群 K 是一個在子空間拓撲下是緊空間的子群 ， 且是這些子群中的極大元 。 一個一般李群不一定有極大緊子群 ， 但半單李群卻一定存在 ， 而且他們在理論中有重要地位 。 極大緊子群一般不是惟一的 ， 但在相差一個共軛的意義下是惟一的 — — 他們是本質惟一的 。