斉次イデアルの諸性質(property of the homogeneous ideal)
次数環(graded ring)
環Aに対して直和分解$$A=\oplus_{i\in N}A_{i}$$が与えられるとき,環Aを次数環という.ここでNは添字集合である.
一変数多項式環$k[x]$は$k[x]=\oplus_{i\in N}kx^i=k\oplus kx\oplus kx^2 \oplus ... $となり,明らかに次数環として見ることができる.
多項式環$k[x_1...k_n]$は単項式$x_1^{l1}...x_n^{l_n}$の次数を$l_1+...+l_n$で定義することにより,次数環として見ることができる.
ある$i\in N$が存在して$f\in A_{i}$を満たす時,$f$を斉次元という.
多項式環$k[x_1...x_n]$において$x_1,x_2,..,x_n$は斉次元であり,その次数は1である.また,$x_ix_j(0 \le i,j\le n)$は次数2の斉次元である.
$k=\mathbb{R}$としたとき,定数倍した$2x_1$なども斉次元である.
多項式環$k[x_1...x_n]$において$1+x_1$や$x_1+x_1^2$は斉次元でない.
斉次イデアルの諸性質
以下,次数環として多項式環のみを扱うこととする.また,$S=k[x_1...k_n]$とし,kは体とする.このとき,$S=\oplus _{d\ge 0}S_{d}$とかくことにする.ただし,$S_{d}$は次数$d$の元全体の集合である.
イデアル$\mathfrak{a}$が次をみたすとき,斉次イデアルという.
$$\mathfrak{a}=\oplus_{d\ge 0}(\mathfrak{a}\cap S_{d})$$
斉次イデアルのポイントは直和の形でかけるということにある.以下の例から斉次イデアルの性質を見ていこう.
$(x_1)$は斉次イデアルになる.実際,任意の$f\in (x_1)$に対して,$f=\sum_{i=1}^n \alpha_{i}x_{i} (deg(\alpha_{i})=i)$とかける.ここで,$deg(\alpha_{i}) $は$\alpha_i$の次数とする.各$i\in \{1...n\}$に対して$\alpha_{i}x_1\in (x_1)\cap S_{i}$となる.
直和に慣れている人からしたら当たり前のことであるが,斉次イデアルの元の各項は再び斉次イデアルの元であることが確認できた.このイメージは斉次イデアルを考える上では有用であろう.
$(x_1+x_1^2)$は斉次イデアルにはならない.実際,$x_1 \in (x_1+x_1^2) \cap S_1 $であるが$x_1 \notin (x_1+x_1^2)$となってしまう.
斉次イデアルに定義の特徴付けを与える.
$\mathfrak{a}$が斉次イデアルであることは,$\mathfrak{a}$が斉次元$f_1...f_l$で生成されたイデアルであることと同値である.
($\Rightarrow$)対偶を示す.つまり,$\mathfrak{a}
がf_1...f_l$で生成されたイデアルとし,生成元のうち少なくとも一つは斉次元でないものが取れるとする.斉次元でない生成元として$f_i$を取る.このとき,$f_i\cap S_d \notin\mathfrak{a}$なる$d$が存在する.もし,そのような$d$が存在しなければ,基底の和やスカラー倍によって,$f_i$を斉次元に書き換えることができる.実際,$f=\sum_{i=0}^{deg(f)}g_i$として,生成元に$g_i$を加えて,整理すれば斉次元のみからなる生成元の集合が作れる.これは仮定に矛盾してしまう.したがって,$\mathfrak{a}$は斉次イデアルではない.
($\Leftarrow$)生成元の個数$l$に関する帰納法を用いる.$l=1$のときは,明らか.(例5を参照せよ)$l=k$のとき,成り立っているとする.$l=k+1$のときに成り立っていることを示す.$f\in (f_1…f_{k+1})$を任意にとる.このとき,$f=\sum_{i=0}^{k+1}\alpha_i f_i$と表せる.$f=\sum_{d\ge 0}g_d$として$g_d=\sum_{i=1}^{k+1}\alpha_{id}f_i$となるが,帰納法の仮定から,$\sum_{i=1}^{k}\alpha_{id}f_i\in (f_1…f_{k})$.また,明らかに$\alpha_{(k+1)d}f_{k+1}\in(f_{k+1})$であるので$g_d=\sum_{i=1}^{k+1}\alpha_{id}f_i\in (f_1…f_{k+1})$となる.
斉次イデアルの生成元として,斉次元でないものを取ることができる.例えば,$(x_1,x_1+x_2^2)=(x_1,x_2^2)$である.つまり,斉次イデアルであることの同値条件は生成元として斉次元がとれる場合があるということである.
斉次元イデアルの和,積,共通部分,根基は再び斉次イデアルになる.
定理1を用いて,生成元に注目すれば証明は容易.
$\mathfrak{a}$が素イデアルであることは次と同値である.
$\forall f,g:斉次元\quad fg\in \mathfrak{a} \Rightarrow f\in \mathfrak{a}\quad or \quad g\in\mathfrak{a}$が成り立つ.
$(\Rightarrow)$明らか.
$(\Leftarrow)$
$fg\in\mathfrak{a}$を任意に取る.ここで,$f,g$を斉次元の和として,次のように表せる.$f=\sum_{i=1}^{degf}f_i,g=\sum_{j=1}^{degg}g_j$そこで,
$fg=\sum_{d}^{degf+degg}\sum_{d=i+j}f_i g_j$とかける.$\mathfrak{a}$は斉次イデアルであるので,$f_1 g_1 \in\mathfrak{a}$である.仮定から,$f_1\notin \mathfrak{a},g_1\in\mathfrak{a}$として良い.次に,$f_1g_2+f_2g_1\mathfrak{a}$から,$g_2\in\mathfrak{a}$である.実際,$f_1g_2\in\mathfrak{a}$と仮定から,$g_2\in\mathfrak{a}$がわかる.このように帰納的に$g_i\in\mathfrak{a}(\forall i\in \{1…degg\})$がわかる.したがって,$g\in\mathfrak{a}$.よって,$\mathfrak{a}$は素イデアルになる.
参考文献
この記事を高評価した人
この記事に送られたバッジ
投稿者
