メモ-1

$\mathfrak{a}\ne (1)$ の場合のみ考える. このとき, ある $\mathfrak{a}\subset \mathfrak{p}$ なる素イデアル $\mathfrak{p}$ について $f\notin \mathfrak{p}$ なるものが取れたならば, $B=(k[x_1,\dots ,x_n]/\mathfrak{p}{)}_f$ はゼロ環ではない. したがって極大イデアル $\mathfrak{m}$ を任意に取ると, $k$-代数の射 $A\to B/\mathfrak{m}$ が取れる. ここで $B/\mathfrak{m}$ は $k$ 上有限型の体であるため, $k$ と同型である. よってある $k^n$ の点 $(a_{\bullet })$ が存在してイデアル $(x_{\bullet }-a_{\bullet })$ は $A\to B/\mathfrak{m}$ の核となる. このとき $\mathfrak{p}\subset (x_{\bullet }-a_{\bullet })$ かつ $f\notin (x_{\bullet }-a_{\bullet })$ が成り立つため, 仮定に反する. よって $f\in \sqrt{\mathfrak{a}}$ が成り立つ.

$A$ を $k[X_1,\dots ,X_n]/P$ と表示する. このとき $P$ は $k[X_1,\dots ,X_n]$ の素イデアルとなる.

$k[X_1,\dots ,X_n]$ の相異なる素イデアル $P\subset Q$ について $k[X_1,\dots ,X_n]/P\to k[X_1,\dots ,X_n]/Q$ なる射影が取れる. このとき, 変数の取り換えにより $X_1,\dots ,X_d$ が $\mathrm{Q}(k[X_1,\dots ,X_n]/Q)$ の超越基底になるとしてよい. するとこれは $\mathrm{Q}(k[X_1,\dots ,X_n]/P)$ の超越基底となるため, ${\mathrm{trans}.\mathrm{deg}}_k(\mathrm{Q}(k[X_1,\dots ,X_n]/Q))\le {\mathrm{trans}.\mathrm{deg}}_k(\mathrm{Q}(k[X_1,\dots ,X_n]/P))$ となる.

このとき, 超越次元が一致しているならば, $S=k[X_1,\dots ,X_d]-\{0\}$ とおくと, $S$ は $P$ とも $Q$ とも非交である. このとき $R_S/P{R}_S$ は体となるため, $P\ne Q$ の仮定に反する.

よってこのことから $\mathrm{Krull}.\dim (A)\le {\mathrm{trans}.\mathrm{deg}}_k\mathrm{Q}(A)$ が言える.

逆に $\mathrm{Krull}.\dim (A)\ge {\mathrm{trans}.\mathrm{deg}}_k\mathrm{Q}(A)$ を示す。$A$ を $k[X_1,\dots ,X_n]/P$ と表示する. このとき, $X_1$ が $A$ で $k$ 上超越的であるとする. $k[X_1]-\{0\}$ を $S$ とおくと, $A_S/P{A}_S$ は $k(X_1)$ 上有限生成代数かつ整域となるため, ここで超越次元に対するる帰納法をまわすと, $A_S/P{A}_S$ の Krull 次元は ${\mathrm{trans}.\mathrm{deg}}_k\mathrm{Q}(A)-1$ となる. このとき, $A_S/P{A}_S$ の素イデアルの鎖 $Q_0\subset \dots \subset Q_d$ について $Q_d$ に対応する $k[X_1,\dots ,X_n]$ の素イデアルを $P_d$ とおくと, $k[X_1,\dots ,X_n]/P_d$ においては $X_1$ は $k$ 上超越的であるため, $k[X_1,\dots ,X_n]/P_d$ は $k$ 上有限型であることからこれは体ではない. 従って $P_d$ は $k[X_1,\dots ,X_n]$ の極大イデアルではないため, $A$ の Krull 次元は ${\mathrm{trans}.\mathrm{deg}}_k\mathrm{Q}(A)$ 以上である.