群の直積 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 群の直積 へ行く。

* 仮定 [#c9335d3b]

- &mathjax{G_1, G_2}; は群

* 定義 [#cd8b54cb]

&mathjax{G_1}; と &mathjax{G_2}; の直積 &mathjax{G_1 \times G_2}; とは、
- 集合は、直積集合の意味で &mathjax{G_1 \times G_2}; 。
- 演算は、 &mathjax{g_1, g_1' ~(\in G_1), g_2, g_2' ~(\in G_2)}; として、 &mathjax{(g_1, g_2) \cdot (g_1', g_2') = (g_1 \cdot g_1', g_2 \cdot g_2')}; と対応させる演算。

* 例 [#ae2093c7]