Normalizers of parabolic subgroups in Coxeter groups (Q1298079): Difference between revisions

A simple procedure is described for obtaining presentations of normalizers of parabolic subgroups of arbitrary Coxeter groups. In each case the normalizer is the semidirect product of the parabolic subgroup by a complement which acts by permuting the simple reflections. This complement may be viewed in a natural way as a maximal subgroup of a certain groupoid, for which we obtain a set of generators and defining relations. Moreover, the defining relations are all derived from subgroupoids of ranks one and two, so that the groupoid can be viewed as a generalization of a Coxeter group.