Example 1
Tag 09TQ, permanent. Cite it as [Bourbaki, Tag 09TQ].
Lie Groups and Lie Algebras, chapter I, § 1. Definition of Lie algebras
Let L be an associative algebra and g the Lie algebra defined by it (no. 2, Example 1). Two elements x, y are permutable in g if and only if xy = yx in L.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.