

(One intermediate revision by the same user not shown) 
Line 1: 
Line 1: 
−  A [[Linear algebraic grouplinear algebraic group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804401.png" /> (over an algebraically closed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804402.png" />) that satisfies one of the following equivalent conditions: 1) the radical of the connected component <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804403.png" /> of the unit element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804404.png" /> is an [[Algebraic torusalgebraic torus]]; 2) the unipotent radical of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804405.png" /> is trivial; or 3) the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804406.png" /> is a product of closed normal subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804407.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804408.png" /> that are a [[Semisimple algebraic groupsemisimple algebraic group]] and an algebraic torus, respectively. In this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r0804409.png" /> is the commutator subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044011.png" /> coincides with the radical of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044012.png" /> as well as with the connected component of the unit element of its centre; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044013.png" /> is finite, and any semisimple or unipotent subgroup of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044014.png" /> is contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044015.png" />.
 +  {{MSC20G}} 
 +  {{TEXdone}} 
   
−  A linear algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044016.png" /> is called linearly reductive if either of the two following equivalent conditions is fulfilled: a) each rational linear representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044017.png" /> is completely reducible (cf. [[Reducible representationReducible representation]]); or b) for each rational linear representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044018.png" /> and any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044019.png" />invariant vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044020.png" /> there is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044021.png" />invariant linear function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044022.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044023.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044024.png" />. Any linearly reductive group is reductive. If the characteristic of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044025.png" /> is 0, the converse is true. This is not the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044026.png" />: A connected linearly reductive group is an algebraic torus. However, even in the general case, a reductive group can be described in terms of its representation theory. A linear algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044027.png" /> is called geometrically reductive (or semireductive) if for each rational linear representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044028.png" /> and any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044029.png" />invariant vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044030.png" /> there is a nonconstant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044031.png" />invariant polynomial function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044032.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044033.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044034.png" />. A linear algebraic group is reductive if and only if it is geometrically reductive (see [[Mumford hypothesisMumford hypothesis]]).  +  A ''reductive group'' is a 
 +  [[Linear algebraic grouplinear algebraic group]] $G$ (over an 
 +  algebraically closed field $K$) that satisfies one of the following 
 +  equivalent conditions: 
   
