You are on page 1of 16
‘Val, XIEN@2 Die. (2004) Matematica: Materiticas, 8-68 Ensefianza Universitaria ©Bsewk Regional de Matemticas ‘Universidaet del Valle = Coleabia Sobre clases de grupos finitos solubles Jestis Alonso Cabrera Ismael Gutiérrez Garcia Recibido Agt, 24, 2001 Aceptado Nov. 24, 2004 Resumen En este trabajo se presentan algunos resultados bisious sobre la teoria de las clases de srupes finitos solubks. Esta parte del algebra dio origen y fundamen ma completa ‘eeneralizacim de ls teoremas de Sylow en el universo de les grupos finitos solubles. Palabras y frases clavest Grupos finitos solubles, clases de Schunck, formaciones local- mente definicis, §-proyectores Abstract ‘This paper presents some basic results of the theory of finite soluble groups classes. This part of algebra laid the foundation to a full generalization of Sylow's theorems in the “universe of finite soluble gxoups. ‘Keywords: Finite sobible groups, Sclamick classes, F-projectors. AMSC(2000): Primary: 20D10, Secondary: 20805 1 Introduccién Supondremas que todas los grupas que se consideran perteneoen a la clase de todos los grupos finitos solubles. Esta clase ser denotada con 6. Con. Ja letra F denotaremos el conjunto de todos Jos niimeros primos, con 7 un subconjunto de F y x’ =F \7. SiG es im grupo finito, escribiramos o(G) para denotar el conjunto de todos los divisores primes del arden |G| de G. EI resultado bisico mis importante en la teoria de grupos finitos es el teorema de Sylow (1872), En este se destacan tres aspects fundamentalas: La existencia (cada grupo finito G pose p-subgrupos de Sylow), la conjugacion (las p-suberupos de Sylow de G forman una clase de conjugacién de G), la dominacién (cada p-subgrupos de G esta contenido en un psubgrupo de Sylow de G). End contexto soluble Phillip Hall logr6 extender los resultados de Sylow yy aparece la nocion de 7-subgrupos en lugar de p-subgrupos. Otra extension kes resultados de Sylow fué presentada en 1961 por Roger Carter en su tesis doctoral, donde demostré que cada grupo finito soluble tiene subgrupos nilpotentes auto-normalizades y estos conforman una clase de conjugacion del grupo. E] descubrimiento de Carter desperté un considerable interés por el estu- dio de los grupos solubles finitos. La seiial mas importante en la basqueda de una generalizacién mas amplia y la fuente de inspiracién para multiples trabajos posteriores fte el seminal articulo de W. Gaschiitz“Zur Theorie der endlichen auflésbaren Gruppen" (1963). Gaschiit introdujo por primera vez BA Cabrera et ale Jos conceptos de formaciones saturadas y J proyectores y demastr que estos existen y forman uma clase de canjugacién en cada grupo finito soluble G, si y solo si Fes una clase de Schunk o una formaci6n saturada de grupos finitos solubles. En este articulo nos ocupamos de presentar una demostracién de este resultado, Para ello introducimos inicialmente las clases de Schunds y las Jas formaciones saturadas, En primer lugar presentamos definiciones bisicass como subgrupo conmntador, el subgrupo de Frattini de un grupo G y algunas de sus propiedades. Posteriormente introducimos las clases ccerradas donde Ces una fimci6n entre clases o mas especifico un operador clausura, 2. Preliminares ‘Supondremes que el lector est familiarizado con les conceptes de grupo co- Gente, isomorfismos de grupos, grupos simples, producto directo de grupos y lass teoremas de Sylow. Definicién 1. Sea G un grupo, A y B subgrupos de G. 1. Parag, h € G definimos [g,h] := gh gh y se Hama a [g,h] el cone mutaddor de g con h. 2. Bl subgrupo conmutador de A y B notado con [A,B] se define de la siguiente manera [A,B] = (abla € A,be B) 3. Sen Ky(G) := G y para i> 1 se define los subgrupos Kix.\(G) recursi- varente asi Kia(G) = [Ki(G).G]. La endena G = Ki(G) > K2(G) > +++ de subgrupos de G es Namada Ia serie central descendente de G. 4. Un grupo G se dice es nilpotente de dase ¢ > 0 si la serie central descendente de G satisface la condicion KAG) # (1) = Kox(G) SiG = (1), entonces se dice que G es nilpotente de clase cero. ‘Teorema 2. Sean G y H grupos finitos. 1. San U

You might also like