Radical of an algebraic group

From Groupprops
Revision as of 01:04, 1 January 2012 by Vipul (talk | contribs) (Created page with "==Definition== The '''radical''' of an algebraic group is defined in the following equivalent ways: # It is the connected component of identity of the largest possib...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

The radical of an algebraic group is defined in the following equivalent ways:

  1. It is the connected component of identity of the largest possible closed solvable normal subgroup of the algebraic group.
  2. 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.