Coxeter group
所謂考克斯特群，是一個群 formula_1 寫成如下的表達式，即由滿足一些交互關係的生成元生成的群