−  The generalized [[Hilbert theoremHilbert theorem]] on invariants is true for reductive groups. The converse is also true: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044035.png" /> is a linear algebraic group over an algebraically closed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044036.png" /> and if for any locally finitedimensional rational representation by automorphisms of a finitelygenerated associative commutative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044037.png" />algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044038.png" /> with identity the algebra of invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044039.png" /> is finitely generated, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044040.png" /> is reductive (see [[#References[4]]]).
 +  1) the [[Radical of a groupradical]] of the 
 +  [[Connected component of the identityconnected component]] $G^0$ of the unit element of $G$ is an 
 +  [[Algebraic torusalgebraic torus]]; 
   
−  Any finite linear group is reductive and if its order is not divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044041.png" />, then it is also linearly reductive. Connected reductive groups have a structure theory that is largely similar to the structure theory of reductive Lie algebras ([[Root systemroot system]]; [[Weyl groupWeyl group]], etc., see [[#References[2]]]). This theory extends to groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044042.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044043.png" /> is a connected reductive group defined over a subfield <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044044.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044045.png" /> is the group of its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044046.png" />rational points (see [[#References[3]]]). In this case the role of Borel subgroups (cf. [[Borel subgroupBorel subgroup]]), maximal tori (cf. [[Maximal torusMaximal torus]]) and Weyl groups is played by minimal parabolic subgroups (cf. [[Parabolic subgroupParabolic subgroup]]) defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044047.png" />, maximal tori split over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044048.png" />, and relative Weyl groups (see [[Weyl groupWeyl group]]), respectively. Any two minimal parabolic subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044049.png" /> that are defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044050.png" /> are conjugate by an element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044051.png" />; this is also true for any two maximal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044052.png" />split tori of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044053.png" />.
 +  2) the unipotent radical of the group $G^0$ is trivial; or 
   
−  If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044054.png" /> is a connected reductive group defined over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044055.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044056.png" /> is a split group over a separable extension of finite degree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044057.png" />; if, in addition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044058.png" /> is an infinite field, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044059.png" /> is dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044060.png" /> in the Zariski topology. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044061.png" /> is a reductive group and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044062.png" /> is a closed subgroup of it, then the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044063.png" /> is affine if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044064.png" /> is reductive. A linear algebraic group over a field of characteristic 0 is reductive if and only if its Lie algebra is a reductive Lie algebra (cf. [[Lie algebra, reductiveLie algebra, reductive]]). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044065.png" />, this is also equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080440/r08044066.png" /> being the complexification of a compact Lie group (see [[Complexification of a Lie groupComplexification of a Lie group]]).  +  3) the group $G^0$ is a product of closed normal subgroups $S$ and $T$ that are a 
 +  [[Semisimple algebraic groupsemisimple algebraic group]] and an 
 +  algebraic torus, respectively. 
 +  
 +  In this case $S$ is the commutator subgroup of $G^0$ and $T$ coincides with the radical of $G^0$ as well as with the connected component of the unit element of its centre; $S\cap T$ is finite, and any semisimple or unipotent subgroup of the group $G^0$ is contained in $S$. 
 +  
 +  A linear algebraic group $G$ is called linearly reductive if either of 
 +  the two following equivalent conditions is fulfilled: 
 +  
 +  a) each rational linear representation of $G$ is completely reducible (cf. 
 +  [[Reducible representationReducible representation]]); or 
 +  
 +  b) for each 
 +  rational linear representation $\rho: G\to \def\GL{ {\rm GL}}\GL(W)$ 
 +  and any $\rho(G)$invariant vector $w\in W\setminus\{0\}$ there is a 
 +  $\rho(G)$invariant linear function $f$ on $W$ such that $f(w)\ne 
 +  0$. 
 +  
 +  Any linearly reductive group is reductive. If the characteristic 
 +  of the field $K$ is 0, the converse is true. This is not the case when 
 +  $\def\char{ {\rm char}\;}\char K > 0$: A connected linearly reductive group is an algebraic torus. However, even in the general case, a reductive group can be described in terms of its representation theory. A linear algebraic group $G$ is called geometrically reductive (or semireductive) if for each rational linear representation $\rho: G\to \GL(W)$ and any $\rho(G)$invariant vector $w\in W\setminus\{0\}$ there is a nonconstant $\rho(G)$invariant polynomial function $f$ on $W$ such that $f(w)\ne 0$. A linear algebraic group is reductive if and only if it is geometrically reductive (see 
 +  [[Mumford hypothesisMumford hypothesis]]). 
 +  
 +  The generalized 
 +  [[Hilbert theoremHilbert theorem]] on invariants is true for reductive groups. The converse is also true: If $G$ is a linear algebraic group over an algebraically closed field $K$ and if for any locally finitedimensional rational representation by automorphisms of a finitelygenerated associative commutative $K$algebra $A$ with identity the algebra of invariants $A^G$ is finitely generated, then $G$ is reductive (see 
 +  {{CitePo}}). 
 +  
 +  Any finite linear group is reductive and if its order is not divisible by $\char K$, then it is also linearly reductive. Connected reductive groups have a structure theory that is largely similar to the structure theory of reductive Lie algebras ([[Root systemroot system]]; 
 +  [[Weyl groupWeyl group]], etc., see 
 +  {{CiteHu}}). This theory extends to groups $G_k$ where $G$ is a connected reductive group defined over a subfield $k\subset K$ and $G_k$ is the group of its $k$rational points (see 
 +  {{CiteBoTi}}). In this case the role of Borel subgroups (cf. 
 +  [[Borel subgroupBorel subgroup]]), maximal tori (cf. 
 +  [[Maximal torusMaximal torus]]) and Weyl groups is played by minimal parabolic subgroups (cf. 
 +  [[Parabolic subgroupParabolic subgroup]]) defined over $k$, maximal tori split over $k$, and relative Weyl groups (see 
 +  [[Weyl groupWeyl group]]), respectively. Any two minimal parabolic subgroups of $G$ that are defined over $k$ are conjugate by an element of $G_k$; this is also true for any two maximal $k$split tori of $G$. 
 +  
 +  If $G$ is a connected reductive group defined over a field $k$, then $G$ is a split group over a separable extension of finite degree of $k$; if, in addition, $k$ is an infinite field, then $G_k$ is dense in $G$ in the Zariski topology. If $G$ is a reductive group and $H$ is a closed subgroup of it, then the quotient space $G/H$ is affine if and only if $H$ is reductive. A linear algebraic group over a field of characteristic 0 is reductive if and only if its Lie algebra is a reductive Lie algebra (cf. 
 +  [[Lie algebra, reductiveLie algebra, reductive]]). If $K=\C$, this is also equivalent to $G$ being the complexification of a compact Lie group (see 
 +  [[Complexification of a Lie groupComplexification of a Lie group]]). 
   
 ====References====   ====References==== 
−  <table><TR><TD valign="top">[1]</TD> <TD valign="top"> T.A. Springer, "Invariant theory" , ''Lect. notes in math.'' , '''585''' , Springer (1977) {{MR0447428}} {{ZBL0346.20020}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> J.E. Humphreys, "Linear algebraic groups" , Springer (1975) {{MR0396773}} {{ZBL0325.20039}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A. Borel, J. Tits, "Groupes réductifs" ''Publ. Math. IHES'' , '''27''' (1965) pp. 55–150 {{MR0207712}} {{ZBL0145.17402}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> V.L. Popov, "Hilbert's theorem on invariants" ''Soviet Math. Dokl.'' , '''20''' : 6 (1979) pp. 1318–1322 ''Dokl. Akad. Nauk SSSR'' , '''249''' : 3 (1979) pp. 551–555</TD></TR></table>
 +  { 
 +   
 +  valign="top"{{RefBoTi}}valign="top" A. Borel, J. Tits, "Groupes réductifs" ''Publ. Math. IHES'', '''27''' (1965) pp. 55–150 {{MR0207712}} {{ZBL0145.17402}} 
 +   
 +  valign="top"{{RefHu}}valign="top" J.E. Humphreys, "Linear algebraic groups", Springer (1975) {{MR0396773}} {{ZBL0325.20039}} 
 +   
 +  valign="top"{{RefPo}}valign="top" V.L. Popov, "Hilbert's theorem on invariants" ''Soviet Math. Dokl.'', '''20''' : 6 (1979) pp. 1318–1322 ''Dokl. Akad. Nauk SSSR'', '''249''' : 3 (1979) pp. 551–555 {{MR}} {{ZBL}} 
 +   
 +  valign="top"{{RefSp}}valign="top" T.A. Springer, "Invariant theory", ''Lect. notes in math.'', '''585''', Springer (1977) {{MR0447428}} {{ZBL0346.20020}} 
 +   
 +  } 
Latest revision as of 13:15, 23 November 2013
2010 Mathematics Subject Classification: Primary: 20G [MSN][ZBL]
A reductive group is a
linear algebraic group $G$ (over an
algebraically closed field $K$) that satisfies one of the following
equivalent conditions:
1) the radical of the
connected component $G^0$ of the unit element of $G$ is an
algebraic torus;
2) the unipotent radical of the group $G^0$ is trivial; or
3) the group $G^0$ is a product of closed normal subgroups $S$ and $T$ that are a
semisimple algebraic group and an
algebraic torus, respectively.
In this case $S$ is the commutator subgroup of $G^0$ and $T$ coincides with the radical of $G^0$ as well as with the connected component of the unit element of its centre; $S\cap T$ is finite, and any semisimple or unipotent subgroup of the group $G^0$ is contained in $S$.
A linear algebraic group $G$ is called linearly reductive if either of
the two following equivalent conditions is fulfilled:
a) each rational linear representation of $G$ is completely reducible (cf.
Reducible representation); or
b) for each
rational linear representation $\rho: G\to \def\GL{ {\rm GL}}\GL(W)$
and any $\rho(G)$invariant vector $w\in W\setminus\{0\}$ there is a
$\rho(G)$invariant linear function $f$ on $W$ such that $f(w)\ne
0$.
Any linearly reductive group is reductive. If the characteristic
of the field $K$ is 0, the converse is true. This is not the case when
$\def\char{ {\rm char}\;}\char K > 0$: A connected linearly reductive group is an algebraic torus. However, even in the general case, a reductive group can be described in terms of its representation theory. A linear algebraic group $G$ is called geometrically reductive (or semireductive) if for each rational linear representation $\rho: G\to \GL(W)$ and any $\rho(G)$invariant vector $w\in W\setminus\{0\}$ there is a nonconstant $\rho(G)$invariant polynomial function $f$ on $W$ such that $f(w)\ne 0$. A linear algebraic group is reductive if and only if it is geometrically reductive (see
Mumford hypothesis).
The generalized
Hilbert theorem on invariants is true for reductive groups. The converse is also true: If $G$ is a linear algebraic group over an algebraically closed field $K$ and if for any locally finitedimensional rational representation by automorphisms of a finitelygenerated associative commutative $K$algebra $A$ with identity the algebra of invariants $A^G$ is finitely generated, then $G$ is reductive (see
[Po]).
Any finite linear group is reductive and if its order is not divisible by $\char K$, then it is also linearly reductive. Connected reductive groups have a structure theory that is largely similar to the structure theory of reductive Lie algebras (root system;
Weyl group, etc., see
[Hu]). This theory extends to groups $G_k$ where $G$ is a connected reductive group defined over a subfield $k\subset K$ and $G_k$ is the group of its $k$rational points (see
[BoTi]). In this case the role of Borel subgroups (cf.
Borel subgroup), maximal tori (cf.
Maximal torus) and Weyl groups is played by minimal parabolic subgroups (cf.
Parabolic subgroup) defined over $k$, maximal tori split over $k$, and relative Weyl groups (see
Weyl group), respectively. Any two minimal parabolic subgroups of $G$ that are defined over $k$ are conjugate by an element of $G_k$; this is also true for any two maximal $k$split tori of $G$.
If $G$ is a connected reductive group defined over a field $k$, then $G$ is a split group over a separable extension of finite degree of $k$; if, in addition, $k$ is an infinite field, then $G_k$ is dense in $G$ in the Zariski topology. If $G$ is a reductive group and $H$ is a closed subgroup of it, then the quotient space $G/H$ is affine if and only if $H$ is reductive. A linear algebraic group over a field of characteristic 0 is reductive if and only if its Lie algebra is a reductive Lie algebra (cf.
Lie algebra, reductive). If $K=\C$, this is also equivalent to $G$ being the complexification of a compact Lie group (see
Complexification of a Lie group).
References
[BoTi] 
A. Borel, J. Tits, "Groupes réductifs" Publ. Math. IHES, 27 (1965) pp. 55–150 MR0207712 Zbl 0145.17402

[Hu] 
J.E. Humphreys, "Linear algebraic groups", Springer (1975) MR0396773 Zbl 0325.20039

[Po] 
V.L. Popov, "Hilbert's theorem on invariants" Soviet Math. Dokl., 20 : 6 (1979) pp. 1318–1322 Dokl. Akad. Nauk SSSR, 249 : 3 (1979) pp. 551–555

[Sp] 
T.A. Springer, "Invariant theory", Lect. notes in math., 585, Springer (1977) MR0447428 Zbl 0346.20020

How to Cite This Entry:
Reductive group. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Reductive_group&oldid=21921
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics  ISBN 1402006098.
See original article