Remark 1
Tag 0AR0, permanent. Cite it as [Bourbaki, Tag 0AR0].
Lie Groups and Lie Algebras, chapter V, § 3. Groups of displacements generated by reflections
Assume that is essential, irreducible and infinite and retain the notation of Prop. 11. Since is an isomorphism from to , it follows that the Coxeter graph of the group of displacements (which is generated by the reflections for ) can be obtained from the Coxeter graph of by omitting the vertex corresponding to the unique wall of that is not a wall of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.