Ampliación de grupo

En matemáticas , una extensión de grupo es un medio general para describir un grupo en términos de un subgrupo normal particular y un grupo cociente . Si y son dos grupos, entonces es una extensión de por si hay una secuencia exacta corta${\estilo de visualización Q}$${\estilo de visualización N}$${\estilo de visualización G}$${\estilo de visualización Q}$${\estilo de visualización N}$

${\displaystyle 1\to N\;{\overset {\iota }{\to }}\;G\;{\overset {\pi }{\to }}\;Q\to 1.}$

Si es una extensión de por , entonces es un grupo, es un subgrupo normal de y el grupo cociente es isomorfo al grupo . Las extensiones de grupo surgen en el contexto del problema de extensión , donde se conocen los grupos y y se deben determinar las propiedades de . Nótese que la frase " es una extensión de por " también es utilizada por algunos. ^[1]${\estilo de visualización G}$${\estilo de visualización Q}$${\estilo de visualización N}$${\estilo de visualización G}$${\displaystyle \iota (N)}$${\estilo de visualización G}$ ${\displaystyle G/\iota (N)}$${\estilo de visualización Q}$${\estilo de visualización Q}$${\estilo de visualización N}$${\estilo de visualización G}$${\estilo de visualización G}$${\estilo de visualización N}$${\estilo de visualización Q}$

Dado que cualquier grupo finito posee un subgrupo normal máximo con un grupo factorial simple , todos los grupos finitos pueden construirse como una serie de extensiones con grupos simples finitos . Este hecho fue una motivación para completar la clasificación de los grupos simples finitos . ${\estilo de visualización G}$ ${\estilo de visualización N}$ ${\estilo de visualización G/N}$

Una extensión se denomina extensión central si el subgrupo se encuentra en el centro de . ${\estilo de visualización N}$${\estilo de visualización G}$

Una extensión, el producto directo , es inmediatamente obvia. Si se requiere que y sean grupos abelianos , entonces el conjunto de clases de isomorfismo de extensiones de por un grupo (abeliano) dado es de hecho un grupo, que es isomorfo a ${\estilo de visualización G}$${\estilo de visualización Q}$${\estilo de visualización Q}$${\estilo de visualización N}$

${\displaystyle \operatorname {Ext} _{\mathbb {Z} }^{1}(Q,N);}$

cf. el funtor Ext . Se conocen otras clases generales de extensiones, pero no existe ninguna teoría que trate todas las extensiones posibles a la vez. La extensión de grupo suele describirse como un problema difícil; se denomina problema de extensión .

Para considerar algunos ejemplos, si , entonces es una extensión de ambos y . De manera más general, si es un producto semidirecto de y , escrito como , entonces es una extensión de por , por lo que productos como el producto de corona proporcionan otros ejemplos de extensiones. ${\displaystyle G=K\times H}$${\estilo de visualización G}$${\estilo de visualización H}$${\estilo de visualización K}$${\estilo de visualización G}$${\estilo de visualización K}$${\estilo de visualización H}$${\displaystyle G=K\rveces H}$${\estilo de visualización G}$${\estilo de visualización H}$${\estilo de visualización K}$

La cuestión de qué grupos son extensiones de por se denomina problema de extensión y ha sido objeto de numerosos estudios desde finales del siglo XIX. En cuanto a su motivación, considérese que la serie de composición de un grupo finito es una secuencia finita de subgrupos , donde cada uno es una extensión de por algún grupo simple . La clasificación de grupos simples finitos nos da una lista completa de grupos simples finitos; por lo que la solución al problema de extensión nos daría suficiente información para construir y clasificar todos los grupos finitos en general. ${\estilo de visualización G}$${\estilo de visualización H}$${\estilo de visualización N}$$Estilo de visualización {A_{i}\}}$$Estilo de visualización {A_{i+1}\}}$$Estilo de visualización {A_{i}\}}$

La solución del problema de extensión equivale a clasificar todas las extensiones de H por K ; o, de manera más práctica, a expresar todas esas extensiones en términos de objetos matemáticos que sean más fáciles de entender y calcular. En general, este problema es muy difícil y todos los resultados más útiles clasifican extensiones que satisfacen alguna condición adicional.

