数学における一意分解環（いちいぶんかいかん、; 一意分解整域）あるいは素元分解環（そげんぶんかいかん）は、大雑把に言えば整数に対する算術の基本定理の如くに（特別の例外を除く）各元が素元（あるいは既約元）の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環  とも呼ばれる。

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

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

定義 
厳密には、整域  の零元でも単元でもない元  が何れも 
 
のように  の有限個の既約元の積として書くことができて、その表示が一意であるとき  は一意分解環であるという。ここで表示が一意であるとは、 が  の既約元  によって再び 
 ,
のようにも表せたとするならば、 であって、番号の適当な並べ替えを行う全単射 } を与えると、 と  とが  のそれぞれについて同伴  となるようにできるということを意味する。

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

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

もう少し一般に、以下のような例を与えることができる：
 形式的冪級数環  は、 が体（あるいはもっと一般に主イデアル整域）ならば UFD である（ が UFD であっても、冪級数環が必ずしも UFD とならないことに注意）。
 決まった数の複素変数を持つ、原点で正則な函数全体の成す環は UFD である。
 一変数多項式環の場合から帰納的に、有理整数環  【あるいは、体 】 上の多変数多項式環  】は UFD となることがわかる。多変数の多項式環は PID ではないような UFD の簡単な例である。

分解が一意とならない例 
  を整数として  の形に書ける複素数全体の成す  で 6 は のふた通りに分解される。この環における単元は  のみであり、 および  は同伴ではないので、このふた通りの分解は実際に異なる分解である。これらの4つの因子がいずれも既約元となることは、それほど明らかではないとしても、それを示すことは難しくない。代数的整数も参照。
 多項式環の剰余環は殆どが UFD にならない。例えば  を可換環とするとき、 は UFD ではない。二段階に分けてそれを示そう。
 まず、 は何れも既約元であることを示す。多項式の次数を使って  を次数環と見なすとき、 は -次であるから、X がふたつの零元でも単元でもない元の積に書けるとすれば、そのふたつの因子は 1-次の元  と -次の元  でなければならない。このとき  であるから  において 1-次の元  がイデアル  に属さなければならないが、このイデアルの零でない元は  より大きな次数を持たねばならないので、必然的に  は  における零元でなければならない。これより  が従うから、 は単元であることになり矛盾を生じる。ゆえに  は既約であり、同様に  の既約性も示される。
 次に、剰余環において関係式  が成立するから、 と  は同じ元を表している。先に述べたこととあわせれば、これはつまり  が同じ元の相異なるふたつの既約元分解を与えることを意味するから、 は UFD ではない。
 一変数正則函数環は、無限個の零点を持つ正則函数が存在して、そのような函数はたとえばのように無限個の既約因子を持つため、UFD とはならない。UFD においては有限個の因子に分解されなければならない。
 一般に、ネーター整域は必ずしも UFD ではない。任意のネーター整域において、零元でも単元でも無い元は必ず既約元の積として書けるけれども、この積としての表示が一意である必要は無い。

性質 
整数に対して定義される幾つかの概念が UFD に対しても一般化して定義される。
 UFD では既約元は必ず素元である（一般に、任意の整域において素元は必ず既約元であるが逆は必ずしも成り立たない）。また、ネーター整域はその任意の既約元が素元となるならば UFD であるという意味で、部分的に逆が成立する。
 UFD のどの二つ（あるいは有限個）の元に対しても、最大公約元と最小公倍元が存在する。ここで、2 元  の最大公約元とは  と  とをともに割り切る元（公約元） であって、他の公約元が全て  の約数となるもののことである。 と  の最大公約元は（複数存在したとしても）全て同伴である。
 任意の UFD は整閉整域である。言い換えれば、 が整域で、 をその商体とすれば、 の元  が  に係数を持つモニック多項式の根ならば  は必ず  に属する。

UFD となる条件の言い換え 
ネーター整域が UFD となる必要十分条件は、その高さ  の素イデアルがすべて単項イデアルとなることである。同様に、デデキント環が UFD となる必要十分条件は、そのイデアル類群が自明であることである。この場合は実際には主イデアル環となる。

ネーター的ではない整域についても、それが UFD となることに同値な条件の言いかえができる。 を整域として、以下の条件は互いに同値である。
  が UFD である。
  の任意の  でない素イデアルが素元を含む (Kaplansky)。
  が主イデアルに関する昇鎖条件 (ACCP) を満たし、 が素元の生成する  の積閉集合ならば局所化  が UFD となる（永田の判定条件）。
  が (ACCP) を満足し、かつ、任意の既約元が素元である。
  が（零元でも単元でも無い任意の元が既約元の有限積に表すことができる）かつ任意の既約元が素元である。
  がGCD整域（つまり、任意のふたつの元についてそれらの最大公約数が存在する整域）であって、(ACCP) を満たす。
  がシュライヤー整域かつ分解整域である。
  が前シュライヤー整域かつ分解整域である。
  は任意の因子が単項生成であるという因子論 (divisor theory) を持つ。
  はクルル環で、任意の因子的イデアルが主イデアルとなる。
  がクルル環で、しかも高さ 1 の素イデアルはすべて主イデアルである

実用上は、2. と 3. の条件が UFD の確認にはもっとも有用である。たとえば PID において任意の素イデアルは素元によって生成されるから、2. から直ちに PID が UFD となることが従う。

他の例としては、高さ 1 の素イデアルがすべて主イデアルであるようなネーター整域が考えられる。実際、任意の素イデアルが高さ有限だから、それは（高さに関する帰納法で）高さ 1 の素イデアルを含み、それは主イデアルと仮定したから、2. によりその環は UFD になる。

脚注

注釈

出典

参考文献 

 Chapter II.5.
 Chapter 4.

外部リンク  

抽象代数学
環論
数論
数学に関する記事