Archivo de la etiqueta: isomorfía

Álgebra Moderna I: Grupos simples y series de grupos

Por Cecilia del Carmen Villatoro Ramos

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Como hemos visto en las entradas anteriores, muchas pruebas de grupos se realizan por inducción sobre |G| usando información de un subgrupo normal N y el cociente G/N.

Pero para poder usar G/N se requiere que exista un subgrupo normal N de G con 1|N||G|. Y en ocasiones no existe un N normal que no sea el mismo G o {eG}, entonces conviene estudiar a los grupos G no triviales tales que tienen sólo dos subgrupos normales.

Por otro lado, ¿es posible tener una serie de grupos normales contenidos entre sí? A esta situación lo conocemos como una serie de composición.

Esta entrada está dedicada a los conceptos de Grupos simples y Series de composición de grupos, será útil para que, más adelante, entendamos el Teorema de Jordan Hölder.

Qué simples son los grupos simples

Definición. Sea G un grupo con G{e}. Decimos que G es simple si sus únicos subgrupos normales son G y {e}.

Ejemplo.
Sea pZ+ un número primo, G un grupo con |G|=p. Entonces G es un grupo simple ya que si NG se tiene que |N|||G|=p y así |N|=1 ó |N|=p, esto implica que N={e} ó N=G.

Observación. Todo grupo finito simple abeliano es isomorfo a Zp.

Demostración.
Sea G un grupo finito simple abeliano. Dado que G{e} consideremos aG,ae. Como G es abeliano, todo subgrupo es normal, así
{e}aG
pero G es simple, entonces a=G y G es cíclico.

Más aún, GZn con n=|G|. Veamos que n es primo.

P. D. n es primo.

Supongamos por reducción al absurdo que n es compuesto, es decir n=st con s,tZ+, donde s<n y t<n.

Entonces ase ya que s<n=o(a), por lo que {e}as.

Además (as)t=e y así o(as)|t, lo que implica que o(as)t<n y en consecuencia asG.

Por lo tanto {e}asG. Pero como G es un grupo abeliano todos sus subgrupos son normales, por lo que as sería un subgrupo normal de G distinto de {e} y de G, lo que es una contradicción.

Concluimos que n es primo y así GZn con n primo.

◼

Nota. Hay grupos simples no abelianos finitos e infinitos.

Series de grupos

Definición. Sea G un grupo. Una secuencia de subgrupos
G=G1G2Gk+1={e}
es una serie de composición para G si Gi+1Gi y Gi/Gi+1 es simple para toda i{1,,k}.
Esto cocientes se llaman factores de composición.

A pesar de que estamos dando una definición, es importante señalar que en el caso de un grupo finito es el Cuarto teorema de isomorfía el que justifica que en efecto estas series de composición existen:

Observación 1. Sean G un grupo finito y N un subgrupo normal propio de G tal que es máximo con esta propiedad, es decir tal que si NHG con H normal en G, entonces N=H. Se tiene que G/N es simple.

Demostración.

Sean G un grupo finito y N un subgrupo normal de G tal que es máximo con esta propiedad. Supongamos que H es un subgrupo normal de G/N con {eG/N}HG/N. Por el Cuarto teorema de isomorfía sabemos que H=H/N para algún NHG. Además, como HG/N sabemos que HG. Pero al ser N un subgrupo normal máximo tenemos que N=H por lo cual H=N/N={eG/N}. Así, G/N es simple.

Observación 2. Si G es finito, estas series de composición existen.

Demostración (sencilla).

Si G es trivial entonces G mismo es una serie de composición para G.

Supongamos entonces que G es no trivial. Consideramos G1=G y G2 un subgrupo normal propio de G tal que es máximo con esta propiedad. Entonces por la observación 1 G1/G2 es simple.

Si G2={e}, G1G2 es una serie de composición para G.

Si G2{e} tomamos G3 un subgrupo normal propio de G2, máximo, y así sucesivamente. Como G es finito este proceso termina y da lugar a una serie de composición para G.

◼

Ejemplos

Ejemplo 1. Tomemos Z12. Notemos que en este caso el grupo es abeliano por lo que todos sus subgrupos son normales. Proponemos
(1)Z123¯6¯{0¯}.

Como |3¯|=4, entonces |Z12/3¯|=124=3 y así Z12/3¯Z3 que es simple.

Sabemos que |6¯|=2, así |3¯/6¯|=42=2 y entonces 3¯/6¯Z2 que es simple.

Finalmente 6¯/{0¯}6¯Z2 que es simple. Así (1) es una serie de composición para Z12.

También Z122¯6¯{0¯} lo es.

Ejemplo 2. Tomemos D2(4)={id,a,a2,a3,b,ab,a2b,a3b}. Donde a es la rotación de π4 y b es la reflexión respecto al eje x.

Tenemos que
a2,b={id,a2,b,a2b}
es de orden cuatro, entonces [D2(4):a2,b]=2. Así D2(4)a2,b y D2(4)/a2,bZ2 que es simple.

También [a2,b:b]=2 y a2,b/bZ2 que es simple. Finalmente b/{id}Z2 que es simple.

Así,
D2(4)a2,bb{id}
es una serie de composición para D2(4).

También
D2(4)aa2{id}.

Observación 3. En una serie de composición Gi1Gi pero no necesariamente GGi.

Observación 4. Puede ser que dos grupos no isomorfos tengan los mismos factores de composición salvo isomorfía.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Considera la nota que aparece en esta entrada: hay grupos simples no abelianos finitos e infinitos.
    • Encuentra un grupo simple no abeliano finito.
    • Encuentra un grupo simple no abeliano infinito.
    • ¿Qué pasará con los grupos abelianos infinitos? ¿existirán los grupos abelianos infinitos simples?
  2. Encuentra un grupo G que cumpla la observación: Gi1Gi pero no necesariamente GGi.
  3. Describe un ejemplo de grupos tales que no sean isomorfos y tengan los mismos factores de composición salvo isomorfía.
  4. En cada uno de los siguientes casos encuentra todas las series de composición de G y compara los factores de composición obtenidos:
    • G=Z60.
    • G=Z48.
    • S3×Z2.

Más adelante…

Estos conceptos que pueden parecer muy sencillos, al combinarlos nos dan el último teorema que veremos en este curso: el Teorema de Jordan-Hölder. Una poderosa herramienta que nos dice que los factores de composición de dos series distintas de un mismo grupo son los mismos salvo isomorfía.

Entradas relacionadas