一意分解整域 | 単元倍を除いて分解が一意的であることから、既約元が素元であることを証明

2023年5月11日

一意分解整域 （素元分解整域）においては、既約元は素元です。

このことを証明するために、分解が単元倍を除いて一意的であることを示します。

零でなく単元でもない元は、素元の積として単元倍を除いて一意的に表されるという状況下において、既約元や素元の定義を考えます。

すると、既約元が素元であることが、自ずと明らかになります。

この記事では、可換環 R は乗法単位元 1 をもつ整域としています。

一意分解整域 :定義の確認

整域 R において、任意の 0 でも単元でもない元が、素元の積として表されるとき、R を一意分解整域といいます。

単元は、R において定義されている乗法について、逆元をもつ元のことです。

素元と既約元の定義は、次のようになっています。

【素元の定義】
a ∈ R が 0 でも単元でもないとする。
そして、「a|bc (b, c ∈ R) ならば a|b または a|c」が成立するとき、a を R における素元という。
　
【既約元の定義】
a ∈ R が 0 でも単元でもないとする。
そして、「a = bc (b, c ∈ R) ならば b または c が単元である」ということが成立するとき、a を R における既約元という。

ブログ素元 既約元より

x ∈ R が、0 でも単元でもないときに、
x =up₁p₂…p_n（u は単元、p_i は素元）と表されるということです。

整数環についての素因数分解を一般化したものが、一意分解整域です。

整数環については、素元と既約元が同じであることを引用した記事で示しています。

先頭の単元 u について、単元倍のズレということも考えられます。

例えば、複素係数の多項式で単元倍のズレを見てみます。

このように、
x + 1 = 3(3^-1x + 3^-1) と単元倍を使って書き換えられるときもあります。

ただし、この単元倍を除いて、素元たちの積を用いた分解は一意的であることが証明できます。

この記事では、一意分解整域に既約元が素元と一致しているということを示すことを目指します。
※ 整域において、「素元ならば既約元」ということは成立します。

ここで、単元についての性質を導いておきます。

単元についての補題

【補題】

可換環 R を乗法単位元 1 をもつ整域とする。
x₁, … , x_r ∈ R に対して、
積 x₁…x_r が単元ならば、各 x_i は単元である。

＜証明＞

r = 1 のときは、x₁ が単元なので、成立しています。そのため、r が 2 以上だとして、議論を進めます。

x₁…x_r が単元という仮定から、
この積の逆元 y ∈ R が存在し、
(x₁…x_r)y = 1 となります。

ここで、可換環 R の一般結合律と交換律から、
各 i (1 ≦ i ≦ r) について、
1 = (x₁…x_r)y =
x_i(x₁…x_i-1x_i+1…x_ry) です。

よって、x₁…x_i-1x_i+1…x_ry は x_i の乗法逆元です。【証明完了】

では、素元分解の一意性を証明します。

一意分解整域 :分解の一意性証明

【定理１】

u, v を R の単元とし、p_i, q_j を R の素元とする。

このとき、up₁…p_r = vq₁…q_s ならば、各 i について、q₁, … , q_s を適当に並び替えて番号をつけ替えると、q_i は p_i の単元倍である。

ただし、r は 1 以上とする。

＜証明＞

r = 0 とすると、u = vq₁…q_s

u は単元なので、vq₁…q_s は単元です。

【補題】より、各因子たちは単元となります。

一方、素元の定義から、素元は単元ではないので、s = 0 でなければなりません。

したがって、r = 0 のときは、u と v が同じ単元ということです。そのため、ただし書きで、r が 1 以上としています。

以下、r についての帰納法で、この命題を示します。

u^-1v = x と置くと、p₁…p_r = xq₁…q_s

p₁ について、ある q_i は q_i ∈ Rp₁ となっています。

実際、もし、q₁ が Rp₁ に含まれていないとすると、p₁ が素元なので、
xq₂…q_s ∈ Rp₁ となります。

x は単元なので、
q₂…q_s ∈ x^-1Rp₁ ⊂ Rp₁

p₁ は素元なので、
ある i について、q_i ∈ Rp₁

はじめに、q₁ が Rp₁ に含まれていないとしましたが、含まれていたら、i = 1 とします。

いずれにせよ、
ある i について、q_i ∈ Rp₁

ここで番号をつけ替えます。

