Bourbaki

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 WW is essential, irreducible and infinite and retain the notation of Prop. 11. Since UU is an isomorphism from WaW_a to U(W)U(W), it follows that the Coxeter graph of the group of displacements U(W)U(W) (which is generated by the reflections U(sH)U(s_H) for H∈HH \in \mathfrak{H}) can be obtained from the Coxeter graph of WW by omitting the vertex ii corresponding to the unique wall of CC that is not a wall of C′C'.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.