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

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

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

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

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

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

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 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

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.