Si una, y por lo tanto todas estas condiciones se cumplen, entonces se dice que G es un producto semidirecto de N y H, escrito como formula_4 o que "G se parte sobre N".