Notes on Atiyah's Commutative Algebra 8

(i)(ii)：8.1和8.3。(ii)(iii)：显然。(iii)(i)：8.5。

不妨设 是局部Artin环，那么按零点定理 是 的有限代数扩张，而 中有包含链