product)是从其中一个是正规子群的两个子群形成一个群的特定方法。半直积是直积的推广。半直积是作为集合的笛卡尔积，但带有特定的乘法运算。
一些等价的定义.令"G"为群，"N"为"G"的一个正规子群，并且"H"是"G"的一个子群。下列命题等价:如果这些命题中的一个(从而所有)成立，则称"G"是一个"N"和"H"的半直积，或者说"G"在"N"上“分裂(splits)”，并写作"G" = "N" ⋊ "H"。
基本事实和提醒.若"G"是正规子群"N"和子