No.3ベストアンサー
- 回答日時:
任意の整域で一意分解できるとはいっていません
整域Aの零元でも単元でもない元aがいずれも
Aの素元の積の形に書けるならば
整域Aは一意分解環となる
事を証明するのです
整域Aの元pは0でも単元でもなく
Aのある元aとbに対して
pがabを割り切るときにはいつでも
pがaを割り切るか
pがbを割り切る
時
pをAの素元いう
a=p1p2…pn
整域 Aの任意の元a(≠0)について、
p1, p2, … ,pm, q1, q2, … ,qnをAの素元として
m≦n
a=p1p2…pm=q1q2…qnならば,
p1は素元だから
q1, q2, … ,qnのどれかがp1で割り切れる
p1で割り切れるものをqσ(1)とすると
qσ(1)=sp1
となるsがある
qσ(1)は素元だから
s,p1のどちらかがqσ(1)で割り切れる
sがqσ(1)で割り切れると仮定すると
s={qσ(1)}t
となるtがある
qσ(1)={qσ(1)}tp1
qσ(1)(1-tp1)=0
qσ(1)≠0だから
1-tp1=0
1=tp1
となってp1が単元となりp1が素元である事に矛盾するから
sがqσ(1)で割り切れないから
p1がqσ(1)で割り切れるから
p1=tqσ(1)
となるtがある
qσ(1)=stqσ(1)
(1-st)qσ(1)=0
qσ(1)≠0だから
1-st=0
1=st
だからs,tは単元であるから
p1とqσ(1)は同伴になる
以下同様に
p2とqσ(2)は同伴になる
…
pmとqσ(m)は同伴になる
m<nと仮定すると
1=qσ(m+1)…qσ(n)となりqσ(m+1)…qσ(n)が単元でないことに矛盾するから
m=n
No.2
- 回答日時:
これ, かなり基本的な話だと思うんだよね. だから, 使うことのできる「道具」としては「定義」が重要な位置を占めることになる.
「一意分解環」ってどのように定義されている? 「素元」ってどういうもの? 「同伴」とは?
いちおう指摘しておくと, 「Wikipedia でのように」定義するなら, この質問文に対しては
だってそれが定義じゃん
で終わりだよ.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 環論の素元について 6 2022/05/09 04:04
- その他(プログラミング・Web制作) Pythonでの不均一なサイコロをつくるプログラミングがわかりません 4 2022/06/07 13:10
- Java java 引数 戻り値のあるメソッド 3 2023/02/12 06:23
- 経済学 経済学のベルトラン均衡について教えてください。 4 2022/11/23 16:37
- 数学 数学(代数学)について。 整域Z[√-3]は一意分解整域ではないが、0と単元でないZ[√-3]の任意 4 2022/08/27 11:07
- 大学受験 AO、総合型選抜出願時に使用する活動実績報告書について 4 2022/06/27 01:21
- 数学 任意の→xに対して →a・→x=→b・→x と →a=→b は同値ですか 6 2022/09/08 21:57
- 数学 A君とB君はコインを1枚ずつ投げ、2枚とも表、あるいは2枚とも裏が出れば、投げた2枚をA君がもらい、 3 2023/02/05 12:19
- Visual Basic(VBA) エクセルのマクロについて教えてください。 1 2022/10/11 12:55
- Perl Perl の外部モジュールの利用方法 3 2022/07/10 18:34
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
不完全微分であることの証明
-
証明終了の記号。
-
夫が亡くなった後の義理家族と...
-
数学の証明問題で、「証明終了」...
-
コラッツ予想の証明してみました。
-
再婚、奨学金
-
AB=E ならば BA=E の証明
-
数学の「証明」のときなどの接...
-
なぜ独身だと養子が持てないの...
-
v・∇v=1/2∇(v・v)-v×(...
-
3,4,7,8を使って10を作る
-
中学2年程度数学3ケタの自然数...
-
(4^n)-1が3の倍数であることの...
-
分かる方教えてください。
-
2のn乗根で、 nを無限大に持っ...
-
limx→∞ x^n/e^x=0を高校数学の...
-
「証明証」と「証明書」はどう...
-
実数について
-
四面体の重心と外心
-
跡を継ぐということの意味
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報
すみません、Aは一意分解環(元a∈Aは有限個の素元の積で表される)としています。