査読/整数の剰余類の作る加群(Joh著)/1 のバックアップ(No.2)

おひさしぶりです･･･ †

なんだかんだ言って、ちょっとサボっていました・黒子です。

毎度毎度、しつこく細かいことですいませんが･･･
証明の一行目、a-a'=kmではないでしょうか？

そして、その数行下の

よって，この剰余類の集合は，加法に関して群になっていることが分かりました．これを nに関する剰余類群 と呼び,Z_nで表わします．

とありますが、この例の場合ですとmに関する剰余類群と呼び,Z_mで表すのであっていますか？

抽象的に考えていくと、思わぬところで群というものはつながっていて、はっとさせられますね！！