群中的极大元。一个一般李群不一定有极大紧子群，但半单李群却一定存在，而且他们在理论中有重要地位。极大紧子群一般不是惟一的，但在相差一个共轭的意义下是惟一的——他们是本质惟一的。
例子.一个好例子是正交群 "O"(2)，是一般线性群"GL"(2,R) 的极大紧子群。一个相关的例子是循环群 "SO"(2)，是"SL"(2, R)的极大紧子群。显然 "SO"(2) 在 "GL"(2, R) 中紧但不是极大元。非惟一性可从任何一个内积有一个相应的正交群看出来，本质惟一性对应于内积的本