Grupo nilpotente
En la teoría de grupos, un grupo nilpotente es un grupo que es "casi" abeliano. De forma más precisa, siempre existe un natural n tal que, aplicando la operación commutación, [x1,x2,...,xn ] = [...[x1,x2],...,],xn] a cualesquiera elementos x1,x2,...,xn del grupo, siempre 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 editar
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 : G → G 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:
![{\displaystyle Z_{i+1}=\{x\in G|\forall y\in G:[x,y]\in Z_{i}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd122065cf610ddbc1c082b8ec60c0e37af4fdc9)
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 editar
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 editar
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:
- G es un grupo nilpotente.
- Si H es un subgrupo propio de G, entonces H es un subgrupo normal propio de N(H) (el normalizador de H en G).
- Todo subgrupo maximal propio de G es normal.
- G es el producto directo de sus subgrupos de Sylow.
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).
Datos: Q1755242
