Bourbaki

Bài tập 15, § 3

Đại số giao hoán, X

Cho AA là một vành địa phương Noether, MM là một AA-môđun sinh hữu hạn và có chiều đơn ánh hữu hạn.

a) Cho p∈Supp⁡(M)p \in \operatorname{Supp}(M). Chứng minh đẳng thức prof⁡(A)=prof⁡(Ap)+dim⁡(A/p)\operatorname{prof}(A) = \operatorname{prof}(A_p) + \dim(A/p). (Đặt p=prof⁡(Ap)p = \operatorname{prof}(A_p) và q=dim⁡(A/p)q = \dim(A/p); nhận xét rằng ta có p=di⁡Ap(Mp)p = \operatorname{di}_{A_p}(M_p), do đó Ext⁡App(κ(p),Mp)≠0\operatorname{Ext}^{p}_{A_p}(\kappa(p), M_p) \neq 0 và do đó Ext⁡Ap+q(κA,M)≠0\operatorname{Ext}^{p+q}_{A}(\kappa_A, M) \neq 0 theo Bổ đề 3 của § 1, No. 7, điều này kéo theo prof⁡(A)=di⁡A(M)=p+q.\operatorname{prof}(A) = \operatorname{di}_A(M) = p + q .) Nếu Supp⁡(M)=Spec⁡(A)\operatorname{Supp}(M) = \operatorname{Spec}(A), AA là một vành Macaulay.

b) Chứng minh đẳng thức grade⁡(M)+dim⁡(M)=prof⁡(A)\operatorname{grade}(M) + \dim(M) = \operatorname{prof}(A) (dùng a) và Bài tập 15 của § 1).

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.