Una construcción de grupos que forma un grupo G como producto semidirecto N ⋊φ H a partir de un subgrupo normal N, un subgrupo H y un homomorfismo φ: H → Aut(N) que especifica cómo H actúa sobre N; la multiplicación es (n1,h1)(n2,h2) = (n1 φ(h1)(n2), h1h2).

Principio

Combinar un subgrupo normal interno y un subgrupo complementario con una acción especificada de modo que la extensión se divida: el grupo total es el producto de conjuntos N·H con la acción cruzada dada por el homomorfismo en Aut(N); la construcción codifica extensiones escindidas y muestra cómo acciones no triviales generan estructuras semidirectas no triviales.

Demostración

El grupo diedral de orden 2n es Z_n ⋊ Z_2 donde Z_2 actúa sobre Z_n por inversión; concretamente, tomar N = grupo cíclico de rotaciones, H = {1, reflexión}, y φ(reflexión) = automorfismo de inversión produce las relaciones r^n = 1, s^2 = 1, srs = r^{−1}.

Aplicación incorrecta

Suponer que toda extensión de grupos es un producto semidirecto (es decir, escindida): muchas extensiones no se escinden y no pueden realizarse como N ⋊ H sin elegir una sección; también tratar la descomposición semidirecta como única conduce a errores, pues distintas acciones pueden dar productos semidirectos no isomorfos con los mismos N y H.

Consecuencia

Permite la realización explícita y clasificación de extensiones escindidas; ofrece una descripción concreta de grupos con un subgrupo normal prescrito y un subgrupo complementario y es una herramienta central para construir ejemplos y analizar la estructura de grupos mediante acciones y automorfismos.

Inversión

El producto directo es el caso particular en que la acción φ es trivial, dando N × H; olvidar la acción reduce los productos semidirectos a productos directos y pierde la información sobre cómo H retuerce N.

Límite

Requiere la especificación de una acción φ: H → Aut(N) y la existencia de un subgrupo normal N y un subgrupo H cuyo producto sea todo el grupo y cuya intersección sea trivial para la interpretación interna; no toda sucesión exacta corta 1 → N → G → H → 1 se escinde, por lo que los productos semidirectos no abarcan todas las extensiones.

Tensión semántica

A menudo se confunde la noción de extensiones escindidas (productos semidirectos) con la de extensiones arbitrarias clasificadas por cohología; la construcción del producto semidirecto es concreta y constructiva, mientras que la existencia y clasificación de extensiones no escindidas es cohomológica y puede carecer de realizaciones semidirectas explícitas.

Síntesis

La construcción del producto semidirecto empaqueta un subgrupo normal y un subgrupo complementario especificando una acción de este último sobre el primero mediante automorfismos; realiza extensiones escindidas de forma concreta y parametriza muchas combinaciones no abelianas de dos grupos dados por la elección de la acción.