Lemma 6
Tag 0AG0, permanent. Cite it as [Bourbaki, Tag 0AG0].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
If , then , where the sum comprises terms.
We define elements of by writing, for all ,
Then and the are pairwise permutable. Let A be the total closed subalgebra of generated by the ; it is commutative (Spectral Theories, Chapter I, § 1, no. 4) and (Spectral Theories, Chapter I, § 3, Proposition 3 (ii)). Now, if is such that is invertible, clearly the are invertible and hence for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
- *Spectral Theories*, Chapter I, § 1, no. 4 not yet on this site: TS I
- *Spectral Theories*, Chapter I, § 3, Proposition 3 not yet on this site: TS I