Definition 1
Tag 00V0, permanent. Cite it as [Bourbaki, Tag 00V0].
Lie Groups and Lie Algebras, chapter VII, § 3. Conjugacy theorems
A finite product of automorphisms of of the form with ad nilpotent is called an elementary automorphism of . The group of elementary automorphisms of is denoted by Aut.
If Aut(). It follows that Aut is a normal subgroup of Aut(). If or , Aut is contained in the group Int() of inner automorphisms of (Chap. III, §6, no. 2, Def. 2).
\* In the general case, Aut is contained in the identity component of the algebraic group Aut().\*
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
- Chap. III, §6, no. 2, Def. 2 not in this corpus