Remark 2
Tag 00V4, permanent. Cite it as [Bourbaki, Tag 00V4].
Lie Groups and Lie Algebras, chapter VII, § 3. Conjugacy theorems
Let V be a finite dimensional vector space. For all (V), let be the automorphism of . Then
Aut.
Indeed, by (1), Aut is contained in (V)), and the opposite inclusion follows from Algebra, Chap. III, §8, no. 9, Prop. 17 and (1). An analogous argument shows that Aut is the set of restrictions of elements of to .
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
- Algebra, Chap. III, §8, no. 9, Prop. 17 not in this corpus