q_i = q_1′, 残りを q_2′, … , q_s’ と表すことにします。

今、q_1′ ∈ Rp₁ なので、ある a ∈ R が存在して、
q_1′ = ap₁

R は整域なので、素元は既約元だから、q_1′ は既約元です。

既約元の定義から、a または p₁ は単元であり、p₁ は素元なので単元ではないため、a が単元となります。

よって、
p₁…p_r = xq₁…q_s
= xa^-1q_1′q_2′…q_s’

r = 1 の場合、s = 1 となります。

もし、s ≧ 2 だとすると、p₁ = a^-1q_1′ だから、
a^-1q_1′p₂…p_r = xa^-1q_1′q_2′…q_s’

つまり、
a^-1q_1′(p₂…p_r－xq_2′…q_s’) = 0

a^-1q_1′ ≠ 0 であり、R が整域だから、
p₂…p_r = xq_2′…q_s’

帰納法より、各 j (2 ≦ j ≦ r) について、
q_j’ は p_j の単元倍であり、
r = s’

q_1′, … , q_s’ は q₁, … , q_s を並び替えて番号をつけ替えたものなので、
r = s【証明完了】

素元分解の一意性を用いて、一意分解整域において既約元が素元であることを導きます。

既約元が素元であることの証明

【定理２】

一意分解整域 R において既約元は素元である。

＜証明＞

a ∈ R を既約元とします。

すると、既約元は 0 でも単元でもないので、【定理１】によって、素元の積の形に単元倍を除いて一意的に分解されます。

すなわち、
a = p₁p₂…p_r（各 p_i は素元）

ここで、r ≧ 2 だと仮定します。

a が既約元なので、既約元の定義から、
p₁ または (p₂…p_r) が単元となります。

素元の定義から、p₁ は単元でないので、
(p₂…p_r) が単元となります。

すると、
【補題】より、p₂, … , p_r が単元となります。これは、素元が単元でないことに矛盾です。

よって、背理法から、r = 1 となります。

すなわち、a = p₁（p₁ は素元）

これで、既約元 a が素元であることが示せました。【証明完了】

素元分解の一意性から、既約元が素元であることが導かれました。

ここで、役に立った一意分解整域における分解の一意性ですが、逆に分解の一意性を仮定すると、R が一意分解整域であることが導けます。

逆を考えるのも大切

【定理３】

可換環 R を乗法単位元 1 をもつ整域とする。

このとき、R の任意の 0 でも単元もない元が、単元倍を除いて既約元の積の形に一意的に表すことができるならば、R は一意分解整域である。

＜証明＞

仮定より、既約元が素元であることを示せば、R が一意分解整域ということが示せたことになります。

x ∈ R を既約元とします。そして、Rx という x の倍元全体から成るイデアルを考えます。

ab ∈ Rx とすると、ab は x の倍元です。

よって、ある t ∈ R が存在して、
ab = tx

この a と b を仮定によって、既約元の積の形に分解します。

a = up₁p₂…p_r,
b = vq₁…q_s

ここで、u, v は単元で、p_i, q_j は既約元です。

今、uvp₁p₂…p_rq₁…q_s は x の倍元となって、
(uv)^-1tx = p₁p₂…p_rq₁…q_s

ここで、p₁p₂…p_rq₁…q_s を y と置きます。

t の既約元による分解を
t = hz₁…z_k（h は単元で z_j は既約元）とすると、
p₁p₂…p_rq₁…q_s = y
= ((uv)^-1h)z₁…z_kx

ここで、仮定より、y についての既約元の積への分解の一意性から、既約元 x は、
p₁, p₂, … , p_r, q₁, … , q_s のいずれかに等しいことになります。

x = p_i とすると、
a = up₁p₂…p_r
= uup₁…p_i-1xp_i+1…p_r ∈ Rx

x = q_j とすると、
同様にして、b ∈ Rx

すなわち、a が x の倍数、または b が x の倍数ということを示しています。

よって、素元の定義が確認できたので、x は素元です。【証明完了】

以上より、一意分解整域において、既約元は素元と一致していて、
「【定理１】ならば【定理３】」と「【定理３」ならば【定理１】」が導けました。

実は、単項イデアル整域を一般化したものが一意分解整域です。

ここからは、このことを示します。

単項イデアル整域は一意分解整域

