今回のテーマは、群における(直積と)半直積です。 直積と半直積の定義 定義1 （群における（外部）直積） , を群とするとき、 集合としての直積（デカルト積） に対して として演算を定めるとこれは群になる。 これは群 , の(外部)直積(direct product)と呼…