6533b7cffe1ef96bd1258199

RESEARCH PRODUCT

Correspondencias de carácteres de grupos finitos

subject

description

Uno de los problemas fundamentales de la Teoría de Caracteres es la Conjetura de McKay. La Conjetura de McKay afirma que si G un grupo finito, p un primo, y P un p-subgrupo de Sylow de G, entonces existe una biyección entre el conjunto $Irr_{p'}(G)$ de los caracteres complejos irreducibles de G de grado no divisible por p y el conjunto $Irr_{p'}(N)$, donde N es el normalizador de P en G. En general, no se conocen correspondencias canónicas entre estos dos conjuntos, incluso cuando G es resoluble. Sin embargo, bajo ciertas condiciones, sí se han encontrado correspondencias canónicas. En concreto, se han encontrado correspondencias canónicas entre estos dos conjuntos bajo las siguientes hipótesis: (1) G es resoluble y |G:N| es impar (M. Isaacs, 1973). (2) G es p-resoluble y N=P (G. Navarro, 2003). (3) G es resoluble y |N| es impar (A. Turull, 2008). Nuestros dos principales teoremas de la tesis son extender los casos (2) y (3) bajo hipótesis más generales; en concreto, cuando G es p-resoluble (sin exigir que N sea igual a P), y cuando G resoluble (sin exigir ninguna condición adicional sobre |G:N| o |N|). Sea $\Phi_{1_{G^0}}$ el carácter proyectivo indescomponible principal de G (respecto del primo p). Denotamos por $Irr_{p'}(\Phi_{1_{G^0}})$ al conjunto de constituyentes irreducibles del carácter proyectivo indescomponible principal de G de grado no divisible por p. Demostramos que el siguiente teorema es cierto. TEOREMA A Sea G un grupo finito p-resoluble, P un p-subgrupo de Sylow de G, y N el normalizador de P en G. Entonces, existe una biyección canónica $\Gamma$ de $Irr_{p'}(\Phi_{1_{G^0}})$ a $Irr_{p'}(\Phi_{1_{N^0}})$, tal que si $\chi$ es un carácter en $Irr_{p'}(\Phi_{1_{G^0}})$, entonces $\Gamma(\chi)$ es el único constituyente irreducible de la restricción de $\chi$ a N que tiene grado no divisible por p Esta nueva biyección $\Gamma$ coincide exactamente con la biyección de Navarro cuando N=P, y cumple una serie de propiedades. Consideramos ahora el conjunto $IBr_{2'}(G)$ de caracteres de p-Brauer irreducibles de G de grado impar. Demostramos el siguiente resultado: TEOREMA D Sea G un grupo finito resoluble, P un p-subgrupo de Sylow de G, y N el normalizador de P en G. Entonces existe una biyección canónica entre $IBr_{2'}(G)$ y $IBr_{2'}(N)$. Esta biyección también cumple una serie de propiedades (que no enunciaremos aquí).