ウィキペディアにおけるUFD (Userpages for deletion)については、「Wikipedia:利用者ページの削除依頼」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2018年7月）

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

環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体

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

厳密には、整域 R の零元でも単元でもない元 x が何れも x = p1 p2 … pn

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

のようにも表せたとするならば、m = n であって、番号の適当な並べ替えを行う全単射 φ: {1, …, n} → {1, …, m} を与えると、pi と qφ(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 を整数として a + b − 5 {\displaystyle a+b{\sqrt {-5}}} の形に書ける複素数全体の成す二次の整数環（英語版） Z [ − 5 ] {\displaystyle \mathbb {Z} [{\sqrt {-5}}]} で 6 は
6 = 2 ⋅ 3 = ( 1 + − 5 ) ( 1 − − 5 ) {\displaystyle 6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})}

の2通りに分解される。この環における単元は 1, −1 のみであり、2, 3, 1± √−5 は同伴ではないので、この2通りの分解は実際に異なる分解である。これらの4つの因子がいずれも既約元となることは、それほど明らかではないとしても、それを示すことは難しくない。代数的整数も参照。

多項式環の剰余環は殆どが UFD にならない。例えば R を可換環とするとき、R[X, Y, Z, W]/(XY − ZW) は UFD ではない。二段階に分けてそれを示そう。まず、X, Y, Z, W は何れも既約元であることを示す。多項式の次数を使って R[X, Y, Z, W]/(XY − ZW) を次数環と見なすとき、X は 1次であるから、X が2つの零元でも単元でもない元の積に書けるとすれば、その2つの因子は 1次の元 αX + βY + γZ + δW と 0次の元 r でなければならない。このとき X = rαX + rβY + rγZ + rδW であるから R[X, Y, Z, W] において 1次の元 (rα − 1)X + rβY + rγZ + rδW がイデアル (XY − ZW) に属さなければならないが、このイデアルの零でない元は 2 より大きな次数を持たねばならないので、必然的に (rα − 1)X + rβY + rγZ + rδW は R[X, Y, Z, W] における零元でなければならない。