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 . Let . The following conditions are equivalent: (i) meets F; (ii) ; (iii) ;
(iv) fixes at least one point of ; (v) fixes every point of ; (vi) fixes every point of ; (vii) belongs to the subgroup of generated by the reflections with respect to the walls of containing .
For every subset of , denote by the subgroup of consisting of the elements that fix every point of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.