Remark 2
Tag 01G4, permanent. Cite it as [Bourbaki, Tag 01G4].
Lie Groups and Lie Algebras, chapter IX, § 7. Irreducible representations of connected compact Lie groups
Let be the algebra of continuous representative functions on G with values in Algebra, Chap. VIII). Let G operate on by left and right translations. For each , let be an irreducible representation of G of highest weight (Th. 1), and the contragredient representation (Chap. III, §3, no. 11); by Spectral Theories, the representation of on is isomorphic to the direct sum of the representations for all in . Remark 1 now implies the following statement: Let , and let be the vector subspace of consisting of the continuous representative functions on G such that for all and all , and such that for all .
Then is stable under left translations, and the representation of G on by left translations is irreducible of highest weight .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.