Lemma 2
Tag 0180, permanent. Cite it as [Bourbaki, Tag 0180].
Lie Groups and Lie Algebras, chapter VIII, § 12. Chevalley orders
If x,y∈A and n∈N,
(adnx! )ny=∑(−1)qxpp! yxqq! = ∑(−1)qx(p)yx(q). (11)
p+q=np+q=n
Indeed, if we denote by Lx and Rx the maps z→xz and z→zx from A to A, we have, since Lx and Rx commute,
n1!(ad x)n=n1!(Lx−Rx)n=∑p+q=n(−1)qp1! Lxpq1! Rxq.
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
Cites
Nothing.