一意分解環とは? わかりやすく解説

556の専門辞書や国語辞典百科事典から一度に検索! Weblio 辞書 ヘルプ
Weblio 辞書 > 辞書・百科事典 > 百科事典 > 一意分解環の意味・解説 

一意分解環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/11 00:13 UTC 版)

数学における一意分解環(いちいぶんかいかん、: unique factorization domain, UFD; 一意分解整域)あるいは素元分解環(そげんぶんかいかん)は、大雑把に言えば整数に対する算術の基本定理の如くに(特別の例外を除く)各元が素元(あるいは既約元)の積に一意に表せる可換環のことである。ブルバキの語法に従ってしばしば分解環 (anneau factriel) とも呼ばれる。

環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。

可換環整域整閉整域一意分解環単項イデアル整域ユークリッド環有限体

一意分解環の概念は非可換環に対して拡張できる[1][注 1]

定義

厳密には、整域 R零元でも単元でもない元 x が何れも

x = p1 p2pn

のように R の有限個の既約元の積として書くことができて、その表示が一意であるとき R一意分解環であるという。ここで表示が一意であるとは、xR の既約元 q1, …, qm によって再び

x = q1 q2qm,

のようにも表せたとするならば、m = n であって、番号の適当な並べ替えを行う全単射 φ: {1, …, n} → {1, …, m} を与えると、piqφ(i) とが i = 1, …, n のそれぞれについて同伴 (associated) となるようにできるということを意味する。

一意性の部分の検証は一般には困難であることがしばしばであって、次の同値な条件への言い換えは有用である:整域が一意分解環となるのは、その零元でも単元でもない任意の元が R素元の積の形に書けるときである。

一意分解環の例

初等的な数学で目にする環の多くが UFD である:

  • 単項イデアル整域 (PID), したがって任意のユークリッド環は UFD である。特に、有理整数Z算術の基本定理を参照)、ガウス整数Z[i]アイゼンシュタイン整数Z[ω] もこの仲間である。
  • は零元でない任意の元が単元となる環であるので、自明な意味で UFD である。有理数体、実数体、複素数体などがこの範疇に含まれる。
  • R が一意分解環なら、R に係数を持つ多項式環 R[x] もまた UFD である。この特別の場合として、係数環が体 K である場合の多項式環 K[x] も(K[x] は単項イデアル整域 (PID) となるので最初の例の特別の場合でもあるが)もちろん UFD になる。

もう少し一般に、以下のような例を与えることができる:

  • 形式的冪級数K[[X1, …, Xn]] は、K が体(あるいはもっと一般に主イデアル整域)ならば UFD である(K が UFD であっても、冪級数環が必ずしも UFD とならないことに注意)。
  • 決まった数の複素変数を持つ、原点で正則な函数全体の成す環は UFD である。
  • 一変数多項式環の場合から帰納的に、有理整数環 Z【あるいは、体 K】 上の多変数多項式環 Z[X1, …, Xn]【あるいは K[X1, …, Xn] 】は UFD となることが分かる。多変数の多項式環は PID ではない UFD の簡単な例である。

分解が一意とならない例

  • a, b を整数として



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

辞書ショートカット

すべての辞書の索引

「一意分解環」の関連用語











一意分解環のお隣キーワード
検索ランキング

   

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



一意分解環のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの一意分解環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS