半直積
正則アフィン変換からなる群 GA(V) = V ⋊ GL(V) も半直積の例である。