Proposition 24
Tag 0AJG, permanent. Cite it as [Bourbaki, Tag 0AJG].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Suppose that or . Let be two finite-dimensional connected Lie groups, and their radicals and a surjective morphism of into . Then .
By , no. 8, Proposition 28, is surjective. Hence (Chapter I, , Corollary 3 to Proposition 2). Let be the canonical injection of into . Then the image of is (, no. 2, Corollary 1 to Proposition 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.