Grupo nilpotente


Grupo nilpotente

En la teoría de grupos, un grupo nilpotente es un grupo que es "casi" abeliano. En forma más precisa, aplicando repetidamente la operación commutación, [x,y] = x-1y-1xy a cualesquiera elementos del grupo obtenemos la identidad. Los grupos nilpotentes son utilizados en la teoría de Galois, así como en la clasificación de grupos finitos. Aparecen también en la clasificación de grupos de Lie.

Definición

Comenzaremos definiendo las series centrales descendentes de un grupo G. Dados dos subconjuntos A y B de G, se define el conmutador [A,B] como el subgrupo de G generado por todos los [x,y] con x en A e y en B, entonces la serie central descendente es A0= G, A1 = [G,G], A2 =[ A1,G] y en general Ai+1 = [Ai, G]. Es claro que A1 = [G,G] = G1, es el conmutador de G.

Si G es abeliano, entonces [G,G] = {e}, el subgrupo trivial. Extendiendo esta idea se dirá que un grupo G es un grupo nilpotente si existe un número natural n tal que An es trivial. Si n es el número natural más pequeño para el cual An es trivial, diremos que G es nilpotente de clase n. El subgrupo trivial es de clase 0, todo grupo abeliano, excepto el trivial, es de clase 1. Los grupos nilpotentes de clase 2 son también llamados grupos metabelianos.


Como justificación del término "nilpotente" observemos la siguiente propiedad de los elementos de un grupo G nilpotente: sea g en G y definimos la función f : GG dada por f(x) = [x,g]. Entonces esta función es nilpotente en el sentido que existe una número natural n tal que fn, la n-ésima iteración de f, envía cada elemento x de G al elemento identidad.

Una definición equivalente viene dada por las series centrales ascendentes de G, las cuales son una sucesión de grupos Z0= {e}, Z1, Z2, ..., Zi, ..., definidos por:

Z_{i+1} = \{x\in G | \forall y\in G:[x,y] \in Z_i \}

En este caso, Z1 es el centro de G, y en general el grupo cociente Zi+1/Zi es el centro de G/Zi. Si G es un grupo abeliano entonces es claro que Z1 es G. Con estas definiciones un grupo es llamado nilpotente de clase n si Zn = G y n es mínimo con esta propiedad.

Ambas definiciones de grupo nilpotente son equivalentes. Más aún, la serie central descendente alcanza el grupo trivial en n pasos si y sólo si la serie central ascendente alcanza G en n pasos.

Ejemplos

Como fue dicho más arriba un grupo abeliano es nilpotente.

Consideremos el grupo cuaterniónico Q8. Su centro es {1, −1} y su serie central descendente es {1}, {1, −1}, Q8. Por lo tanto es nilpotente de clase 2.

El grupo de Heisenberg es otro ejemplo de grupo nilpotente no abeliano.


Propiedades

Dado que cada cociente Zi+1/Zi es abeliano y que la serie es finita, todo grupo nilpotente es un grupo soluble con una estructura relativamente simple (al menos en el caso de grupos finitos).

Todo subgrupo de un grupo nilpotente de clase n es nilpotente de clase m com m menor o igual a n. Más aún, si f es un morfismo cuyo dominio es un grupo nilpotente de clase n, entonces la imagen de f es nilpotente de clase a lo sumo n.

Las siguientes afirmaciones son equivalentes para grupos finitos:

La última afirmación tiene un correlato en el caso de grupos que no son finitos: si G es un grupo nilpotente, entonces todo subgrupo de Sylow Gp de G es normal y la suma directa de estos subgrupos de Sylow es el subgrupo de todos los elementos de orden finito en G (ver subgrupo de torsión).


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo de Lie — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Grupo cociente — En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que colapsa el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente …   Wikipedia Español

  • Grupo discreto — En matemáticas, un grupo discreto es un grupo G, provisto con una topología discreta. Con esta topología G se convierte en un grupo topológico. Un subgrupo discreto de un grupo topológico G es un subgrupo H, cuya topología relativa es discreta.… …   Wikipedia Español

  • P-grupo — En matemáticas, dado un número primo p, un p grupo es un grupo periódico en el que cada elemento tiene como orden una potencia de p: cada elemento es de orden potencia prima. Esto es, para cada elemento g del grupo, existe un entero no negativo n …   Wikipedia Español

  • Álgebra de Lie — En matemática, un álgebra de Lie es la estructura algebraica que describe un conjunto de transformaciones infinitesimales. Su uso principal reside en el estudio de objetos geométricos tales como grupos de Lie y variedades diferenciables. El… …   Wikipedia Español

  • Anillo (matemática) — En álgebra, un anillo es una estructura algebraica formada por un conjunto (A), y dos operaciones: suma y producto; de modo que (A,+) es un grupo conmutativo con elemento neutro (que designamos 0), y el producto es asociativo y tiene la propiedad …   Wikipedia Español

  • Teoría geométrica de grupos — La teoría geométrica de grupos es un área de las matemáticas que se dedica al estudio de los grupos finitamente generados mediante las exploraciones entre las propiedades de tales grupos y las propiedades topológicas o geométricas de los espacios …   Wikipedia Español

  • Lema de Schur — En matemáticas, El Lema de Schur[1] es una proposición elemental pero muy utilizada en la teoría de representaciones de grupos y álgebras. En el caso de grupos éste dice que si M y N son dos representaciones irreducibles de dimensión finita de un …   Wikipedia Español

  • Endomorfismo de Frobenius — En álgebra conmutativa y teoría de cuerpos, que son ramas de las matemáticas, el endomorfismo de Frobenius es un endomorfismo de anillos de característica un número primo. En ciertos contextos es un automorfismo, pero este hecho no es cierto en… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.