![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
No.2ベストアンサー
- 回答日時:
m,nが互いに素でないとだめなので
そう仮定しておきます
>mで割るとi余り、nで割るとj余るような整数kを求めるには、
>cm+dn=1となる整数c,dを求めておいてk=cmj+dniとすればよい。
これが中国式剰余定理の本質です.
話を簡単にするため
g: Z/mZ × Z/nZ → Z/mnZ
としますが
g([i],[j])=[cmj+dni]
と定めると,このgが同型であることが
引用部分によって証明できます.
この写像がwell-definedであることは簡単に示せます
全射であることが引用部分です
単射であることはmとnが互いに素であることから
簡単に示せます
上記の三段階の証明の手法は代数では頻繁に
使われるので,自分で証明を書き上げてみてください
#整数だけじゃなくて,ある程度一般的な環や
#二個だけじゃなくてもこの定理は成立しますが
#証明はほぼ同様です
No.1
- 回答日時:
後半の = は、すべて、≡(mod mn)ということでよいのでしょうか(ただし、mとnは互いに素)。
とりあえず、後半のようにしてkを決めると、
kが、mで割るとi余り、nで割るとj余る、こと(必要性)は明らかです。
で、問題は、kとしてこの形以外の解がないのか(十分性)てことですが、前半より、
「mで割るとi余り、nで割るとj余る数」をmnで割った余りは一意ということがわかっています。(同型写像なんで、1対1です)
したがって、十分性もいえます。
この回答へのお礼
お礼日時:2005/11/20 01:34
なるほど。
kがそうなるってことを許容してしまうと、必要十分であることが示せてしまいますね。
わかりやすかったです。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数II 剰余の定理と因数定理 整式P(x)をxで割った余りが-4,x-2で割った余りが7である。 P 2 2022/07/03 13:38
- その他(教育・科学・学問) 小学生の算数の商について 3 2023/03/06 14:11
- 大学受験 合同式 1 2022/09/03 12:37
- 数学 中2 数学 8 2023/06/27 21:56
- 数学 写真の問題で剰余の定理を用いて、別解の手順から a=2 b=8と求まるところまではわかるのですが、な 2 2022/08/07 13:12
- 数学 数学 連続した3つの奇数の和は、6で割ると3余る数であることを説明せよ 基本いつも最後結論の前に ( 2 2023/01/22 12:32
- 数学 教えてください。 2 2022/06/30 14:26
- 大学受験 合同式 2 2022/08/19 13:12
- 数学 整数問題についてですが、 「正の整数aに対してa²を4で割ったときの余りを求めよ」という問題で、答え 12 2023/08/28 15:03
- 数学 連続した3つの奇数の和は、6で割ると3余る数であることを説明せよ 基本いつも最後結論の前に (今回の 6 2023/01/20 17:29
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
基本的な事ですが…(単射、全射...
-
f^(-1)(f(P))=Pを示したい
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
同型写像の証明問題
おすすめ情報