整数 (3) 余りの等しい数の集合

　こんにちは，龍孫江です．「はじめての可換環」第３回の問題はこちらです．

　第２回に除法の原理を紹介しました．再掲します．

　この事実のポイントは，$z$ で割った余りとなりうる値を$z$未満の非負整数のみに制限したことで，これによって迷うことなく「$x$を$z$で割った余り」を考えられます．これはまた，単に表記揺れを気にせずに済むことのみならず，余りの集合に標準的なラベリングが自然に与えられることを示しています．つまり，次が成り立ちます：

　第１回で述べたように，この「はじめての可換環」のテーマのひとつは

を道具として活用することです．この命題に現れた$z$個の集合にも手頃な表示を与えておきましょう．
　第１回では，$z$の倍数全体の集合を$z \mathbb{Z}$と表しました．$z$の倍数は $z$ で割った余りが $0$ である数 とも言い換えられるので，これに倣う形で記号が作りたいところです．

　整数 $x$ を $z$ で割った余りの求め方を思い出しましょう．$x$から始めて，

• $x \ge z$ ならば $z$ を引く；
• $x < 0$ ならば $z$ を足す；

を繰り返して$z$未満の非負整数$r$に帰着し，この得られた値$r$を余りと定めたのでした．逆に，$z$で割った余りが$r$である数は$r$に$z$を何回か足したり引いたりして得られるので，列挙すると

$$\ldots, r-3z, r-2z, r-z, r, r+z, r+2z, r+3z, \ldots$$

となります．さらに言えば，$z$ で割って $r$ になる整数とは $r$に$z$の倍数を足した数に他なりませんから，これを

$$ r + z\mathbb{Z} $$

と表すことにしましょう．
　この表記は珍しい記号ではありませんが，その都度 $z\mathbb{Z}$ と記すのはいささか面倒なので，$\bar{r}$ などのより簡単な記号をその場その場で採用することがあります．

　この集合$r + z \mathbb{Z}$を，$r$が代表する剰余類と言います．「類」という語は英単語 class の訳語で，ものの集まりを意味します．$z$で割った余りを共有する整数の集まりなので「剰余類」と呼ぶわけです．

　この記号を踏まえて問題を捉え直します．整数$a$を$z$で割った余りを$r$とすると，ある整数$a'$によって$a = r + a'z$と表されます．仮定「$a$と$b$を$z$で割った余りが等しい」が成り立つとき，$b$を$z$で割った余りも$r$であり，ある整数$b'$によって$b = r + b'z$と表せます．
　さて，ここまでに誤りはないのですが，$a$ と $b$ を表すのに $r$ の他 $a'$, $b'$ と３つも文字を増やすのには微かに抵抗を感じます．文字が増えるのを過度に恐れるのも困りものですが，増やし過ぎれば収拾がつきません（ぼくはこの状況を「記号の渦に飲み込まれる」と呼んでいます）．御しきれる程度のスリムな言い換えが欲しいところです．そのために，剰余類の特徴づけを見返してみましょう．

　剰余類$r + z \mathbb{Z}$ は$z$で割った余りが$r$である整数の全体として導入されました．ところで，その要素を観察すると$r + z \mathbb{Z}$は$r$ に $z$ の倍数を加えて得られる数の全体でもあったわけです．前者では「余り」という語が入っていますから，厳格に運用するならば$r$としては$z$未満の非負整数しか取れません．しかし，後者の言い方なら$r$に大きさの制約を課す必要性は減ります．すなわち，任意の整数$a$に対して

$$ a + z \mathbb{Z} = \{ a + kz \mid k \in \mathbb{Z} \}$$

と定め，濫用の気配がなくはないものの，これらも剰余類と呼ぶと定めましょう．このとき

$$a = a + 0 \cdot z \in a + z \mathbb{Z}$$

なので，$a + z \mathbb{Z}$のことを「$a$を含む剰余類」とか「$a$が代表する剰余類」と呼びます．

　$a$を$z$で割った余りを$r$とするとき，余りの作り方を思い出せば $a \in r + z \mathbb{Z}$，すなわち$a = qz + r$となる整数$q$が存在します．ここで

1. $a + kz = (r + qz) + kz = r + (q+k)z \in r + z\mathbb{Z}$，すなわち$a + z \mathbb{Z} \subset r + z \mathbb{Z}$；

2. $r = a - qz \in a + z \mathbb{Z}$，特に (1) と同様 $r + z \mathbb{Z} \subset a + z \mathbb{Z}$；

が成り立ち，これは

とまとめられます．同様に，$b$を$z$で割った余りも$r$であったならば，$b + z \mathbb{Z} = r + z \mathbb{Z}$ を通して

と言い換えられました．先ほど$r$のほか$a'$, $b'$と２つも文字を使って表した関係が，見事に$a$, $b$と$z$だけで記述できました．

　この集合の等式 $a + z \mathbb{Z} = b + z \mathbb{Z}$ を $a$ と $b$ の関係に落としましょう．今 $a \in b + z \mathbb{Z}$ なので，ある整数 $k$ により $a = b + kz$ と表せます．すなわち，$a - b = kz$ は $z$ の倍数です．ここから次が成り立ちます．

　余計な文字を増やさずに済む言い換えが得られたところで，問題の証明に進みましょう．