代数的整数論 - 暇つぶし2ch

代数的整数論 at MATH

446:208
05/10/20 12:32:43
命題
A をネーター環、x を rad(A) (>>238) の元とすれば。
dim(A) ≦ dim(A/xA) + 1 となる。

証明
dim(A) が 0 または 1 のときは明らか。
よって、
p_0 ⊃ p_1 ⊃ ... ⊃ p_n を A の長さ n ≧ 2 の素イデアル鎖で
x ∈ p_0 なら、長さ n-1 の素イデアル鎖
p_0 ⊃ q_1 ⊃ ... ⊃ q_(n-1) で x ∈ q_(n-1) となるものが存在
することを示せばよい。n に関する帰納法を使う。
x ∈ p_1 なら帰納法の仮定を使えばよいから、x は p_1 に含まれない
とする。よって、補題(>>445)を使えばよい。
証明終

次ページ

続きを表示

1を表示