外爾群

在數學裏 ， 尤其是在李群的理論中 ， 一根系的外爾群是指經由正交於根之超平面的鏡面而產生之根系的等距同構群之子群 。 例如 ， 根系A2包含中心爲原點之正六邊形的角 。 根系的對稱之整個群因此是有12階的二面體群 。 外爾群產生於將六邊形平分成兩半的線之鏡射 ； 其爲6階的二面體群 。 半單李群 、 半單李代數和半單線性代數群等之外爾群爲群或代數之根系的外爾群 。 除去由Φ的根所定義之超平面會將歐幾里得空間切成有限個開領域 ， 此領域稱爲外爾腔 。 這些領域可以被外爾群的群作用置換 ， 且此一群作用爲簡單傳遞的 。 特別地是 ， 外爾腔的數量是和外爾群的階相同的 。 任一非零向量都可以以正交於v之超平面v ∧ 將歐幾里得空間分成兩個半空間 － v + 和v − 。 若v在某一外爾腔裏 ， 則沒有根會在v ∧ ， 所以每一個根都會在v + 或v − 裏 ， 且若其一根α在一邊 ， 則其另外一根 − α會在另外一邊 。 因此 ， Φ +: = Φ ∩ v + 包含著Φ正好一半的根 。 當然Φ + 和v有關 ， 但只要v待在同一個外爾腔裏 ， Φ + 就不會改變 。 根據上述選擇的根系之基爲在Φ + 內的簡單根 ， 即其不能被寫成於Φ + 內另外兩個根之和的根 。 因此 ， 外爾腔 、 Φ + 和其基決定了另一個 ， 且外爾群在每一狀況下都爲簡單傳遞 。 下面的圖示描繪了根系A2的六個外爾腔 ， 一選定的v及其超平面v ∧ 及正根α 、 β和γ 。 此例中的基爲 { α, γ } 。 外爾群爲考克斯特群的一特例 。 這表示其有一特殊種類的展現 ， 其中每一產生子xi均爲二階 ， 且有異於xi2的關係 ( xixj ) mij 。 產生子是由簡單根所給出的鏡射 ， 且mij依據根i和j之間的角度爲90度 、 120度 、 135度或150度等不同 而分別爲2 、 3 、 4及6 。 一外爾群元素的長度爲可以以最少字展現其以標準產生子表示之元素的長度 。 若G爲一在代數閉體上的半單線代數群 ， 且T爲一極大環面 ， 則T的正規化子N包含著T ， 爲一有限指數之子群 ， 且G的外爾群W會同構於N / T 。 若B爲G的波萊爾子群且將T選定放在B內 ， 即可得到布呂阿分解 其將旗流形G / B的分解映射至舒伯特細胞內 。 U U U