里，我们使用 formula_1 冗余坐标而不是 formula_87 坐标来强调根系的对称（formula_1 坐标之和为零）。换句话说，我们是将这个 formula_87 维向量空间嵌入 formula_1-维中。则根由所有 formula_100置换formula_108。两段以前的构造解释了为什么。单根的一个选取为它的嘉当矩阵是它的外尔群或考克斯特群是对称群 formula_113，formula_114-单形的对称群。
广义特殊酉群.对一个域 "F"，"F"