En matemáticas, un grupo de Ree es un grupo de tipo Lie sobre un cuerpo finito construido por Ree (1960, 1961) a partir de un automorfismo excepcional de un diagrama de Dynkin que invierte la dirección de los enlaces múltiples, generalizando los grupos de Suzuki encontrados por Suzuki utilizando un método diferente. Fueron los últimos de las infinitas familias de grupos simples finitos en ser descubiertos.
A diferencia de los grupos de Steinberg , los grupos de Ree no están dados por los puntos de un grupo algebraico reductivo conexo definido sobre un cuerpo finito; en otras palabras, no existe ningún "grupo algebraico de Ree" relacionado con los grupos de Ree de la misma manera que (por ejemplo) los grupos unitarios están relacionados con los grupos de Steinberg. Sin embargo, existen algunos grupos algebraicos pseudo-reductivos exóticos sobre cuerpos no perfectos cuya construcción está relacionada con la construcción de los grupos de Ree, ya que utilizan los mismos automorfismos exóticos de los diagramas de Dynkin que cambian las longitudes de las raíces.
Tits (1960) definió grupos de Ree sobre campos infinitos de características 2 y 3. Tits (1989) y Hée (1990) introdujeron grupos de Ree de álgebras de Kac-Moody de dimensión infinita .
Si X es un diagrama de Dynkin , Chevalley construyó grupos algebraicos divididos correspondientes a X , en particular dando grupos X ( F ) con valores en un cuerpo F . Estos grupos tienen los siguientes automorfismos:
Los grupos de Steinberg y Chevalley pueden construirse como puntos fijos de un endomorfismo de X ( F ) para F la clausura algebraica de un cuerpo. Para los grupos de Chevalley, el automorfismo es el endomorfismo de Frobenius de F , mientras que para los grupos de Steinberg el automorfismo es el endomorfismo de Frobenius multiplicado por un automorfismo del diagrama de Dynkin.
Sobre cuerpos de característica 2 los grupos B 2 ( F ) y F 4 ( F ) y sobre cuerpos de característica 3 los grupos G 2 ( F ) tienen un endomorfismo cuyo cuadrado es el endomorfismo α φ asociado al endomorfismo de Frobenius φ del cuerpo F . Grosso modo, este endomorfismo α π proviene del automorfismo de orden 2 del diagrama de Dynkin donde se ignoran las longitudes de las raíces.
Supóngase que el cuerpo F tiene un endomorfismo σ cuyo cuadrado es el endomorfismo de Frobenius: σ 2 = φ . Entonces el grupo de Ree se define como el grupo de elementos g de X ( F ) tales que α π ( g ) = α σ ( g ) . Si el cuerpo F es perfecto entonces α π y α φ son automorfismos, y el grupo de Ree es el grupo de puntos fijos de la involución α φ /α π de X ( F ) .
En el caso en que F es un cuerpo finito de orden p k (con p = 2 o 3) hay un endomorfismo con el cuadrado de Frobenius exactamente cuando k = 2 n + 1 es impar, en cuyo caso es único. Por lo tanto, esto da los grupos de Ree finitos como subgrupos de B 2 (2 2 n +1 ), F 4 (2 2 n +1 ), y G 2 (3 2 n +1 ) fijados por una involución.
La relación entre los grupos de Chevalley, el grupo de Steinberg y los grupos de Ree es aproximadamente la siguiente. Dado un diagrama de Dynkin X , Chevalley construyó un esquema de grupo sobre los enteros Z cuyos valores sobre cuerpos finitos son los grupos de Chevalley. En general, se pueden tomar los puntos fijos de un endomorfismo α de X ( F ) donde F es la clausura algebraica de un cuerpo finito, de modo que alguna potencia de α es alguna potencia del endomorfismo de Frobenius φ. Los tres casos son los siguientes:
Los grupos de Ree de tipo 2 B 2 fueron descubiertos por primera vez por Suzuki (1960) utilizando un método diferente, y se denominan habitualmente grupos de Suzuki . Ree se dio cuenta de que podían construirse a partir de los grupos de tipo B 2 utilizando una variación de la construcción de Steinberg (1959). Ree se dio cuenta de que una construcción similar podía aplicarse a los diagramas de Dynkin F 4 y G 2 , dando lugar a dos nuevas familias de grupos finitos simples.
Los grupos de Ree de tipo 2 G 2 (3 2 n +1 ) fueron introducidos por Ree (1960), quien demostró que todos son simples excepto el primero 2 G 2 (3), que es isomorfo al grupo de automorfismos de SL 2 (8) . Wilson (2010) dio una construcción simplificada de los grupos de Ree, como los automorfismos de un espacio vectorial de 7 dimensiones sobre el cuerpo con 3 2 n +1 elementos que conservan una forma bilineal, una forma trilineal y un producto que satisface una ley de linealidad torcida.
El grupo de Ree tiene orden q 3 ( q 3 + 1) ( q − 1) donde q = 3 2 n +1
El multiplicador de Schur es trivial para n ≥ 1 y para 2 G 2 (3)′.
El grupo de automorfismo externo es cíclico de orden 2 n + 1.
El grupo Ree también se denota ocasionalmente por Ree( q ), R( q ) o E 2 * ( q )
El grupo de Ree 2 G 2 ( q ) tiene una representación de permutación doblemente transitiva en q 3 + 1 puntos, y más precisamente actúa como automorfismos de un sistema de Steiner S(2, q +1, q 3 +1) . También actúa en un espacio vectorial de 7 dimensiones sobre el cuerpo con q elementos, ya que es un subgrupo de G 2 ( q ).
Los subgrupos 2-Sylow de los grupos de Ree son abelianos elementales de orden 8. El teorema de Walters muestra que los únicos otros grupos simples finitos no abelianos con 2-subgrupos abelianos de Sylow son los grupos lineales especiales proyectivos en dimensión 2 y el grupo de Janko J1 . Estos grupos también desempeñaron un papel en el descubrimiento del primer grupo esporádico moderno. Tienen centralizadores de involución de la forma Z /2 Z × PSL 2 ( q ) , y al investigar grupos con un centralizador de involución de la forma similar Z /2 Z × PSL 2 (5) Janko encontró el grupo esporádico J 1. Kleidman (1988) determinó sus subgrupos máximos.
Los grupos de Ree de tipo 2 G 2 son excepcionalmente difíciles de caracterizar. Thompson (1967, 1972, 1977) estudió este problema y pudo demostrar que la estructura de un grupo de este tipo está determinada por un cierto automorfismo σ de un cuerpo finito de característica 3, y que si el cuadrado de este automorfismo es el automorfismo de Frobenius, entonces el grupo es el grupo de Ree. También dio algunas condiciones complicadas satisfechas por el automorfismo σ . Finalmente, Bombieri (1980) utilizó la teoría de eliminación para demostrar que las condiciones de Thompson implicaban que σ 2 = 3 en todos los casos, excepto 178 pequeños, que fueron eliminados utilizando una computadora por Odlyzko y Hunt. Bombieri se enteró de este problema después de leer un artículo sobre la clasificación de Gorenstein (1979), quien sugirió que alguien ajeno a la teoría de grupos podría ayudar a resolverlo. Enguehard (1986) dio una explicación unificada de la solución de este problema por Thompson y Bombieri.
Los grupos de Ree de tipo 2 F 4 (2 2 n +1 ) fueron introducidos por Ree (1961). Son simples excepto el primero 2 F 4 (2) , que Tits (1964) demostró que tiene un subgrupo simple de índice 2, ahora conocido como el grupo de Tits . Wilson (2010b) dio una construcción simplificada de los grupos de Ree como las simetrías de un espacio de 26 dimensiones sobre el cuerpo de orden 2 2 n +1 conservando una forma cuadrática, una forma cúbica y una multiplicación parcial.
El grupo de Ree 2 F 4 (2 2 n +1 ) tiene orden q 12 ( q 6 + 1) ( q 4 − 1) ( q 3 + 1) ( q − 1) donde q = 2 2 n +1 . El multiplicador de Schur es trivial. El grupo de automorfismos externos es cíclico de orden 2 n + 1.
Estos grupos de Ree tienen la propiedad inusual de que el grupo de Coxeter de su par BN no es cristalográfico: es el grupo diedro de orden 16. Tits (1983) demostró que todos los octágonos de Moufang provienen de grupos de Ree de tipo 2 F 4 .
