极大紧李代数

maximal compact Lie algebra