考克斯特群
Formally, a Coxeter group can be defined as a group with the presentation