Proposition 1
Tag 00WJ, permanent. Cite it as [Bourbaki, Tag 00WJ].
Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras
Let be a decomposable Lie subalgebra of and the semi-simple and nilpotent components of .
(i) The semi-simple and nilpotent components of ad are ad and ad, respectively.
(ii) is regular in if and only if is.
(iii) If is a subalgebra of containing , every elementary automorphism of extends to an elementary automorphism of .
Put . By Chap. I, §5, no. 4, Lemma 2, the semi-simple and nilpotent components of ad are ad and ad; assertion (i) follows from this. We deduce that the characteristic polynomials of ad and ad are the same; hence (ii). If ad is nilpotent, ad ad, so ad extends ad, and is a nilpotent element of , hence (iii).
Let be a Lie subalgebra of . We know (Chap. I, §6, no. 5, Th. 4) that the following conditions are equivalent:
(i) the identity representation of is semi-simple;
(ii) is reductive and every element of the centre of is a semi-simple endomorphism.
These conditions are actually equivalent to the following:
(iii) is a reductive subalgebra in .
Indeed, (i) (iii) by Chap. I, §6, no. 5, Cor. 3 of Th. 4, and (iii) (i) by Chap. I, §6, no. 6, Cor. 1 of Prop. 7. We are going to show that if satisfies these conditions, is decomposable. More generally:
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. I, §5, no. 4, Lemma 2 not in this corpus
- Chap. I, §6, no. 6, Cor. 1 of Prop. 7 not in this corpus
- Chap. I, §6, no. 5, Th. 4 not in this corpus
- Chap. I, §6, no. 5, Cor. 3 of Th. 4 not in this corpus