05/10/20 14:39:02
命題
A をネーター環、x_1, ... , x_r を rad(A) (>>238) の元とすれば。
dim(A) ≦ dim(A/x_1A + ... + x_rA) + r となる。
証明
r に関する帰納法。r = 1 のときは、>>446 そのもの。
r > 1 とし、B = dim(A/x_2A + ... + x_rA) とする。
x_1 の B における像を y とすると、再び >>446 より
dim(B) ≦ dim(B/yB) + 1
B/yB は、A/x_1A + ... + x_rA に同型である。
よって、
dim(A/x_2A + ... + x_rA) ≦ dim(A/x_1A + ... + x_rA) + 1 となる。
一方、帰納法の仮定より、
dim(A) ≦ dim(A/x_2A + ... + x_rA) + r - 1 となる。
よって、dim(A) ≦ dim(A/x_1A + ... + x_rA) + r となる。
証明終