## [Construcción del Producto Semidirecto](/es/node/63339) Definición Una construcción que combina dos objetos algebraicos (típicamente un objeto normal N y un complemento H) en un nuevo objeto N ⋊_φ H usando una acción especificada φ: H → Aut(N); el conjunto subyacente es habitualmente N × H con una multiplicación retorcida por la acción, de modo que H actúa por automorfismos sobre N. ## Principio Principio Codificar una extensión que se divide: dar un homomorfismo del factor actuante hacia los automorfismos del factor normal de modo que el objeto combinado conserva la estructura de N mientras H permuta N según φ; esto realiza extensiones semidirectas y las distingue del producto directo por una acción no trivial. ## Demostración Demostración El grupo diedral D_{2n} se describe como Z_n ⋊ Z_2 donde Z_2 actúa en Z_n por inversión; explícitamente los elementos (r^a, s^b) se multiplican con s actuando sobre r mediante r ↦ r^{-1}, produciendo las relaciones clásicas de reflexión y rotación. ## Aplicación incorrecta Aplicación incorrecta Tratar toda extensión con un subgrupo normal como un producto semidirecto obvia la necesidad de un homomorfismo de división elegido; no todas las extensiones se dividen, por lo que asumir la existencia de φ y así una descomposición semidirecta puede ser incorrecto. ## Consecuencia Consecuencia Cuando existe una descomposición semidirecta, la clasificación de la extensión se reduce al homomorfismo de acción H → Out(N) (o Aut(N)), permitiendo descripciones explícitas y el cálculo de automorfismos, representaciones y estructura de subgrupos. ## Inversión Inversión Si la acción φ es trivial (envía a H al automorfismo identidad), el producto semidirecto se colapsa al producto directo N × H; la inversión del concepto es suprimir la acción, obteniendo factores independientes. ## Límite Límite Se aplica en categorías con noción de grupo de automorfismos y construcción de producto semidirecto (grupos, algunos anillos, álgebras de Lie); excluye extensiones no divididas y casos donde no se facilita un homomorfismo de acción apropiado o falla la normalidad. ## Tensión semántica Tensión semántica Tensión entre ver un objeto como producto semidirecto o como mera extensión; el producto semidirecto exige un división elegida y acción explícita, mientras que la teoría de extensiones estudia clases de equivalencia de extensiones donde la división puede no existir. ## Síntesis Síntesis La construcción del producto semidirecto produce un objeto combinado explícito a partir de una parte normal y un complemento que actúa mediante un homomorfismo a los automorfismos; realiza extensiones divididas y separa la estructura en un núcleo invariante y una acción parametrizada.