Abstract

Dans un groupe de Coxeter, tout sous-groupe engendré par des réflexions est aussi un groupe de Coxeter. Ce théorème a été démontré il y a un peu plus de trente ans indépendamment par V. V. Deodhar et par M. Dyer. Nous en donnons une autre démonstration, fondée sur la propriété suivante. Soit $W$ un groupe engendré par un ensemble $R$ d’éléments d’ordre 2. Alors, il existe une partie $S$ de $R$ telle que $(W,S)$ soit un système de Coxeter dont $R$ est l’ensemble des réflexions si et seulement s’il existe une opération de $W$ sur un ensemble non vide $E$ et une famille ${({\mathcal{𝒫}}_r)}_{r\in R}$ de partitions de $E$ remplissant certaines conditions simples de nature géométrique.

In a Coxeter group, any subgroup generated by reflections is also a Coxeter group. This theorem was proved a little more than thirty years ago independently by V. V. Deodhar and by M. Dyer. We give an alternative proof of this result that is based on the following property. Let $W$ be a group generated by a set $R$ of elements of order 2. Then, there exists a subset $S$ of $R$ such that $(W,S)$ is a Coxeter system for which $R$ is the set of reflections if and only if there exists an action of $W$ on a nonempty set $E$ and a family ${({\mathcal{𝒫}}_r)}_{r\in R}$ of partitions of $E$ satisfying some simple conditions of a geometrical nature.

Keywords

Mathematical Subject Classification

Milestones

Authors