约定. 在本文中,
Cartan 子代数是 Lie 代数的一类特殊的子代数, 在半单 Lie 代数的根空间分解中发挥着根本性的作用.
定义 1.1 (Cartan 子代数). 设 g 为 Lie 代数. 若 h 为 g 的幂零 Lie 子代数, 并且等于其正规化子{x∈g:[x,h]⊆h},则定义称 h 为 g 的 Cartan 子代数.