半直积是什么意思？

在数学中，特别是叫做群论的抽象代数领域中，半直积(semidirect product)是从其中一个是正规子群的两个子群形成一个群的特定方法。半直积是直积的推广。半直积是作为集合的笛卡尔积，但带有特定的乘法运算。