Prime avoidanceについて

Prime avoidanceについてのメモ

Prime avoidanceという定理(補題?)はネーター局所環の巴系の存在を示すときに使ったり他いろいろ重宝します. ここでのPrimeは素イデアルなのですが, ただのイデアルじゃダメなんですか?と思ったわけです. 今回ダメな例を見つけたのでメモとして残します.

まずはPrime avoidanceの主張を書きます.

定理1 (Prime avoidance) $R$ のイデアル $I$ と素イデアル $P_1\dots,P_n$ に対し,$I\subset \bigcup_i P_i$ ならば, $I\subset P_j$ となる $j$ が存在する.

上の定理において $P_i$ のうち２つまでは素イデアルでなくても成り立ちます. このことは松村 [1] の演習問題【1.6】にもなっています.

では素イデアルでないものが3つの場合を考えます. すると次の例があります.

例2 $R=\mathbb{Z}[X,Y]/(X^2,Y^2,XY,2X,2Y)$, $P_1=(X)$, $P_2=(Y)$, $P_3=(X+Y)$, $I=(X,Y)$ とおく. このとき, $I\not\subset P_i$ $(\forall i)$ だが, $I\subset P_1\cup P_2\cup P_3$ である.

$\mathbb{Z}$ は $\mathbb{Z}/2\mathbb{Z}$ で置き換えてもよいです.

成り立つ方向ではどうか

ここからはおまけ. 実は次が成り立ちます. 証明は[2, Lemma13.2]を参考にしました.

定理3 $R$ の $l$ 個の元 $\mu_1,\dots,\mu_l$ で $\mu_i-\mu_j\in R^\times$, $\forall (i,j), i\not=j$ となるものが存在するとする. イデアル $I$ は $r$ 個の元 $a_1,\dots,a_r$ で生成されているとする. このとき, イデアル $P_1\dots,P_n$ に対し, $l+1>(r-1)n$ かつ $I\subset P_i$ となるならば $I\subset P_j$ となる $j$ が存在する.

[証明] $b_k=a_1+\mu_ka_2+\mu_k^2a_3+\cdots+\mu_k^{r-1}a_r$ とおく. また $b_0=a_r$ とおく. $b_k\in I\subset \bigcup_i P_i$ である. $l+(r-1)>(r-1)n$ なので鳩ノ巣原理より, ある $j$ に対し, $k_1,\dots,k_r$ が存在し, $b_{k_1},\dots,b_{k_r}\in P_j$ となる. まず $k_i>0$ $(\forall i)$ とする. ここでVandermonde行列

$A=\left( \begin{array}{cccc}1 & \mu_{k_1} & \dots & \mu_{k_1}^{r-1}\\1 & \mu_{k_2} & \dots & \mu_{k_2}^{r-1}\\\vdots & \vdots & & \vdots\\1 & \mu_{k_r} & \dots & \mu_{k_r}^{r-1}\end{array}\right)$

を考えると, $\det A=\prod_{i<j}(\mu_{k_j}-\mu_{k_i})\in R^\times$ だから, $A$ は可逆である. よって, $A(a_1,\dots,a_r)^T=(b_{k_1},\dots,b_{k_r})^T$ であることより, $b_{k_1},\dots,b_{k_r}$ も $I$ の生成系である. すると $b_{k_1},\dots,b_{k_r}\in P_j$ なので, $I\subset P_j$ である. $k_1,\dots,k_r$ の中に $0$ が現れるときは $k_1=0$ としてよい. すると行列

$A'=\left( \begin{array}{cccc}0 & \dots & 0 & 1\\1 & \mu_{k_2} & \dots & \mu_{k_2}^{r-1}\\\vdots & \vdots & & \vdots\\1 & \mu_{k_r} & \dots & \mu_{k_r}^{r-1}\end{array}\right)$

は先程と同様に可逆なので $b_{k_1},\dots,b_{k_n}$ が $I$ の生成系である. ゆえに $I\subset P_j$ となる.□

定理が適用できる場合を考えます. たとえば $R$ が体 $K$ を含むとき, あるいは $R$ が局所環で剰余体が $K$ のとき, $|K|$ 個の元 $\mu_\lambda$ で $\mu_\lambda-\mu_{\lambda'}\in R^\times$ となるものが存在します(こう書くことを許してください). よって $|K|+1>(r-1)n$ なら $r$ 元生成のイデアル $I$ と $n$ 個のイデアル $P_1,\dots,P_n$ に対し, avoidanceができるわけです.

参考文献

[1] 松村英之, 復刊 可換環論, 共立出版, 2000.

[2]G. L. Leuschke and R. Wiegand, Cohen-Macaulay Representations. Mathematical
Surveys and Monographs 181, American Mathematica Society 2012.