半直積
位数はそれぞれの積である。
| N ⋊ H | = | N | | H | {\displaystyle \vert N\rtimes H\vert =\vert N\vert \vert H\vert }