外爾群

在數學裡，尤其是在李群的理論中，一根系的外爾群是指經由正交於根之超平面的鏡面而產生之根系的等距同構群之子群。例如，根系A₂包含中心為原點之正六邊形的角。根系的對稱之整個群因此是有12階的二面體群。外爾群產生於將六邊形平分成兩半的線之鏡射；其為6階的二面體群。

半單李群、半單李代數和半單線性代數群等之外爾群為群或代數之根系的外爾群。

除去由Φ的根所定義之超平面會將歐幾里得空間切成有限個開領域，此領域稱為外爾腔。這些領域可以被外爾群的群作用置換，且此一群作用為簡單傳遞的。特別地是，外爾腔的數量是和外爾群的階相同的。任一非零向量都可以以正交於v之超平面v^∧將歐幾里得空間分成兩個半空間－v⁺和v⁻。若v在某一外爾腔裡，則沒有根會在v^∧，所以每一個根都會在v⁺或v⁻裡，且若其一根α在一邊，則其另外一根−α會在另外一邊。因此，Φ⁺ := Φ∩v⁺包含著Φ正好一半的根。當然Φ⁺和v有關，但只要v待在同一個外爾腔裡，Φ⁺就不會改變。根據上述選擇的根系之基為在Φ⁺內的簡單根，即其不能被寫成於Φ⁺內另外兩個根之和的根。因此，外爾腔、Φ⁺和其基決定了另一個，且外爾群在每一狀況下都為簡單傳遞。下面的圖示描繪了根系A₂的六個外爾腔，一選定的v及其超平面v^∧(以虛線表示)及正根α、β和γ。此例中的基為{α,γ}。

外爾群為考克斯特群的一特例。這表示其有一特殊種類的展現，其中每一產生子x_i均為二階，且有異於x_i²的關係(x_ix_j)^m_ij。產生子是由簡單根所給出的鏡射，且m_ij依據根i和j之間的角度為90度、120度、135度或150度等不同(即根據其在鄧肯圖內為不相連、以單邊相連、以雙邊相連、以三邊相連)而分別為2、3、4及6。一外爾群元素的長度為可以以最少字展現其以標準產生子表示之元素的長度。

若G為一在代數閉體上的半單線代數群，且T為一極大環面，則T的正規化子N包含著T，為一有限指數之子群，且G的外爾群W會同構於N/T。若B為G的波萊爾子群且將T選定放在B內，即可得到布呂阿分解

$G=\bigcup _{w\in W}BwB$

其將旗流形G/B的分解映射至舒伯特細胞內。(詳見格拉斯曼空間)

定義與樣例

令$\Phi$為歐式空間$V$中的根系。對每個根$\alpha \in \Phi$，令$s_{\alpha }$表示關於垂直於$\alpha$的超平面的反射，它可以被顯式地寫成

$s_{\alpha }(v)=v-2{\frac {(\alpha ,v)}{(\alpha ,\alpha )}}\alpha$，其中$(\cdot ,\cdot )$為$V$上的內積。$\Phi$的外爾群$W$是正交群$O(V)$由所有$s_{\alpha }$生成的子群。由根系的定義，每個$s_{\alpha }$保持了$\Phi$，因此$W$為有限群。