##  [Construcción del Producto Semidirecto](/es/node/62427) 

  ##  [Construcción del Producto Semidirecto](https://puremath.quantumdictionary.io/es/node/62428) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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

 

 

 

 

 





 

 



 ##  [Construcción del Producto Semidirecto](https://algebra.quantumdictionary.io/es/node/63339) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

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.