半直積
群論において、群の半直積（はんちょくせき、）とは、ふたつの群から新たな群を作り出す方法の一種。
群の直積の一般化であり、通常の直積をその特別な場合として含む。