半直積
もとの群は半直積群に埋め込まれる。 つまり、ふたつの単射準同型写像 N → N ⋊ H と H → N ⋊ H がある。 さらに N の単射準同型像は N ⋊ H の正規部分群で、その剰余群は H と同型である。