Bài tập 4, § 5

Cho $A$ là một vành địa phương Noether chính quy. Khi đó có $\dim(A) = \mathrm{dh}(A)$. (Để chứng minh rằng có $\mathrm{dh}(A) \leq \dim(A)$, dùng phức Koszul liên kết với một hệ tọa độ. Khi đó xác định các nhóm $\mathrm{Ext}_A^i(k_A, k_A)$.)