馬鹿に餞別代りの宿題だ　読みやがれ

半直積
https://ja.wikipedia.org/wiki/%E5%8D%8A%E7%9B%B4%E7%A9%8D

定義は直観的にやや分かりにくく、奇妙に見えるかもしれないが、
分かりやすい例として、n次元ユークリッド空間におけるアフィン変換群をあげることができる。

n次元アフィン変換は、n次元一般線型変換とn次元の並進変換を合成したものであり、
この変換の全体は群を成し、これをn 次元アフィン変換群と呼ぶ。

2つのアフィン変換(A1,b1)と(A2,b2)の合成変換を考えると、
(A1,b1)(A2,b2)=(A1A2,A1b2+b1)
となり、単純な直積群ではないことが分かる。
しかし一般線形変換群と並進変換群は共にアフィン変換群の部分群を成し、
とくに並進部分群は正規部分群になる。
このような関係をさらに一般化したものが半直積である。