En matemáticas , específicamente en teoría de grupos , el concepto de producto semidirecto es una generalización de un producto directo . Hay dos conceptos estrechamente relacionados de producto semidirecto:
- un producto semidirecto interno es una forma particular en la que un grupo puede estar formado por dos subgrupos , uno de los cuales es un subgrupo normal .
- un producto semidirecto externo es una forma de construir un nuevo grupo a partir de dos grupos dados utilizando el producto cartesiano como un conjunto y una operación de multiplicación particular.
Al igual que con los productos directos, existe una equivalencia natural entre los productos semidirectos internos y externos, y ambos se denominan comúnmente simplemente productos semidirectos .
Para grupos finitos , el teorema de Schur-Zassenhaus proporciona una condición suficiente para la existencia de una descomposición como un producto semidirecto (también conocido como extensión de división ).
Definiciones de productos semidirectos internos
Dado un grupo G con elemento de identidad e , un subgrupo H y un subgrupo normal N ◁ G , las siguientes afirmaciones son equivalentes:
- G es el producto de subgrupos , G = NH , y estos subgrupos tienen una intersección trivial: N ∩ H = { e } .
- Para cada g ∈ G , hay n ∈ N y h ∈ H únicos tales que g = nh .
- Para cada g ∈ G , hay h ∈ H y n ∈ N únicos tales que g = hn .
- La composición π ∘ i de la incrustación naturales i : H → G con la proyección naturales π : G → G / N es un isomorfismo entre H y el grupo cociente G / N .
- Existe un homomorfismo G → H que es la identidad en H y cuyo núcleo es N . En otras palabras, hay una secuencia exacta dividida
- de grupos (que también se conoce como extensión de grupo de por ).
Si alguna de estas afirmaciones se cumple (y por lo tanto todas se cumplen, por su equivalencia), decimos que G es el producto semidirecto de N y H , escrito
- o
o que G se divide sobre N ; también se dice que G es un semidirecto producto de H que actúa sobre N , o incluso un producto semidirecto de H y N . Para evitar ambigüedades, es aconsejable especificar cuál es el subgrupo normal.
Productos semidirectos interiores y exteriores
Consideremos primero el producto semidirecto interno. En este caso, para un grupo, considere su subgrupo N normal y el subgrupo H (no necesariamente normal). Suponga que se cumplen las condiciones de la lista anterior. Dejardenotar el grupo de todos los automorfismos de N , que es un grupo en composición. Construir un homomorfismo de grupo definido por conjugación,
- , Para todos h en H y n en N .
La expresion a menudo se escribe como para ser breve. De esta forma podemos construir un grupo con operación grupal definida como
- para n 1 , n 2 en N y h 1 , h 2 en H .
Los subgrupos N y H determinan G hasta el isomorfismo, como veremos más adelante. De esta forma, podemos construir el grupo G a partir de sus subgrupos. Este tipo de construcción se denomina producto semidirecto interno (también conocido como producto semidirecto interno [1] ).
Consideremos ahora el producto semidirecto exterior. Dados cualesquiera dos grupos N y H y un homomorfismo de grupo φ : H → Aut ( N ) , podemos construir un nuevo grupo N ⋊ φ H , llamado el producto semidirecto externo de N y H con respecto a φ , definido de la siguiente manera: [ 2]
- El conjunto subyacente es el producto cartesiano N × H .
- La operación grupal está determinada por el homomorfismo φ :
Esto define un grupo en el que el elemento identidad es ( e N , e H ) y la inversa del elemento ( n , h ) es ( φ h −1 ( n −1 ), h −1 ) . Pares ( n , e H ) formar un subgrupo normal isomorfo a N , mientras que los pares ( e N , h ) forman un subgrupo isomorfo a H . El grupo completo es un producto semidirecto de esos dos subgrupos en el sentido dado anteriormente.
A la inversa, supongamos que se nos da un grupo G con un subgrupo normal N y un subgrupo H , de tal manera que cada elemento g de G se puede escribir únicamente en la forma g = NH donde n mentiras en N y H mentiras en H . Sea φ : H → Aut ( N ) el homomorfismo (escrito φ ( h ) = φ h ) dado por
para todos n ∈ N , h ∈ H .
Entonces G es isomorfo al producto semidirecto N ⋊ varphi H . El isomorfismo λ : G → N ⋊ φ H está bien definido por λ ( a ) = λ ( nh ) = ( n, h ) debido a la unicidad de la descomposición a = nh .
En G , tenemos
Por tanto, para a = n 1 h 1 y b = n 2 h 2 obtenemos
lo que prueba que λ es un homomorfismo. Dado que λ es obviamente un epimorfismo y monomorfismo, entonces de hecho es un isomorfismo. Esto explica también la definición de la regla de la multiplicación de N ⋊ phi H .
El producto directo es un caso especial del producto semidirecto. Para ver esto, que φ sea el homomorfismo trivial (es decir, el envío de cada elemento de H a la automorphism identidad de N ), entonces N ⋊ φ H es el producto directo N × H .
Una versión del lema de división para grupos establece que un grupo G es isomorfo a un producto semidirecto de los dos grupos N y H si y solo si existe una secuencia exacta corta
y un grupo homomorfismo γ : H → G tal que alpha ∘ γ = id H el, mapa identidad en H . En este caso, φ : H → Aut ( N ) viene dado por φ ( h ) = φ h , donde
Ejemplos de
Grupo diedro
El grupo diedro D 2 n con 2 n elementos es isomorfo a un producto semidirecto de los grupos cíclicos C n y C 2 . [3] Aquí, el elemento no identitario de C 2 actúa sobre C n invirtiendo elementos; esto es un automorfismo ya que C n es abeliano . La presentación para este grupo es:
Grupos cíclicos
Más en general, un producto semidirecto de cualesquiera dos grupos cíclicos C m con generador de una y C n con generador de b está dada por una relación adicional, aba -1 = b k , con k y n primos entre sí , y; [3] es decir, la presentación: [3]
Si r y m son primos entre sí, un r es un generador de C m y un r ba -r = b k r , por lo tanto, la presentación:
da un grupo isomorfo al anterior.
Holomorfo de un grupo
Un ejemplo canónico de un grupo expresado como un producto semidirecto es el holomorfo de un grupo. Esto se define como
dónde es el grupo de automorfismo de un grupo y el mapa de estructura proviene de la acción correcta de en . En términos de multiplicar elementos, esto le da a la estructura del grupo
Grupo fundamental de la botella de Klein
El grupo fundamental de la botella de Klein se puede presentar en la forma
y por tanto es un producto semidirecto del grupo de enteros, ℤ , con ℤ . El homomorfismo correspondiente φ : ℤ → Aut (ℤ) está dado por φ ( h ) ( n ) = (−1) h n .
Matrices triangulares superiores
El grupo de matrices triangulares superiores [ aclaración necesaria ] con determinante distinto de cero , es decir, con entradas distintas de cero en la diagonal , tiene una descomposición en el producto semidirecto[4] donde es el subgrupo de matrices con solo está en la diagonal, que se denomina grupo de matriz unitaria triangular superior , yes el subgrupo de matrices diagonales .
La acción grupal de en es inducida por la multiplicación de matrices. Si ponemos
y
entonces su producto de matriz es
Esto le da a la acción grupal inducida
Una matriz en puede ser representado por matrices en y . Por eso.
Grupo de isometrías en el plano
El grupo euclidiana de todos los movimientos rígidos ( isometrías ) del plano (mapas f : ℝ 2 → ℝ 2 tal que la distancia euclidiana entre x y y es igual a la distancia entre f ( x ) y f ( y ) para todo x y y en ℝ 2 ) es isomorfo a un producto semidirecto del grupo abeliano ℝ 2 (que describe traslaciones) y el grupo O (2) de matrices ortogonales 2 × 2 (que describe rotaciones y reflexiones que mantienen fijo el origen). Aplicar una traslación y luego una rotación o reflexión tiene el mismo efecto que aplicar la rotación o reflexión primero y luego una traslación mediante el vector de traslación girado o reflejado (es decir, aplicar el conjugado de la traslación original). Esto muestra que el grupo de traslaciones es un subgrupo normal del grupo euclidiano, que el grupo euclidiano es un producto semidirecto del grupo de traducción y O (2) , y que el correspondiente homomorfismo φ : O (2) → Aut (ℝ 2 ) viene dada por la multiplicación de matrices : φ ( h ) ( n ) = hn .
Grupo ortogonal O (n)
El grupo ortogonal O ( n ) de todas las matrices ortogonales reales n × n (intuitivamente el conjunto de todas las rotaciones y reflexiones del espacio n -dimensional que mantienen el origen fijo) es isomorfo a un producto semidirecto del grupo SO ( n ) (que consiste de todas las matrices ortogonales con determinante 1 , intuitivamente las rotaciones del espacio n -dimensional) y C 2 . Si representamos C 2 como el grupo multiplicativo de matrices { I , R } , donde R es un reflejo del espacio n -dimensional que mantiene el origen fijo (es decir, una matriz ortogonal con el determinante -1 que representa una involución ), entonces φ : C 2 → Aut (SO ( n )) viene dado por φ ( H ) ( N ) = HNH −1 para todo H en C 2 y N en SO ( n ) . En el caso no trivial ( H no es la identidad), esto significa que φ ( H ) es la conjugación de operaciones por la reflexión (en el espacio trivial, un eje de rotación y la dirección de rotación se reemplazan por su "imagen especular") .
Transformaciones semilineales
El grupo de transformaciones semilineales en un espacio vectorial V sobre un campo 𝕂 , a menudo denominado ΓL ( V ) , es isomorfo a un producto semidirecto del grupo lineal GL ( V ) (un subgrupo normal de ΓL ( V ) ), y el automorfismo grupo de 𝕂 .
Grupos cristalográficos
En cristalografía, el grupo espacial de un cristal se divide como el producto semidirecto del grupo de puntos y el grupo de traducción si y solo si el grupo espacial es simmórfico . Los grupos espaciales no simórficos tienen grupos de puntos que ni siquiera están contenidos como subconjunto del grupo espacial, que es responsable de gran parte de la complicación en su análisis. [5]
No ejemplos
Hay muchos grupos que no pueden expresarse como un producto semidirecto de grupos, pero contienen un subgrupo normal no trivial. Por supuesto, cada grupo simple no puede expresarse como un producto semidirecto, pero también hay algunos contraejemplos comunes. Tenga en cuenta que aunque no todos los grupos se puede expresar como una extensión dividida de por , resulta que dicho grupo se puede incrustar en el producto de la corona por el teorema de la incrustación universal .
Z 4
El grupo cíclico no es un grupo simple ya que tiene un subgrupo de orden 2, a saber es un subgrupo y su cociente es , entonces hay una extensión
Si la extensión se dividió , entonces el grupo en
sería isomorfo a .
Q 8
El grupo de los ocho cuaterniones dónde y , es otro ejemplo de un grupo [6] que tiene subgrupos no triviales pero que aún no está dividido. Por ejemplo, el subgrupo generado por es isomorfo a y es normal. También tiene un subgrupo de orden generado por . Esto significaría tendría que ser una extensión dividida en
que no puede suceder. Esto se puede demostrar calculando el primer grupo de cohomología de grupo de con coeficientes en , entonces y notando que los dos grupos en estas extensiones son y el grupo diedro . Pero, como ninguno de estos grupos es isomorfo con, el grupo de cuaterniones no se divide. Esta no existencia de isomorfismos puede comprobarse observando que la extensión trivial es abeliana mientras no es abeliano, y observando que los únicos subgrupos normales son y , pero tiene tres subgrupos isomorfos a .
Propiedades
Si G es el producto semidirecto del subgrupo normal N y el subgrupo H , y ambos N y H son finitos, entonces el orden de G es igual al producto de las órdenes de N y H . Esto se deduce del hecho de que G es del mismo orden que el producto semidirecto exterior de N y H , cuyo conjunto subyacente es el producto cartesiano N × H .
Relación con productos directos
Supongamos que G es un producto semidirecto del subgrupo normal N y el subgrupo H . Si H también es normal en G , o de manera equivalente, si existe un homomorfismo G → N que es la identidad en N con el núcleo H , entonces G es el producto directo de N y H .
El producto directo de dos grupos N y H se puede considerar como el producto semidirecto de N y H con respecto a φ ( h ) = id N para todos h en H .
Tenga en cuenta que en un producto directo, el orden de los factores no es importante, ya que N × H es isomorfo a H × N . Este no es el caso de los productos semidirectos, ya que los dos factores desempeñan papeles diferentes.
Además, el resultado de un producto semidirecto (propio) por medio de un homomorfismo no trivial nunca es un grupo abeliano , incluso si los grupos de factores son abelianos.
No exclusividad de productos semidirectos (y más ejemplos)
A diferencia del caso del producto directo , un producto semidirecto de dos grupos no es, en general, único; si G y G ′ son dos grupos que contienen copias isomorfas de N como un subgrupo normal y H como un subgrupo, y ambos son un producto semidirecto de N y H , entonces no se sigue que G y G ′ sean isomorfos porque el producto semidirecto también depende de la elección de una acción de H en N .
Por ejemplo, hay cuatro grupos no isomórficos de orden 16 que son productos semidirectos de C 8 y C 2 ; en este caso, C 8 es necesariamente un subgrupo normal porque tiene un índice 2. Uno de estos cuatro productos semidirectos es el producto directo, mientras que los otros tres son grupos no abelianos:
- el grupo diedro de orden 16
- el grupo cuasidiédrico de orden 16
- el grupo Iwasawa de orden 16
Si un grupo dado es un producto semidirecto, entonces no hay garantía de que esta descomposición sea única. Por ejemplo, existe un grupo de orden 24 (el único que contiene seis elementos de orden 4 y seis elementos de orden 6) que se puede expresar como producto semidirecto de las siguientes formas: (D 8 ⋉ C 3 ) ≅ (C 2 ⋉ Q 12 ) ≅ (C 2 ⋉ D 12 ) ≅ (D 6 ⋉ V ) . [7]
Existencia
En general, no se conoce una caracterización (es decir, una condición necesaria y suficiente) para la existencia de productos semidirectos en grupos. Sin embargo, se conocen algunas condiciones suficientes, que garantizan la existencia en determinados casos. Para grupos finitos, el teorema de Schur-Zassenhaus garantiza la existencia de un producto semidirecto cuando el orden del subgrupo normal es coprime al orden del grupo del cociente .
Por ejemplo, el teorema de Schur-Zassenhaus implica la existencia de un producto semidirecto entre grupos de orden 6; hay dos de estos productos, uno de los cuales es un producto directo y el otro un grupo diedro. Por el contrario, el teorema de Schur-Zassenhaus no dice nada sobre grupos de orden 4 o grupos de orden 8, por ejemplo.
Generalizaciones
Dentro de la teoría de grupos, la construcción de productos semidirectos se puede impulsar mucho más. El producto de grupos Zappa-Szep es una generalización que, en su versión interna, no asume que ninguno de los subgrupos sea normal.
También hay una construcción en la teoría de anillos , el producto cruzado de anillos . Este se construye de forma natural a partir del anillo de grupo para un producto semidirecto de grupos. El enfoque de la teoría de anillos se puede generalizar aún más a la suma semidirecta de las álgebras de Lie .
Para la geometría, también hay un producto cruzado para acciones grupales en un espacio topológico ; desafortunadamente, en general es no conmutativo incluso si el grupo es abeliano. En este contexto, el producto semidirecto es el espacio de órbitas de la acción grupal. Alain Connes ha defendido este último enfoque como sustituto de los enfoques mediante técnicas topológicas convencionales; cf geometría no conmutativa .
También hay generalizaciones de gran alcance en la teoría de categorías . Muestran cómo construir categorías fibradas a partir de categorías indexadas . Ésta es una forma abstracta de la construcción del producto semidirecto exterior.
Groupoids
Otra generalización es para los grupoides. Esto ocurre en topología porque si un grupo G actúa sobre un espacio X , también actúa sobre el grupoide fundamental π 1 ( X ) del espacio. El producto semidirecto π 1 ( X ) ⋊ G es entonces relevante para encontrar el groupoid fundamental del espacio órbita X / G . Para obtener detalles completos, consulte el Capítulo 11 del libro al que se hace referencia a continuación, y también algunos detalles en el producto semidirecto [8] en ncatlab .
Categorías abelianas
Los productos semidirectos no triviales no surgen en categorías abelianas , como la categoría de módulos . En este caso, el lema de la división muestra que todo producto semidirecto es un producto directo. Por tanto, la existencia de productos semidirectos refleja un fracaso de la categoría para ser abeliana.
Notación
Por lo general, el producto semidirecto de un grupo H que actúa sobre un grupo N (en la mayoría de los casos por conjugación como subgrupos de un grupo común) se denota por N ⋊ H o H ⋉ N . Sin embargo, algunas fuentes [ ¿cuáles? ] puede usar este símbolo con el significado opuesto. En caso de que la acción φ : H → Aut ( N ) debe ser explícita, también se escribe N ⋊ φ H . Una forma de pensar sobre el símbolo N ⋊ H es como una combinación del símbolo del subgrupo normal ( ◁ ) y el símbolo del producto ( × ). Barry Simon , en su libro sobre la teoría de la representación de grupos, [9] emplea la notación inusual para el producto semidirecto.
Unicode enumera cuatro variantes: [10]
Valor MathML Descripción Unicode ⋉ U + 22C9 veces PRODUCTO SEMIDIRECTO DE FACTOR NORMAL IZQUIERDO ⋊ U + 22CA tiempos PRODUCTO SEMIDIRECTO DE FACTOR NORMAL DERECHO ⋋ U + 22CB ltres PRODUCTO SEMIDIRECTO IZQUIERDO ⋌ U + 22CC tres PRODUCTO SEMIDIRECTO ADECUADO
Aquí la descripción Unicode del símbolo rtimes dice "factor normal correcto", en contraste con su significado habitual en la práctica matemática.
En LaTeX , los comandos \ rtimes y \ ltimes producen los caracteres correspondientes.
Ver también
- Álgebra de mentiras afines
- Construcción de Grothendieck , una construcción categórica que generaliza el producto semidirecto
- Holomorfo
- Suma semidirecta de álgebra de mentiras
- Producto subdirecto
- Producto de corona
- Producto Zappa – Szép
Notas
- ^ DS Dummit y RM Foote (1991), Álgebra abstracta , Englewood Cliffs, Nueva Jersey: Prentice Hall , 142.
- ^ Robinson, Derek John Scott (2003). Una introducción al álgebra abstracta . Walter de Gruyter . págs. 75–76. ISBN 9783110175448.
- ^ a b c Mac Lane, Saunders ; Birkhoff, Garrett (1999). Álgebra (3ª ed.). Sociedad Matemática Estadounidense. págs. 414–415. ISBN 0-8218-1646-2.
- ^ Milne. Grupos algebraicos (PDF) . pp. 45, productos semidirectos.
- ^ Thompson, Nick. "Zonas de Brillouin irreductibles y estructuras de bandas" . bandgap.io . Consultado el 13 de diciembre de 2017 .
- ^ "álgebra abstracta - ¿Se puede escribir todo grupo no simple $ G $ como un producto semidirecto?" . Intercambio de pila de matemáticas . Consultado el 29 de octubre de 2020 .
- ^ HE Rose (2009). Un curso sobre grupos finitos . Springer Science & Business Media. pag. 183. ISBN 978-1-84882-889-6. Tenga en cuenta que Rose usa la convención de notación opuesta a la adoptada en esta página (p. 152).
- ^ Ncatlab.org
- ^ B. Simon (1996). Representaciones de grupos finitos y compactos . Providence, RI: Sociedad Matemática Estadounidense. pag. 6. ISBN 0-8218-0453-7.
- ^ Ver unicode.org
Referencias
- R. Brown, Topología y agrupaciones, Booksurge 2006. ISBN 1-4196-2722-8