Remark
Tag 00SY, permanent. Cite it as [Bourbaki, Tag 00SY].
Lie Groups and Lie Algebras, chapter VII, § 1. Primary decomposition of linear representations
Assume that is perfect and of characteristic 2. Let , and
let M be the -module (for the identity map of ). If is an
arbitrary element of , denote by the unique such that . A calculation shows immediately that ; on the other hand, and is neither linear nor zero on , even though is nilpotent.
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.