Coxeter groups and automorphisms

Publication date 17 December 2014

Abstract: Let

(W, S)

be a Coxeter system and

G a m m a

be a group of automorphisms of

W

such that

g a m m a (S) = S

for all

g a m m a i n G a m m a

. Then it is known that the group of fixed points

W^{G} a m m a

is again a Coxeter group with a canonically defined set of generators. The usual proofs of this fact rely on the reflection representation of

W

. Here, we give a proof which only uses the combinatorics of reduced expressions in

W

. As a by-product, this shows that the length function on

W

restricts to a weight function on

W^{G} a m m a

.

This page was built for publication: Coxeter groups and automorphisms