Es importante saber cuándo dos extensiones son equivalentes o congruentes. Decimos que las extensiones

${\displaystyle 1\to K{\stackrel {i}{{}\to {}}}G{\stackrel {\pi }{{}\to {}}}H\to 1}$

y

${\displaystyle 1\to K{\stackrel {i'}{{}\to {}}}G'{\stackrel {\pi '}{{}\to {}}}H\to 1}$

son equivalentes (o congruentes) si existe un isomorfismo de grupo que hace conmutativo el diagrama de la Figura 1. De hecho, es suficiente tener un homomorfismo de grupo; debido a la conmutatividad asumida del diagrama, la función se ve obligada a ser un isomorfismo por el lema de los cinco cortos . ${\displaystyle T:G\to G'}$${\estilo de visualización T}$

Puede ocurrir que las extensiones y sean inequivalentes pero que G y G' sean isomorfos como grupos. Por ejemplo, hay extensiones inequivalentes del cuatrigrupo de Klein por , ^[2] pero hay, salvo isomorfismo de grupo, solo cuatro grupos de orden que contienen un subgrupo normal de orden con grupo cociente isomorfo al cuatrigrupo de Klein . ${\displaystyle 1\a K\a G\a H\a 1}$${\displaystyle 1\a K\a G^{\prime }\a H\a 1}$${\estilo de visualización 8}$${\displaystyle \mathbb {Z} /2\mathbb {Z} }$${\estilo de visualización 8}$${\estilo de visualización 2}$

Una extensión trivial es una extensión

${\displaystyle 1\a K\a G\a H\a 1}$

que es equivalente a la extensión

${\displaystyle 1\a K\a K\veces H\a H\a 1}$

donde las flechas izquierda y derecha son respectivamente la inclusión y la proyección de cada factor de . ${\displaystyle K\times H}$

Una extensión dividida es una extensión

${\displaystyle 1\a K\a G\a H\a 1}$

con un homomorfismo tal que al pasar de H a G por s y luego volver a H por la función cociente de la secuencia exacta corta se induce la función identidad en H , es decir, . En esta situación, se suele decir que s divide la secuencia exacta anterior . ${\displaystyle s\colon H\to G}$${\displaystyle \pi \circ s=\mathrm {id}_{H}}$

Las extensiones divididas son muy fáciles de clasificar, porque una extensión se divide si y solo si el grupo G es un producto semidirecto de K y H . Los productos semidirectos en sí mismos son fáciles de clasificar, porque están en correspondencia uno a uno con los homomorfismos de , donde Aut( K ) es el grupo de automorfismos de K . Para una discusión completa de por qué esto es cierto, consulte producto semidirecto . ${\displaystyle H\to \nombre del operador {Aut} (K)}$

En general, en matemáticas, una extensión de una estructura K suele considerarse como una estructura L de la que K es una subestructura. Véase, por ejemplo, extensión de campo . Sin embargo, en la teoría de grupos se ha introducido la terminología opuesta, en parte debido a la notación , que se lee fácilmente como extensiones de Q por N , y el foco está puesto en el grupo Q . ${\displaystyle \nombre del operador {Ext} (Q,N)}$

Un artículo de Ronald Brown y Timothy Porter sobre la teoría de extensiones no abelianas de Otto Schreier utiliza la terminología de que una extensión de K da una estructura más grande. ^[3]

Una extensión central de un grupo G es una secuencia corta y exacta de grupos

${\displaystyle 1\a A\a E\a G\a 1}$

de modo que A está incluido en , el centro del grupo E . El conjunto de clases de isomorfismo de extensiones centrales de G por A está en correspondencia biunívoca con el grupo de cohomología . ${\displaystyle Z(E)}$$Estilo de visualización H^{2}(G,A)}$

Se pueden construir ejemplos de extensiones centrales tomando cualquier grupo G y cualquier grupo abeliano A , y estableciendo que E es . Este tipo de ejemplo de división corresponde al elemento 0 en bajo la correspondencia anterior. Otro ejemplo de división se da para un subgrupo normal A con E establecido en el producto semidirecto . Se encuentran ejemplos más serios en la teoría de representaciones proyectivas , en casos donde la representación proyectiva no se puede elevar a una representación lineal ordinaria . ${\displaystyle A\times G}$$Estilo de visualización H^{2}(G,A)}$ ${\displaystyle A\r veces G}$

En el caso de grupos finitos perfectos , existe una extensión central perfecta universal .

De manera similar, la extensión central de un álgebra de Lie es una secuencia exacta ${\displaystyle {\mathfrak {g}}}$

${\displaystyle 0\rightarrow {\mathfrak {a}}\rightarrow {\mathfrak {e}}\rightarrow {\mathfrak {g}}\rightarrow 0}$

tal que está en el centro de . ${\displaystyle {\mathfrak {a}}}$${\displaystyle {\mathfrak {e}}}$

Existe una teoría general de extensiones centrales en las variedades de Maltsev . ^[4]

Existe una clasificación similar de todas las extensiones de G por A en términos de homomorfismos de , una condición de existencia tediosa pero explícitamente comprobable que involucra y el grupo de cohomología . ^[5]${\displaystyle G\to \operatorname {Salida} (A)}$$Estilo de visualización H3(G,Z(A))$$Estilo de visualización H^{2}(G,Z(A))}$

En la teoría de grupos de Lie , las extensiones centrales surgen en conexión con la topología algebraica . En términos generales, las extensiones centrales de los grupos de Lie por grupos discretos son lo mismo que los grupos de recubrimiento . Más precisamente, un espacio de recubrimiento conexo G ^∗ de un grupo de Lie conexo G es naturalmente una extensión central de G , de tal manera que la proyección

${\displaystyle \pi \colon G^{*}\to G}$

es un homomorfismo de grupo y sobreyectivo. (La estructura de grupo en G ^∗ depende de la elección de un elemento identidad que mapee a la identidad en G .) Por ejemplo, cuando G ^∗ es la cubierta universal de G , el núcleo de π es el grupo fundamental de G , que se sabe que es abeliano (ver H-espacio ). A la inversa, dado un grupo de Lie G y un subgrupo central discreto Z , el cociente G / Z es un grupo de Lie y G es un espacio de cubierta de este.

De manera más general, cuando los grupos A , E y G que aparecen en una extensión central son grupos de Lie, y las funciones entre ellos son homomorfismos de grupos de Lie, entonces si el álgebra de Lie de G es g , la de A es a , y la de E es e , entonces e es una extensión del álgebra de Lie central de g por a . En la terminología de la física teórica , los generadores de a se denominan cargas centrales . Estos generadores están en el centro de e ; por el teorema de Noether , los generadores de grupos de simetría corresponden a cantidades conservadas, denominadas cargas .

Los ejemplos básicos de extensiones centrales como grupos de cobertura son:

• los grupos de espín , que cubren doblemente a los grupos ortogonales especiales , que (en dimensión par) cubren doblemente al grupo ortogonal proyectivo .
• los grupos metaplécticos , que cubren doblemente los grupos simplécticos .

El caso de SL ₂ ( R ) involucra un grupo fundamental que es cíclico infinito . Aquí la extensión central involucrada es bien conocida en la teoría de formas modulares , en el caso de formas de peso ½ . Una representación proyectiva que corresponde es la representación de Weil , construida a partir de la transformada de Fourier , en este caso sobre la línea real . Los grupos metaplécticos también ocurren en mecánica cuántica .

• Extensión del álgebra de Lie
• Álgebra de Virasoro
• Extensión HNN
• Contracción grupal
• Extensión de un grupo topológico

• Mac Lane, Saunders (1975), Homología , Clásicos de las matemáticas, Springer Verlag , ISBN 3-540-58662-8
• RL Taylor, Grupos de cobertura de grupos topológicos no conexos, Actas de la American Mathematical Society , vol. 5 (1954), 753–768.
• R. Brown y O. Mucuk, Revisión de grupos de cobertura de grupos topológicos no conexos, Mathematical Proceedings of the Cambridge Philosophical Society , vol. 115 (1994), 97–110.