Definition 1

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

Let $G$ be a finite-dimensional real or complex Lie group. The radical of $G$ is the largest connected solvable normal subgroup of $G$ .

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

Cited by

Nothing.

Nothing.