最关键的一步来了。

肖宿动手，把su(3)的根系图重新画了一遍，这一次他没有把根矢量分开画，而是把它们全部放在了同一个复平面上，然后用外尔群的对称性把八个生成元分成了三组。

外尔群是根系的一个对称群，它描述了根系在反射变换下的不变性。

对于su(3)来说，外尔群是六阶的二面体群，它可以把八个生成元分成三个轨道，每个轨道内的生成元在曲率正则化的作用下彼此等价。

三组，不是八个。

这就意味着正则化的自由度从八个降到了三个。

而在商掉外尔群等价类之后，这三个自由度中还有一个是零模，对应的是那个根矢量和为零的约束。_c