Commensurators of parabolic subgroups of Coxeter groups

Publication date 19 February 1997

Abstract: Let

(W, S)

be a Coxeter system, and let

X

be a subset of

S

. The subgroup of

W

generated by

X

is denoted by

W_{X}

and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of

W_{X}

in

W

is the subgroup of

w

in

W

such that

w W_{X} w^{- 1} c a p W_{X}

has finite index in both

W_{X}

and

w W_{X} w^{- 1}

. The subgroup

W_{X}

can be decomposed in the form

W_{X} = W_{X^{0}} c d o t W_{X^{i} n f t y} s i m e q W_{X^{0}} i m e s W_{X^{i} n f t y}

where

W_{X^{0}}

is finite and all the irreducible components of

W_{X^{i} n f t y}

" > are infinite. Let

Y^{i} n f t y

be the set of

t

in

S

such that

m_{s, t} = 2

" > for all

s i n X^{i} n f t y

. We prove that the commensurator of

W_{X}

is

W_{Y^{i} n f t y} c d o t W_{X^{i} n f t y} s i m e q W_{Y^{i} n f t y} i m e s W_{X^{i} n f t y}

. In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and

W_{X}

is its own commensurator if and only if

X^{0} = Y^{i} n f t y

.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Commensurators of parabolic subgroups of Coxeter groups