一意分解環

数学における一意分解環あるいは素元分解環は、大雑把に言えば整数に対する算術の基本定理の如くに各元が素元の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環 fr とも呼ばれる。

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

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

1. 定義
-----

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

のように R}} の有限個の既約元の積として書くことができて、その表示が一意であるとき R}} は一意分解環であるという。ここで表示が一意であるとは、x}} が R}} の既約元 //q//1, ..., //q////m//}} によって再び

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

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

2. 一意分解環の例
----------

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

単項イデアル整域 , したがって任意のユークリッド環は UFD である。特に、有理整数環 Z}}、ガウス整数環 Z[//i//]}} やアイゼンシュタイン整数環 Z[ω]}} もこの仲間である。
体は零元でない任意の元が単元となる環であるので、自明な意味で UFD である。有理数体、実数体、複素数体などがこの範疇に含まれる。
R}} が一意分解環なら、R}} に係数を持つ多項式環 //R//[//x//]}} もまた UFD である。この特別の場合として、係数環が体 K}} である場合の多項式環 //K//[//x//]}} ももちろん UFD になる。もう少し一般に、以下のような例を与えることができる：

形式的冪級数環 //K//[[//X//1, ..., //X////n//]]}} は、K}} が体ならば UFD である。
決まった数の複素変数を持つ、原点で正則な函数全体の成す環は UFD である。
一変数多項式環の場合から帰納的に、有理整数環 Z}} 【あるいは、体 K}}】 上の多変数多項式環 Z[//X//1, …, //X////n//]【あるいは、//K//[//X//1, …, //X////n//]}} 】は UFD となることがわかる。多変数の多項式環は PID ではないような UFD の簡単な例である。

3. 分解が一意とならない例
--------------

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

4. 性質
-----

整数に対して定義される幾つかの概念が UFD に対しても一般化して定義される。

UFD では既約元は必ず素元である。また、ネーター整域はその任意の既約元が素元となるならば UFD であるという意味で、部分的に逆が成立する。
UFD のどの二つの元に対しても、最大公約元と最小公倍元が存在する。ここで、2 元 //a//, //b//}} の最大公約元とは a}} と b}} とをともに割り切る元d}} であって、他の公約元が全て d}} の約数となるもののことである。a}} と b}} の最大公約元は全て同伴である。
任意の UFD は整閉整域である。言い換えれば、R}} が整域で、K}} をその商体とすれば、K}} の元 k}} が R}} に係数を持つモニック多項式の根ならば k}} は必ず R}} に属する。

5. UFD となる条件の言い換え
-----------------

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

ネーター的ではない整域についても、それが UFD となることに同値な条件の言いかえができる。A}} を整域として、以下の条件は互いに同値である。

A}} が UFD である。
A}} の任意の 0}} でない素イデアルが素元を含む date=2018年10月}}。
A}} が主イデアルに関する昇鎖条件  を満たし、//S//}} が素元の生成する A}} の積閉集合ならば局所化 //S//−1//A//}} が UFD となる。
A}} が  を満足し、かつ、任意の既約元が素元である。
A}} が分解整域かつ任意の既約元が素元である。
A}} がGCD整域であって、 を満たす。
A}} がシュライヤー整域かつ分解整域である。
A}} が前シュライヤー整域かつ分解整域である。
A}} は任意の因子が単項生成であるという因子論  を持つ。
A}} はクルル環で、任意の因子的イデアルが主イデアルとなる。
A}} がクルル環で、しかも高さ 1 の素イデアルはすべて主イデアルである実用上は、2. と 3. の条件が UFD の確認にはもっとも有用である。たとえば PID において任意の素イデアルは素元によって生成されるから、2. から直ちに PID が UFD となることが従う。

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

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

edition=3}} Chapter II.5.
author=B. Hartley Chapter 4.
last=Samuel

8. 外部リンク
--------