一般論と並行する形で， 次の整数の合同関係についての具体例も紹介する． 任意の\(a,b\in\mathbb{Z}\)に対して，
- 「\(a-b\)が\(n\)で割り切れる」という関係は，\(\mathbb{Z}\)における同値関係であること．
- \(\{n\)で割ったときの余りが\(a\)であるような整数全体\(\}\)の集合は，上の同値関係にける同値類であること．
- \(\mathbb{Z}\)を\(n\)で割った余りごとに分割したものが， 上の同値関係における\(\mathbb{Z}\)の商集合であること．
この記事は， [松坂1968] を参考にさせていただいています．
