こんにちは,龍孫江です.「はじめての可換環」第2回の問題はこちらです.
$-25$から$25$までの整数を,$7$で割った余りによって分類せよ.
余りを覚えたての小学生に出すような問題で恐縮ですが,もちろん真面目な問題です.今回のテーマは "余り" とは何か? です.
この問題の半分では迷うことは少ないでしょう.半分というのは非負整数,すなわち$0$以上$25$以下の部分です.この部分をまず解いておくと,次のように $7$ つに分類されます.
さて,残った部分の解答をと考えるとき,はたと思うのです.負の整数を割ったときの "余り" とは何なのでしょう?これが今回の課題です.負の数を割ったときの "余り" が(非負整数の場合と整合するように)定義できれば,整数を整数で割った余りの定義が見えてくるはずです.
一部に対して定義されている概念を拡張したいとき,まずするべきは既にある定義を精査することです.$0$から$6$までの整数は,それ自身を$7$で割った余りだと考えます.しばしば割り算の例えとして引かれる「何個かのものを何人かの人に(均等に)配る」という状況を考えると,$6$個以下しかないものは$7$人に$1$個ずつすら均等には配れず,配る人の手元にまるまる余りとして残ります.$7$個以上になると$1$個ずつ配れて,配りきれなかったものが残ります.もとの数が大きくなればなるほど配る回数も増え,配りきれなかった$7$個未満のものが余りとして残ります.つまり,非負整数 $x$ を $7$ で割った余りを求める手続きを整理すると
となります.平たく言えば,$7$を引けるだけ引いて残ったものを余りとするわけですね.
この手続きを踏まえて,負の数に対しても余りを定めましょう.今回の範囲でもっとも小さな数$-25$を考えると,これ自身は$7$で割った余りと認めにくいですね.おそらく絶対値が$7$より大きいからでしょう.負の数であっても均等に配れる分は配ってしまいましょう.つまり,負の数の場合には「$7$を引く」という手続きを「$7$を足す」に変えれば良さそうです.$7$を何度か足して
$$ -25 \mapsto -18 \mapsto -11 \mapsto -4$$
となりました.他のどの数から始めても,いずれ$-6$から$0$のどれかにたどり着きます.
絶対値が$7$より小さくなったところで「終わった終わった」と放り投げてしまいたいのはやまやまなのですが(ぼくはとりわけ飽き性でいい加減なのです),そうも行かないのは正整数の場合との整合性をとるという課題が残っているからです.何しろ上の系列を
$$ -25 \mapsto -18 \mapsto -11 \mapsto -4 \mapsto 3$$
ともう一歩すすめると$3$が出てきて,再び絶対値が$7$より小さい整数が出てきました.このどちらを余りとしましょうか.
ここまで煽っておいて何なのですが,ひとつの解決策は「決めなくても良いと開き直る」です.「$-25$を$7$で割った余りは$3$であり$-4$でもある」と約束してしまえば,それはそれで話はできます.ただしその場合,たとえば$1$を$7$で割った余りとして,$1$自身の他に$-6 = 1 - 7$を認めなければならないでしょう.これはこれで,いささか嫌な感じです.
さて,どうしましょうか.個人的には,整数の話のうちは凛とした態度で臨みたいと思います.既に少し感じていますが「どっちでもよい」としてしまうと(きちんと話せば困らないとはいえ)ややこしいのです.例えば「$-25$ を $7$ で割った余りは $-4$ であり,$10$ を $7$ で割った余りは $3$ であり,きちんと考えれば両者は(ズレを無視すれば)等しい」などという主張は成立しますが,あまり気は乗りません.できれば余りは紛れなくバチッと決まってほしいものです.
とはいえ,話をより複雑な場合に展開するうち,ここで拘っている「余りの一意性」は諦めざるを得ない状況に追い込まれるわけですが,可能性を追求する姿勢は大事です.
そこで,"余り" の条件をもう少し強めてみましょう.つまり,ここまでの基準としていた「絶対値が$7$未満である」を「$0$以上$7$未満である」と置き換えてみます.つまり,$-25$を$7$で割った余りを求めたいときには
$$ -25 \mapsto -18 \mapsto -11 \mapsto -4 \mapsto 3 $$
と,正の数になるまで$7$を足し続けると決めてしまうわけです.
今回の紆余曲折をまとめると,次の定理が得られます.これは整数の話をする上での基本原理ともいうべき定理なので,これからもまた折に触れて思い出すことになるでしょう.
正整数$z > 0$を固定する.任意の整数$x$に対し
を充たす整数 $q$, $r$ が一意的に存在する.この $r$ を,$x$ を $z$ で割った余り(剰余)という.
では,問題を解決しましょう.余りの意味が決まれば,あとは手続きに従うだけです.