Bourbaki

Bài tập 1, § 3

Đại số giao hoán, X, p. 157

Cho ρ:A→B\rho : A \to B là một đồng cấu địa phương của các vành địa phương Noether, NN là một B-môđun sinh hữu hạn. Ta giả sử rằng các A-môđun BB và NN là phẳng.

a) Chứng minh đẳng thức dpB(N)=dpκA⊗AB(κA⊗AN)dp_B(N) = dp_{\kappa_A \otimes_A B}(\kappa_A \otimes_A N) (xét một phân giải của NN bởi các B-môđun tự do sinh hữu hạn).

b) Cho MM là một A-môđun sinh hữu hạn. Chứng minh đẳng thức

dpB(M⊗AN)=dpA(M)+dpB(N) dp_B(M \otimes_A N) = dp_A(M) + dp_B(N)

(Gọi KK (tương ứng LL) là một phân giải của A-môđun MM (tương ứng của B-môđun NN) bởi các môđun tự do sinh hữu hạn; chứng minh rằng K⊗ALK \otimes_A L là một phân giải của M⊗ANM \otimes_A N bởi các B-môđun tự do. Nếu dpA(M)=mdp_A(M) = m và dpB(N)=ndp_B(N) = n, hãy tính Hm+n(κB⊗B(K⊗AL))H_{m+n}(\kappa_B \otimes_B (K \otimes_A L)) theo Hm(κA⊗AK)H_m(\kappa_A \otimes_A K) và Hn(κB⊗BL)H_n(\kappa_B \otimes_B L). )

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-6. Chưa được người kiểm tra.