乗法単位元 1 をもつ可換環 R の元を a と b とします。また、b は 0 でないとします。

a が b の倍元（b が a の約元）となっているとき、ある c ∈ R が存在して、a = cb と表すことができます。

このとき、Ra, Rb というイデアルを考えます。

Ra は a の倍元全体で、a 一元で生成されている単項イデアルです。

Rb も同じく b で生成されている単項イデアルです。

a = cb (∃c ∈ R) ということは、Ra ⊂ Rb と同値です。

実際、a = cb (∃c ∈ R) とすると、
Ra = Rcb = (Rc)b ⊂ Rb

逆に、Ra ⊂ Rb だとすると、R は 1 をもつため、
a ∈ Ra ⊂ Rb です。

このため、ある c ∈ R が存在して、
a = cb となります。

この倍元と約元の関係についてのイデアルを用いた言い換えですが、c が単元でないときのことを考えてみます。

単元とは、0 でない R の元で、乗法逆元をもつもののことです。

【命題１】

a, b, c ∈ R について、b は 0 でなく c が単元でないとする。

そして、a = cb となっていたとする。

このとき、Ra は Rb に真に含まれる。

＜証明＞

もし、Ra = Rb だと仮定します。

すると、b ∈ Ra より、
ある r ∈ R が存在し、b = ra と表すことができます。

a = cb なので、b = r(cb) = (rc)b

右辺を左辺に移項すると、R が 1 をもつことから、b(1 － cr) = 0

b ≠ 0 であり、
R が整域なので、1 － cr = 0

つまり、cr = 1 ということになります。

しかし、これは c が単元であるということになり、c が単元ではないということに矛盾します。

ゆえに、背理法から、Ra は Rb と等しくないということになります。

a = cb なので、Ra ⊂ Rb となっていることと合わせると、Ra は Rb に真に含まれているということになります。【証明完了】

単項イデアル整域が素元分解整域であることの証明で、この【命題１】の内容を使って、単項イデアルの上昇列を考えます。

ちなみに、a ∈ R について、イデアル Ra が 1 を含むと、a が単元ということになります。

包含関係について

【命題２】

R を乗法単位元 1 をもつ可換環とし、M を R とは異なる R のイデアルとする。

このとき、M を含む R のイデアル全体の中に、包含関係について極大なイデアル N が存在する。

ただし、M が R の極大イデアルであるときは、M 自身を N とする。

＜証明＞

M を含む R と異なる R のイデアルをすべて集めたものを I とします。

この I は、包含関係を順序として、帰納的です。

T ⊂ I を任意の全順序部分集合系とすると、T に属するイデアルすべての和集合は、R と異なる R のイデアルとなるからです。

実際、T に属するイデアルすべての和集合を∪_λW_λ とすると、1 ∈ R は、この和集合に含まれません。

1 ∈ ∪_λW_λ とすると、和集合の定義から、ある μ が存在して、1 ∈ W_μ

W_μ は 1 を含む R のイデアルなので、W_μ が R と一致してしまいます。これは、W_μ が R と異なる R のイデアルであったことに反してしまいます。

そのため、1 が ∪_λW_λ に含まれないため、この和集合が R とことなる R のイデアルということになります。
※ イデアルの定義の確認は、後で同じような証明をするため、省略します。T が全順序であることから、加法で閉じていることが示せます。

よって、∪_λW_λ が T の上界となっていることが確認できました。任意の全順序部分集合系が上に有界なので、ツォルンの補題から、I には極大元が存在します。

この N ∈ I が求める包含関係についての極大なイデアルです。【証明完了】

導き出した N ですが、R における極大イデアルかどうかは定かではないので注意です。

示したい定理の前に、定義を再確認しておきます。

素元分解整域（一意分解整域）の定義は、任意の 0 でも単元でもない元 a が、
a = up₁p₂…p_n と単元 u と 素元 p_i たちを用いて表せるということです。

この素元による分解は、単元倍を除いて一意的です。

a 自身が素元のときは、
a = 1a を a の素元分解とします。

示したい定理

【定理】

零環ではない乗法単位元 1 をもつ可換環を R が整域とする。

R が単項イデアル整域ならば、R は素元分解整域（一意分解整域）である。

長くなったので、証明は、イデアルの積という記事の最後で述べることにします。

これで、今回の記事を終了します。

読んで頂き、ありがとうございました。