半直积 在數學中特別是叫做群論的抽象代數領域中半直積semidirect product是從其中一個是正規子群的兩個子群形成一個群的特定方法半直積是直積的推廣半直積是作為集合的笛卡爾積但帶有特定的乘法運算