每个 嘉当矩阵 确定一个唯一的半单复李代数,通过 Chevalley-Serre 关系,有时简称为“Serre 关系”。也就是说,如果 是一个
嘉当矩阵,那么,直到同构,存在一个唯一的半单复李代数
(其 嘉当矩阵 等价于
),使得
由一组
个生成元
定义,受限于以下 Chevalley-Serre 关系
1.
2. 和
如果
3.
4.
5.
6. .
此外, 的秩为
并且
的生成一个嘉当子代数。证明请参见 Serre (1987)。