数論の備忘録①　剰余環

　こんにちは。最近、数論について勉強し始めたので、それを纏めようと思います。間違っている箇所があればご指摘下さい。

剰余類群

　有理整数環$\mathbb{Z}$において、整数$m$の倍数全体のイデアル

$(m)=m\mathbb{Z}=\{mx|x\in \mathbb{Z}\}$

を考えます。
　なお、可換環$R$の空でない部分集合$I$が次の性質(1),(2)を満たすとき、$I$を$R$のイデアルと言います。

(1). $b,c\in I⟹b+c\in I$
(2). $m\in R,b\in I⟹mb\in I$

整数でいう倍数みたいなものだと、僕は認識しています。
　さて、本題に戻すと、$a,b\in \mathbb{Z}$について、次が成り立ちます。

$a-b\in m\mathbb{Z}⟺a\equiv b(modm)$

これは、合同式の定義より明らかだと思います。
　ここで、互いに合同な整数全体の集合を合同類または剰余類と言います。つまり

$(aを含む合同類)=\{b|b\equiv a(modm)\}=a+m\mathbb{Z}=\{a+mx|x\in \mathbb{Z}\}$

と表されます。イデアルの記号を用いれば、$a+(m)$と書くこともできます。以後$a$を含む合同類を$\overline{a}$と表すと

$\overline{a}=\overline{b}⟺a\equiv b(modm)$

が成り立ちます。

　任意の整数$a$を$m$で割った余りを$r$とすると、$0\le r<m$であるから、$a\equiv b(modm)$です。よって、$\overline{a}$は$m$個の合同類$\overline{0},\overline{1},\cdots ,\overline{m-1}$のどれか１つでかつただ1つと一致します。
　すべての整数を合同類に分類し、その合同類の集合を$\mathbb{Z}/m\mathbb{Z}$または$\mathbb{Z}/(m)$と表します。これで、一応すべての整数が分類できるという訳。つまり

$\mathbb{Z}/m\mathbb{Z}=\{\overline{0},\overline{1},\cdots ,\overline{m-1}\}$

となります。
　次に、$\mathbb{Z}/m\mathbb{Z}$の2元$a,b$について、それらの和$\overline{a}+\overline{b}$と積$\overline{a}\overline{b}$を次のように定めます。

• $\overline{a}+\overline{b}=\overline{a+b}$
• $\overline{a}\overline{b}=\overline{ab}$

これは、合同式の加法と乗法と同じようなものだと思っています。

　この加法と乗法により、集合$\mathbb{Z}/m\mathbb{Z}$は可換環であることが分かります。加法の零元は$\overline{0}$で、乗法の単位元は$\overline{1}$となります。そして、可換環$\mathbb{Z}/m\mathbb{Z}$を、法$m$に関する剰余環と言います。
　環の2元$a,b$が次の条件

$a\ne 0,b\ne 0かつab=0$

を満たすとき、$a(またはb)$を零因子と言います。例えば、下の表より

剰余環の表

$\overline{3}$は零因子です。また、環$R$が零因子を持たないとき、$R$は整域であるといいます。$\mathbb{Z}/5\mathbb{Z}$などは整域です。なぜならば、零因子を持たないということは

$ab=0⟹a=oまたはb=0$

で、これは整域の定義だからです。たぶん。

今回はここまでです。読んでくださってありがとうございました。