Semidirect product

There are two ways of defining semidirect product:


 * Internal semidirect product
 * External semidirect product

These notions are equivalent.