0

中国式剰余定理を理解する(第4回 中国式剰余定理)

762
0

はじめに

なんとか第4回までこぎつけました。 第1回 に書いた計画とはだいぶずれてきましたが頑張って続けます。
第2回 で群論を 第3回 で環論について勉強したので,今回はやっと中国式剰余定理の主張を述べる。

中国式剰余定理

可換環RのイデアルI1I2Irについて,ijのとき,Ii+Ij=Rが成立しているとする。このとき,I=Iiとおけば,同型R/IR/I1×R/I2××R/Irが成立する。

本来であれば,この定理の証明をするべきところではあるが,ここはいったん別のことをやってみようと思う。この定理を少しだけ書き換えると次のようになる。

可換環RのイデアルI1I2について,I1+I2=Rが成立しているとする。このとき,I=I1I2とおけば,同型R/IR/I1×R/I2が成立する。

さらに,環RとしてR=Z。その2つのイデアルとして,2Z3Zを選ぶ。すると2Z+3Z=Z2Z3Z=6Zであるから,定理2は次のようになる。

整数環Zのイデアル2Z3Zについて,同型Z/6ZZ/2Z×Z/3Zが成立する(これをZ6Z2×Z3とかいていた)。

ここで, 第1回 の記事でかいた高校数学で出てくる中国式剰余定理を再掲する。

中国式剰余定理(高校数学 再掲)

m,nを互いに素な整数,a,bを任意の整数とする。このとき,次を満たす整数x0x<mnにただ1つ存在する。
{xa(modm)xb(modn)

この定理4においてm=2n=3としてみると次のようになる。

a,bを任意の整数とする。このとき,次を満たす整数x0x<6にただ1つ存在する。
{xa(mod2)xb(mod3)

定理3と見比べてみてどうだろうか。定理3の主張はZ6Z2×Z3である。簡単に言えばZ6の任意の元xに対し,Z2×Z3の元がただ1つに決まると言っている(本当は元の対応よりもっと強い主張だが,,,)。

おわりに

なんとなく中国式剰余定理の気持ちがわかっただろうか。定理の証明はやっていないので,それは今後の追記していきたい。定理の証明と高校数学における連立合同式の解法にも何らかの対応付けが見つかることを期待したい。

参考文献

堀田良之:代数入門 -群と加群-, 裳華房
酒井文雄:環と体の理論,共立出版

投稿日:2020127
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

とも
とも
17
13535
広島県の高校で数学の教員をやっていたはずなのに,気づけば違う仕事をしております。高校数学と大学で学ぶ数学の橋渡しのようなことができればいいなと思っています。記事に誤り等あれば教えてください。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 中国式剰余定理
  3. おわりに
  4. 参考文献