一意分解が成り立たないこととは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 一意分解が成り立たないことの意味・解説 

一意分解が成り立たないこと

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/05/09 03:44 UTC 版)

代数的整数論」の記事における「一意分解が成り立たないこと」の解説

有理整数環重要な性質は、それが算術の基本定理満たすこと、つまり任意の(正の)整数素数の積への分解持ちこの分解は因子並べ替えの違いを除いて一意的であるということである。これは代数体 K の整数環 O においては一般にはもはや正しくない素元とは O の元 p であって、p が積 ab を割り切るならば因子 a か b の一方割り切るもののことである。この性質整数素数性と密接に関係するなぜならばこの性質満たす任意の正の整数は 1 か素数だからである。しかし、素元の方が真に弱い。例えば、−2 は負だから素数ではないが、素元である。素元への分解許せば整数においてさえ、 6 = 2 ⋅ 3 = ( − 2 ) ⋅ ( − 3 ) {\displaystyle 6=2\cdot 3=(-2)\cdot (-3)} 5 = ( 1 + 2 i ) ( 1 − 2 i ) = ( 2 + i ) ( 2 − i ) {\displaystyle 5=(1+2i)(1-2i)=(2+i)(2-i)} のような方程式導かれ、Z[i] において分解因子順序除いて一意であるということは正しくないことが証明される。そのため、一意分解整域 (unique factorization domain, UFD) において用いられる一意分解の定義を採用する一意分解整域において、分解現れる素元単元順序の違いを除いて一意であることだけ期待されるしかしながら、この弱い定義でさえ、多く代数体整数環一意分解持たないイデアル類群呼ばれる代数的障害存在するイデアル類群自明であるとき、環は一意分解整域である。自明でないとき、素元既約元違いがある。既約元 x とは、x = yz ならば y または z が単元あるような元のことである。既約元それ以上分解できないような元である。O の任意の元は既約元への分解を持つが、2通り上できるかもしれないなぜならばすべての素元既約元であるが、既約元素元とは限らないからである。例えば、環 Z[√−5] を考える。この環において、数 3, 2 +−5, 2 − √−5既約である。これは数 9 が既約元への2つ分解を持つことを意味する9 = 3 2 = ( 2 + − 5 ) ( 2 − − 5 ) . {\displaystyle 9=3^{2}=(2+{\sqrt {-5}})(2-{\sqrt {-5}}).} この方程式は 3 が積 (2 +−5)(2 − √−5) = 9 を割り切ることを示している。もし 3 が素元ならば、2 +−5 あるいは 2 − √−5割り切るが、そうではない。3 で割り切れるすべての元は 3a + 3b−5 の形だからである。同様に2 +−5 と 2 − √−5 は積 32割り切るが、いずれも 3 自身割り切らないので、いずれも素元ではない。元 3, 2 + √-5, 2 - √-5同値にできるということに意味はないので、Z[√-5] において一意分解成り立たない。定義を弱めて一意性修正できた単元状況とは異なり、この不成立克服するには新し観点が必要である。

※この「一意分解が成り立たないこと」の解説は、「代数的整数論」の解説の一部です。
「一意分解が成り立たないこと」を含む「代数的整数論」の記事については、「代数的整数論」の概要を参照ください。

ウィキペディア小見出し辞書の「一意分解が成り立たないこと」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「一意分解が成り立たないこと」の関連用語

一意分解が成り立たないことのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



一意分解が成り立たないことのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの代数的整数論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS