grupo reductivo

En matemáticas, un grupo reductivo es un G definido sobre un cuerpo algebraicamente cerrado tal que el de G es trivial (es decir, el grupo de elementos unipotentes del de G). Todo grupo algebraico semisimple es reductivo, como lo son todo toro algebriaco y todo grupo general lineal. Más en general, sobre cuerpos que no son necesariamente algebraicamente cerrados, un grupo reductivo es un grupo algebraico afín suave tal que el radical unipotente de G sobre la clausura algebraica es trivial. La intervención de una clausura algebraica en esta definición es necesaria para incluir el caso de campos de base imperfecta, como los cuerpos de funciones locales y globales sobre cuerpos finitos. Los grupos algebraicos sobre cuerpos (posiblemente imperfectos) k tales que el radical k-unipotente es trivial se llaman . El término "reductivo" proviene de la "reducibilidad completa" de las representación lineal de un grupo e este tipo, que es una propiedad que de hecho se da para representaciones del grupo algebraico sobre cuerpos de característica cero. Esto sólo se aplica a las representaciones del grupo algebraico: las representaciones de dimensión finita del grupo discreto subyacente no necesitan ser completamente reducibles incluso cuando son de característica cero. El muestra que una propiedad más débil llamada reducibilidad geométrica se cumple para grupos reductivos en el caso de característica mayor que cero.