一般の環論の参考書に中国剰余式定理(一般形)の証明の前に、(I₁…Iₙ-₁)+Iₙ=A(補題①)、 I₁∩…∩Iₙ=I₁…Iₙ(補題②)が成り立つことを示しておりますが、
補題②は中国剰余式定理(一般形)の証明に必要でしょうか?
実際、中国剰余式定理(一般形)を証明する際に、数学的帰納法(n=2の時、A/(I₁∩I₂)≅A/I₁×A/I₂が成り立つ事は示せています)からA/(I₁∩…∩Iₙ-₁)≅A/I₁×…×A/Iₙ-₁が成り立つと仮定すると、
補題①より(I₁…Iₙ-₁)∘Iₙ=Aなので、n=2の時の結果が適用でき、
A/(I₁∩…∩Iₙ-₁)∩Iₙ≅A/((I₁∩…∩Iₙ-₁)×A/Iₙ( n=2の時の結果)≅(A/I₁×…×A/Iₙ-₁)×A/Iₙ(帰納法の仮定)となる。
以上、数学的帰納法からA/(I₁∩…∩Iₙ)≅A/I₁×…×A/Iₙが成り立つ。
という具合に補題②を使わなくても示せているかと思うのですが上記の証明何か間違っている部分ありますか…?
No.2ベストアンサー
- 回答日時:
補題①より
(I₁…Iₙ-₁)+Iₙ=A
だけれども
(I₁∩…∩Iₙ-₁)+Iₙ=A
が示されていないので
n=2の時の結果が適用できないから、
A/{(I₁∩…∩Iₙ-₁)∩Iₙ}≅A/((I₁∩…∩Iₙ-₁)×A/Iₙ
とはいえない
No.1
- 回答日時:
Copilotの回答は以下の通りです。
補題②を使わずに中国剰余式定理(一般形)を証明するアプローチを詳しく説明しますね。
中国剰余式定理は、与えられた剰余の系列 I1,I2,…,In
に対して、次のような連立合同式を解く方法です:
xxx≡a1(modI1)≡a2(modI2)⋮≡an(modIn)
ここで、I1,I2,…,In
は互いに素な正整数であり、a1,a2,…,an
は整数です。
証明のアイデアは、帰納法を用いて次のように示すことです:
基底部 (n=2):
まず、n=2
の場合を考えます。つまり、以下の連立合同式を解くことを考えます:
xx≡a1(modI1)≡a2(modI2)
この場合、中国剰余定理により、解 x
は次のように表されます:
x≡a1⋅I2⋅(I2−1(modI1))+a2⋅I1⋅(I1−1(modI2))(modI1⋅I2)
ここで、I1−1
は I1
の逆元を意味します。
帰納法の仮定:
仮定として、n=k
の場合に中国剰余定理が成り立つと仮定します。つまり、以下の連立合同式を解くことを考えます:
xxx≡a1(modI1)≡a2(modI2)⋮≡ak(modIk)
この場合、解 x
は次のように表されます:
x≡i=1∑kai⋅j=i∏Ij⋅j=i∏Ij−1(modIi)(modM)
ここで、M=I1⋅I2⋅…⋅Ik
です。
帰納法のステップ (n=k+1):
さて、n=k+1
の場合を考えます。新たに Ik+1
と ak+1
を追加した連立合同式を解くことを考えます:
xxxx≡a1(modI1)≡a2(modI2)⋮≡ak(modIk)≡ak+1(modIk+1)
この場合、x
の解は次のように表されます:
x≡i=1∑k+1ai⋅j=i∏Ij⋅
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 数学 数学的帰納法 添付の一般項を求める問題なのですが、 赤線の部分でn=k+1としています。 そしてa( 1 2022/10/22 15:29
- 哲学 日本語のあたらしい文法を考えよう。 6 2022/06/25 17:41
- 数学 数学的帰納法について質問があります。 8 2023/04/05 23:32
- 数学 数学Aの整数の性質について質問です。 ほぼほぼ背理法の質問かもしれないですが、 証明の、a+bとab 5 2024/05/04 17:54
- 数学 数学的帰納法の質問です。 n=1、k,k+1のときすべての自然数nが成り立つという証明で、なぜ、n= 7 2023/07/02 11:59
- 数学 『4色問題⓵』 9 2022/10/24 06:54
- 数学 画像の四角形が円に内接するための条件の「対角の和は180°である」ことの証明で、最初の仮定の内容があ 6 2023/10/20 22:14
- 数学 双子素数とゴールドバッハ予想と解けました、フィールズ賞貰えますか? 2 2023/09/27 05:03
このQ&Aを見た人はこんなQ&Aも見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
以前にも質問させていただいたのですが、理解することができなかったので再度質問させていただきます。 写
数学
-
むじゅん 委細な矛盾が生じるなら分数みたいな表記やめれば?って思いませんか?
数学
-
積分定数どこまで
数学
-
-
4
専門が代数幾何だと
数学
-
5
√-1 は、何になるのでしょうか
数学
-
6
1+2+3+…=?
数学
-
7
下の画像の中の三角形は正方形だ、と友達が言っていたのですが、その根拠のようなものはありますか? 二等
数学
-
8
え整数の各桁をに錠してたすのをくりかえしたら
数学
-
9
BINGが間違えた、とっても簡単な算数の問題です、これを見て、どう思われますか。
数学
-
10
数学の問題で質問です。 n,kは自然数とする。lim[n→∞]1/n!=0を使って lim[n→∞]
数学
-
11
偶数≠奇数の判定はどうやるのか?
数学
-
12
命題がわかりません!!
数学
-
13
この
数学
-
14
かなりあやしい
数学
-
15
仕事をクビになり会社の門で憔悴していたらババアがいきなり話しかけてきました。 「この大きい袋に7で割
数学
-
16
これは証明になってる
数学
-
17
あやしい
数学
-
18
複素数の問題で質問があります
数学
-
19
何をもってしていってますか? こうが収束するのと級数が収束するのは違いますが
数学
-
20
代数
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
lim[x→+∞](x^n/e^x)=0 の証明
-
大学の記述入試で外積は使えま...
-
AとBはn次正方行列とする。 積A...
-
数A nは自然数とする。n , n+2 ...
-
ファルコンの定理は解かれまし...
-
直角三角形じゃないのに三平方...
-
二次合同式の解き方
-
実数の整列化について
-
至上最難問の数学がとけた
-
【遊びのピタゴラスイッチはな...
-
パップスギュルダンの定理について
-
特異点の3つのタイプについて
-
推論規則と定理、公理は違うもの?
-
高校の数学です。
-
『nを整数、pを素数とするとき...
-
複素関数と実関数のテーラー展...
-
ゼロ知識証明の勉強をしている...
-
曲線の束について質問です 「mf(...
-
完全数はどうして「完全」と名...
-
十分性の確認について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
ファルコンの定理は解かれまし...
-
至上最難問の数学がとけた
-
lim[x→+∞](x^n/e^x)=0 の証明
-
AとBはn次正方行列とする。 積A...
-
これは証明になってる
-
中国剰余式定理(一般形)の証明...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
パップスギュルダンの定理について
-
大学の記述入試で外積は使えま...
-
定理と法則の違い
-
【線形代数】基底、dimVの求め方
-
奇数次の代数方程式
-
完全数はどうして「完全」と名...
-
二次合同式の解き方
-
オイラーの多面体定理の拡張
-
11・13y≡5(mod9)がy≡4(mod9)にな...
-
量子化定理とは?
-
A,Bの異なる2つの箱に異なる1...
-
11の22乗を13で割った余り...
おすすめ情報