Corollary
Tag 0AU1, permanent. Cite it as [Bourbaki, Tag 0AU1].
Lie Groups and Lie Algebras, chapter V, Appendix 0. Complements on linear representations
Let G be a finite group of order q, and K a commutative field whose characteristic does not divide q. Then the group algebra of G over K is semi-simple.
Indeed, by Prop. 2, every module over this algebra is semi-simple.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.