15/03/07 23:58:31.12 CATUi/5b.net
>>438
>積について閉じていることの証明がまだだ。
そうだね。大学の定期試験なら減点だろう
g1,g2∈C(G) ならば g1g2∈C(G) >>433だね
g1,g2∈C(G) ならば 定義より、g1h=hg1 ＆ g2h=hg2
よって、g1g2h=g1(g2h)=g1(hg2)=(g1h)g2=(hg1)g2=hg1g2 が成り立つから、 g1g2∈C(G)が言える
15/03/07 23:58:31.12 CATUi/5b.net
>>438
>積について閉じていることの証明がまだだ。
そうだね。大学の定期試験なら減点だろう
g1,g2∈C(G) ならば g1g2∈C(G) >>433だね
g1,g2∈C(G) ならば 定義より、g1h=hg1 ＆ g2h=hg2
よって、g1g2h=g1(g2h)=g1(hg2)=(g1h)g2=(hg1)g2=hg1g2 が成り立つから、 g1g2∈C(G)が言える