半直積
記事はありません。