# Definition:Semidirect Product

Jump to navigation
Jump to search

## Definition

Let $H$ and $N$ be groups.

Let $\Aut N$ denote the automorphism group of $N$.

Let $\phi: H \to \Aut N$ be a group homomorphism, that is, let $H$ act on $N$.

The **(outer) semidirect product of $N$ and $H$ with respect to $\phi$** is the cartesian product $N \times H$ with the group operation defined as:

- $\tuple {n_1, h_1} \circ \tuple {n_2, h_2} = \tuple {n_1 \cdot \map \phi {h_1} \paren {n_2}, h_1 \cdot h_2}$

This article, or a section of it, needs explaining.In particular: What specifically is "$\cdot$" here? This is an instance where it is important (in my belief) to be completely explicit as to what the operations are within the groups $H$ and $N$. It may also be clearer to refer to $G_1$ and $G_2$ because $N$ and $H$ have connotations of "normal subgroup" and "subgroup" respectively, and it is highly desirable to be consistent with other pages.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

It is denoted $N \rtimes_\phi H$.