Example
Tag 0146, permanent. Cite it as [Bourbaki, Tag 0146].
Lie Groups and Lie Algebras, chapter VIII, § 7. Finite dimensional modules over a split semi-simple Lie algebra
Take and dim F. The corresponding homomorphism from to is denoted by dim. Let be the class of a trivial -module of dimension 1, and let be the homomorphism from to . It is immediate that
dim Id,
so that is the direct sum of Ker dim and .
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.
Cites
Nothing.