把乘积"nh"映到2元组("n","h")。在"G"中,我们有如下规则而这是上述外半直积的定义的深层原因，也是一个记住它的方便办法。群的分裂引理（splitting lemma）的一个版本称群"G"同构于两个群"N"和"H"的半直积当且仅当存在短正合序列和一个群同态"r" : "H" → "G" 使得"v" o "r" = id, "H"上的恒等映射。在这种情况, φ : "H" → Aut("N")给出如下
例子.有 2"n"个元素的二面体群 "D" 同构于循环群"C"