Proposition 22
Tag 0AJB, permanent. Cite it as [Bourbaki, Tag 0AJB].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Suppose that or . Let be a finite-dimensional vector space and a connected solvable subgroup of . Suppose that the identity representation of is simple. (i) If , then and is commutative. (ii) If , then . (i) Suppose that . Then the closure of in is a solvable connected Lie subgroup of (no. 1, Corollary 2 to Proposition 1). Hence is solvable (Proposition 19). The identity representation of is simple (§ 6, no. 5, Corollary 2 to Proposition 13). Hence and is commutative (Chapter I, § 5, Corollaries 1 and 4 to Theorem 1). Hence is commutative. (ii) Suppose that . Let be a minimal element among the non-zero real vector subspaces of which are stable under . The complex vector subspace of generated by is equal to since the identity representation of is simple. By (i), is commutative. Hence is commutative. Therefore every element of is a homothety (Algebra, Chapter VIII, § 4, Corollary 1 to Proposition 2), so that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.