Coxeter groups and automorphisms
arXiv:1412.5428
Abstract
Let be a Coxeter system and be a group of automorphisms of such that for all . Then it is known that the group of fixed points is again a Coxeter group with a canonically defined set of generators. The usual proofs of this fact rely on the reflection representation of . Here, we give a proof which only uses the combinatorics of reduced expressions in . As a by-product, this shows that the length function on restricts to a weight function on .
4 pages