Construcción del Producto Semidirecto

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

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.