李代數
formula_88 是李代數 formula_91 的根系。