李群
一个一般李群不一定有极大紧子群，但半单李群却一定存在。这是岩泽分解的一个推论，岩泽分解是一个更强的结论。