半直積
本はありません。