groupe réductif

En mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments (en) de (en)) soit trivial. Tout (en) est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial. Il est nécessaire de faire intervenir la clôture algébrique dans cette définition, pour inclure le cas de corps de base non parfaits, comme des corps de fonctions locaux ou globaux sur des corps finis. Ce nom de réductif vient de la complète réductibilité des représentations d'un tel groupe, lorsque la caractéristique du corps est nulle. En caractéristique non nulle, le théorème de Haboush démontre une propriété un peu plus faible qu'avait conjecturée Mumford. Si G est un sous-groupe lisse fermé de GLn(k) qui agit de façon irréductible sur kn, alors G est réductif. En particulier, GLn et SLn sont réductifs (le second étant même semi-simple).