「加法群」という言葉の定義には、それが可換群であることを含む。 だから、ある群が加法群であることが既に判っているなら、 可換群であることはもう確認済みとしか言いようがない。 所与の代数構造について「足し算」が加法群であることを示すには、 その代数構造の定義に戻って、加法が可換群をなすことを確認するしかない。 例えば、整数の加法が可換群をなすことを確認するには、 整数とその加法の定義を調べて、加法が可換群であることを 可換群の定義に沿って示す必要がある。 あなたは、どのような系の加法が可換群であると示したいのか? 具体的な操作は、その系しだい。
![加法が可換であることを示すにはどうすれば良いですか?](https://cdn-ak-scissors.b.st-hatena.com/image/square/7c62d28777cb1c971ce08d0679b025d4a0a53357/height=288;version=1;width=512/https%3A%2F%2Foshiete.xgoo.jp%2Fimages%2Fsp%2Fqa_recommend%2F2063_3.jpg)