Weyl 群 (一般子群) [Weyl群(一般子群)]

定义

$G$ 的子群 $H\subset G$, 定义其 Weyl 群 $W_GH := N(H)/H$ 为正规化子的商.

关于紧 Lie 群 (代数群) 的 Weyl 群详见 Weyl 群 (极大环面).

性质

Weyl 子群是能够典范地作用于一个 $G$-作用的 $H$-不动点的最大群.

Weyl 群也是陪集空间 $G/H$ 在 $G$ 的轨道范畴中的自同构群.