「加法群」という言葉の定義には、それが可換群であることを含む。 だから、ある群が加法群であることが既に判っているなら、 可換群であることはもう確認済みとしか言いようがない。 所与の代数構造について「足し算」が加法群であることを示すには、 その代数構造の定義に戻って、加法が可換群をなすことを確認するしかない。 例えば、整数の加法が可換群をなすことを確認するには、 整数とその加法の定義を調べて、加法が可換群であることを 可換群の定義に沿って示す必要がある。 あなたは、どのような系の加法が可換群であると示したいのか? 具体的な操作は、その系しだい。