Proposition 25

Tag 0AJH, permanent. Cite it as [Bourbaki, Tag 0AJH].

Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group

Suppose that $K = R$ or $C$ . Let $G_1, G_2$ be finite-dimensional connected Lie groups and $R_1$ and $R_2$ their radicals. The radical of $G_1 \times G_2$ is $R_1 \times R_2$ .

This follows from Chapter I, $§ 5$ , Proposition 4.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Proposition 4