Aritalab:Lecture/Math/Ideal

Revision as of 09:29, 6 August 2012

アフィン多様体

アフィン多様体の定義

体 k を係数とする多項式 f₁, ... , f_s ∈ k[ x₁, ... , x_n ] に対するアフィン多様体を V( f₁, ... , f_s ) = { (a₁, ... , a_n) ∈ k² : ∀i f_i( a₁, ... , a_n ) = 0 と定義する。アフィン多様体は滑らかでない点をもつ場合があり、特異点 (singular point) と呼ばれる。

• 多項式の個数が多様体の次元をきめるとは限らない。例えば 3 次元空間における多様体 V(xz, yz) は xz = yz = 0 から (x,y) 平面全体と z 軸全体を意味する。
• m元連立一次方程式の解はアフィン多様体である（線形多様体という）。その次元は体 k の次元 n から方程式を表現する行列のランクを引いたもの。

２つのアフィン多様体が V = V(f₁, ... , f_s), W = V(g₁, ... , g_t) とあらわされるとき

V ∩ W = V(f₁, ... , f_s, g₁, ... , g_t)

V ∪ W = V( f_ig_i : 1 ≦ i ≦ s, 1 ≦ j ≦ t)

となる。

イデアル

イデアルの定義

部分集合 I ⊂ k[ x₁, ... , x_n ] がイデアルであるとは

1. 0 ∈ I
2. f, g ∈ I ならば f + g ∈ I
3. f ∈ I かつ h ∈ k[ x₁, ... , x_n ] ならば hf ∈ I

を全て満たす場合をいう。

f₁, ... , f_s を多項式の集合 k[ x₁, ... , x_n ] に含まれる式とする。 < f₁, ... , f_s > = Σ^s_i=1 h_if_i : h_i ∈ k[ x₁, ... , x_n ] と定義すれば、これは f₁, ... , f_s により生成されるイデアルである。

証明

< f₁, ... , f_s > は多項式集合に含まれる要素と f₁, ... , f_s との線形和である。 零元を含み、和と積について閉じているのはあたりまえ。

逆に任意のイデアル I について I = < f₁, ... , f_s > となる多項式 f₁, ... , f_s を用意することができ、これを I の基底という。同じイデアルは多くの異なる基底を持ちうるが、それらの張るアフィン多様体は一致する。

例

< 2 x² + 3 y² - 11 , x² - y² - 3 > = < x² - 4, y² - 1 > を示そう。

前者における２つの式から まず x² を消去すると y² - 1 = 0 が得られる。また y² を消去すると x² - 4 = 0 が得られる。つまり < x² - 4, y² - 1 > となる。

アフィン多様体 V に対し I(V) = { f ∈ k[ x₁, ... , x_n ] : ∀ (a₁, ... , a_n) ∈ V, f(a₁, ... , a_n) = 0 } とおくと I(V) はイデアルになる。これを V のイデアルと呼ぶ。

証明

I(V) は零元を含んでる。また f, g ∈ I(V) と仮定したとき、 f + g も 0 になるし 0 に h ∈ k[ x₁, ... , x_n ] をかけても 0 なのでイデアルになる。

例

k² の原点のみからなる多様体 { (0,0) } のイデアルは原点で消える全ての多項式からなるので I( { (0,0) } ) = <x,y>.

kⁿ 全体からなる多様体のイデアルは、至るところで消える多項式からなるので I(kⁿ) = { 0 }.

よじれ3次曲線 V(y - x², z - x³) からなる多様体のイデアルは < y - x², z - x³ >.

ただし、多項式 f₁, ... , f_s からなる多様体のイデアルが常に < f₁, ... , f_s > とは限らない。通常は < f₁, ... , f_s > ⊂ I ( V(f₁, ... , f_s) ) となる。

例

x², y² からなる多様体は x² = 0, y² = 0 より原点のみである。そのイデアルは <x,y> であり、<x², y²> よりも真に大きい。

一般に２つのアフィン多様体 V, W が与えられたとき

• V ⊂ W と I(V) ⊃ I(W) は同値
• V = W と I(V) = I(W) は同値

となる。イデアルは多様体の基底となる制約を意味するため、より範囲の大きな多様体の制約（イデアル）は小さくなる。

単項式イデアルの定義

イデアル I ∈ k[x₁, ... , x_n] が単項式の和として表せる多項式全体からなるとき (∑_α∈Ah_αx^α)、単項式イデアル (monomial ideal) といい、 I = < x^α: α ∈ A> と書く。

補題

I を単項式イデアルとすると、x^β ∈ I であることと、α ∈ A となる x^α が x^β を割り切ることは同値

証明

x^α ∈ I が x^β を割り切る場合は自明。x^β ∈ I のとき x^β のとき x^β = ∑_α∈Ah_αx^α となる。右辺の多項式 h_α 部分を整理しても必ず x^α で割り切れる。

補題

I を単項式イデアルとすると、f ∈ I の必要十分条件は f を構成する項が全て I に属すること

系

２つの単項式イデアルが同じであることと、そこに含まれる単項式全体が一致することは同値

ディクソンの補題

単項式イデアル I = < x^α: α ∈ A> は有限個の単項式を選んで基底にできる。

証明

変数の数 n に関する帰納法で証明する。 n = 1 のとき、I は単項式 x^α (α ∈ A) で生成される。このとき、A 中の最小元を β とすれば β ≤ α となり x^β は x^α を割り切る。よって I = <x^β> となる。次に n - 1 のときに命題が成り立つとして、 n のときを証明する。I ⊂ k[x₁, ..., x_n-1, y] を単項式イデアルとする。この中に x^αy^m ∈ I が存在する。まず、変数の一つ少ない単項式イデアル、J ⊂ k[x₁, ..., x_n-1] を構成し、有限個の生成元をとる。

• J = < x^α(0), x^α(1), ... , x^α(s) >

次に、y^M に対して以下のイデアルを順次構成する。

1. M=0のとき x^α(0), x^α(1), ... , x^α(s₀) という有限個の基底が帰納法の仮定により存在
2. M=1のとき x^α(0)y, x^α(1)y, ... , x^α(s₀)y という有限個の基底が帰納法の仮定により存在
3. ...
4. M=m-1のとき x^α(0)y^m-1, x^α(1)y^m-1, ... , x^{α(s₀)</su>ym-1 という有限個の基底が帰納法の仮定により存在}

I に含まれる全ての単項式は上記の基底のいずれかで割り切れるため、上の各生成元も I に属している。こうして得られる元の集合は、A の有限部分集合になっている。

具体例を見てみる。たとえば I = < x⁴y², x³y⁴, x²y⁵ > を考える。ここで x の指数は 2 以上であるため y を減らした際のイデアル J = < x² > となる。また m = 5 となる。m の数に従うスライスは

1. m = 0, m = 1 のとき { 0 }
2. m = 2, m = 3 のとき < x⁴ >
3. m = 4 のとき < x³ >

これらをあわせると I = < x²y⁵, x⁴y², x⁴y³, x³y⁴ > となる。

系６

大小記号 > が整数上の二項関係で全順序、かつ α > β のときに α + γ > β + γ であるなら、> が整列順序であることと比較対象が 0 以上の整数であることは同値になる。

証明

⇒方向は、整列順序であると仮定し、最小元が 0 以上の整数であることを示せばよい。最小元が負の数であると 0 > a₀ と書けるので両辺に a₀ を足して a₀ > 2 a₀ となるから矛盾する。⇐方向は、 0 以上の整数が要素となる集合が最小元を持つことを示せればよい。 I = < x^α : α ∈ A > は単項式イデアルである。よって有限個の基底が存在する。この基底の中に最小元が存在する。