Corollary
Tag 0AQO, permanent. Cite it as [Bourbaki, Tag 0AQO].
Lie Groups and Lie Algebras, chapter V, § 3. Groups of displacements generated by reflections
Assume that . Then W is irreducible if and only if it is essential and its Coxeter graph is connected.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.