Corollary
Tag 0ARR, permanent. Cite it as [Bourbaki, Tag 0ARR].
Lie Groups and Lie Algebras, chapter V, § 4. The geometric representation of a Coxeter group
Assume that is irreducible. Then: a) If is non-degenerate, the W-module is absolutely simple. b) If is degenerate, the W-module is not semi-simple.
In case a), Prop. 7 shows that is simple, hence also absolutely simple (, no. 1, Prop. 1).
In case b), , (since ), and Prop. 7 shows that has no complement stable under ; thus, the W-module is not semi-simple.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.