Lie Groups Beyond an Introduction
《Lie Groups Beyond an Introduction》 · 第 248 页 · Chapter IV，Section 4「Compact Lie Algebras」，开头定义
Let $\mathfrak g$ be a real Lie algebra. We say that $\mathfrak g$ is a compact Lie algebra if the group $\operatorname{Int}\mathfrak g$ is compact.