Bourbaki

Proposition 1

Tag 0AQ7, permanent. Cite it as [Bourbaki, Tag 0AQ7].

Lie Groups and Lie Algebras, chapter V, § 3. Groups of displacements generated by reflections

Let F be a facet and C a chamber such that F⊂C‾F \subset \overline{C}. Let w∈Ww \in W. The following conditions are equivalent: (i) w(F)w(F) meets F; (ii) w(F)=Fw(F) = F; (iii) w(F‾)=F‾w(\overline{F}) = \overline{F};

(iv) ww fixes at least one point of FF; (v) ww fixes every point of FF; (vi) ww fixes every point of F‾\overline{F}; (vii) ww belongs to the subgroup of WW generated by the reflections with respect to the walls of CC containing FF.

For every subset AA of EE, denote by W(A)W(A) the subgroup of WW consisting of the elements that fix every point of AA.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.