数学力皆無な自分が、剰余系について学んだ話。第1話(初投稿)

何故剰余系を学ぶことになったのか。

結論から言うと、数オリの入門書(？)的な立ち位置である「ゼロから分かる数学〜数論とその応用〜」に剰余系の話が書かれていたからです。
さらに、本格的な数学書を買うのがこれは初めてなので、この本に書かれていることしかわからないです。なので集合族とか恒等写像とか分からないです()

まず剰余系とは何か？

さて、余談(？)も程々にして本題に移りましょう。
私が「剰余系」というワードを見た時、「なんか難しそうだなー」と思っていました。
しかし、実際には「余り」に着目した集合を剰余系というらしいです。

まず剰余系を説明するための準備

合同式を定義しましょう。

例　$7\equiv 3(\mathrm{mod}4)$
$2^{17}\equiv 1(\mathrm{mod}17)$
確かに$7-3$は$4$の倍数だし$2^{17}-1$
は17の倍数ですよね！
...え？フェルマーの小定理？何ですかそれ？
合同式の性質は面倒くさいので割愛します。
その前に次の定理を証明しておきましょう。

あと、$a\equiv b(\mathrm{mod}n)$は$a$を$n$で割った余り、$b$を$n$で割った余りが等しいことを表すということも証明したかったのですが、
なかなか証明の方法が思いつかなかったので、とりあえず、この性質は証明なしに用いようと思います。(よくない)

さて、ここで問題を数問出して第1話は終わろうと思います。

解答
(1)$1回合同式で表してみると、2^n\equiv b(\mathrm{mod}5).定理1より、任意の自然数kを用いてb=2^{n}k+5と表すことができる。$
(2) (1)と同じ方針で解く。
$n^m\equiv r(\mathrm{mod}{n}^{(}m-2))$
任意の自然数$cを用いてr=n^m\cdot c+n^{m-2}$

…なんか悪問みたいな問題できたな。
それでは次の記事も読んでいただけると嬉しいです。
それでは次の記事で会いましょう。