IVA読書会 chap02-sect05 宿題
No.5
i) $G=\{g_1,\dots ,g_t\} \subset I$ が $I$ のグレブナー基底であるとき、
$I$ の任意の元の先頭項が $\text{LT}(g_i)$ のいずれかで割り切れることを示す
$I$ の任意の元 $f \in I$ をとる。
定義1より、$\text{LT}(f) \in \text{LT}(I)$, $\text{LT}(f) \in \langle \text{LT}(I)\rangle$
また、グレブナー基底の定義より $\langle \text{LT}(I)\rangle = \langle\text{LT}(g_1),\ldots,\text{LT}(g_t)\rangle=\langle\text{LM}(g_1),\ldots,\text{LM}(g_t)\rangle$
命題3より、$\langle \text{LT}(I)\rangle$ は単項式イデアルであり、
§4補題2より、単項式イデアルの任意の元は、そのイデアルの生成元のいずれかで割り切れるから、
$\text{LM}(g_i) \,|\, \text{LT}(f)$ となる $i (1\le i \le t)$ が存在することが言える。
$\text{LM}(g_i)$ と $\text{LT}(g_i)$ は $0$ でない定数(先頭係数 $\text{LC}(g_i)$)の違いしかないので、$\text{LT}(g_i) \,|\, \text{LT}(f)$
$f$ の先頭項 $\text{LT}(f)$ は $\text{LT}(g_i)$ のいずれかで割り切れる。
ii) $G=\{g_1,\dots ,g_t\} \subset I$ について、$I$ の任意の元の先頭項が $\text{LT}(g_i)$ のいずれかで割り切れるとき、
$G$ は $I$ のグレブナー基底であることを示す
$I$ の任意の元 $f \in I$ をとると、$\text{LT}(g_i) \,|\, \text{LT}(f) \Leftrightarrow \text{LM}(g_i) \,|\, \text{LT}(f)$
$\langle\text{LM}(g_1),\ldots,\text{LM}(g_t)\rangle$ は単項式イデアルであり、
§4補題2より、ある単項式が単項式イデアルの生成元のいずれかで割り切れるならば、その単項式はそのイデアルに属すると言えるので、
$\text{LT}(f) \in \langle\text{LM}(g_1), \ldots ,\text{LM}(g_t)\rangle = \langle\text{LT}(g_1),\ldots,\text{LT}(g_t)\rangle$
$I$ の全ての元についてこれが成り立つため、$\text{LT}(I) \subset \langle\text{LT}(g_1),\ldots,\text{LT}(g_t)\rangle \Rightarrow \langle\text{LT}(g_1),\ldots,\text{LT}(g_t)\rangle \supset\langle\text{LT}(I)\rangle$
一方、$G \subset I$ であるから $\{\text{LT}(g_1), \ldots ,\text{LT}(g_t)\} \subset \text{LT}(I) \Rightarrow \langle\text{LT}(g_1),\ldots,\text{LT}(g_t)\rangle \subset \langle\text{LT}(I)\rangle$
従って、$ \langle\text{LT}(g_1),\ldots,\text{LT}(g_t)\rangle= \langle\text{LT}(I)\rangle$ となり、
これは定義5と同じであるから、$G$ は $I$ のグレブナー基底である。
i), ii) より、題意は満たされた。
□
No.11
$f=a_1 x_1 + \cdots + a_n x_n + c \quad (a_i \in k[x_1, \ldots , x_n],\quad c \in k)$ と表す。
$f \notin \langle x_1, \ldots , x_n \rangle$ という条件から、$f$ は $0$ でない定数項 $c$を持つ。
$\begin{eqnarray} \langle x_1, \ldots ,x_n,f\rangle &=& \langle x_1, \ldots ,x_n,c\rangle \qquad (\sum_{i=1}^n -a_i x_i + 1 \cdot f = c,\quad \sum_{i=1}^n a_i x_i + 1 \cdot c=f)\\ &=& \langle 1 \rangle \qquad\qquad\qquad (\sum_{i=1}^n {0 \cdot x_i} + \frac{1}{c} \cdot c = 1,\quad x_i \cdot 1 = x_i,\quad c \cdot 1 = c)\\ &=& k[x_1, \ldots ,x_n] \end{eqnarray}$
□
No.17
a.
イデアルの基底から左辺右辺の互いの多項式が生成できることを示す。(参考: 第1章§4演習問題2)
$1 \cdot (x^2-y) + 0 \cdot (y+x^2-4) = x^2-y$
$\frac{1}{2} \cdot (x^2-y) + \frac{1}{2} \cdot (y+x^2-4) = x^2-2$
より、$I = \langle x^2-y, y+x^2-4 \rangle \supset \langle x^2-y, x^2-2 \rangle$
$1 \cdot (x^2-y) + 0 \cdot (x^2-2) = x^2-y$
$(-1) \cdot (x^2-y) + 2 \cdot (x^2-2) = y+x^2-4$
より、$I = \langle x^2-y, y+x^2-4 \rangle \subset \langle x^2-y, x^2-2 \rangle$
従って、$I = \langle x^2-y, x^2-2 \rangle$
□
b.
$\left\{ \begin{array}{@{}1} x^2-y=0 \\ x^2-2=0 \end{array} \right.$
を解くと、$(x, y) = (\pm \sqrt{2}, 2)$
よって、${\bf V}(I) = \{(\pm \sqrt{2}, 2)\}$
□
