Radical of an algebraic group
The radical of an algebraic group is defined in the following equivalent ways:
- It is the connected component of identity of the largest possible closed solvable normal subgroup of the algebraic group.
- It is the largest possible connected closed solvable normal subgroup.
Note that the radical differs from a Borel subgroup in that a Borel subgroup is a maximal element among all closed connected solvable (not necessarily normal) subgroups, and it is not necessarily unique (however, it is unique up to conjugacy in an algebraically closed field). The radical of an algebraic group is contained in every Borel subgroup, but the Borel subgroups may be strictly bigger.