Bourbaki

Bài tập 13, § 2

Đại số, II, p. 185

Bourbaki marks this one as harder than the rest.

a) Cho AA là một vành, II là một AA-môđun đơn ánh (bài tập 11), sao cho, với mọi AA-môđun đơn sinh khác không EE, tồn tại một đồng cấu AA khác không từ EE vào II. Cho MM là một AA-môđun, NN là một môđun con của MM, N~\tilde{N} là tập hợp các u∈HomA(M,I)u \in \mathrm{Hom}_A(M, I) sao cho u(x)=0u(x) = 0 trong NN. Bây giờ chứng minh rằng với mọi y∉Ny \notin N, tồn tại một u∈N~u \in \tilde{N} sao cho u(y)≠0u(y) \neq 0. b) Cho AA là một vành. Với mọi song môđun (A,A)(A, A) TT, và mọi AA-môđun trái (tương ứng phải) MM, HomA(M,T)\mathrm{Hom}_A(M, T) được trang bị một cách chính tắc một cấu trúc AA-môđun phải (tương ứng trái) xuất phát từ cấu trúc của TT, và có một đồng cấu AA chính tắc cM,T:M→HomA(HomA(M,T),T)c_{M, T} : M \to \mathrm{Hom}_A(\mathrm{Hom}_A(M, T), T) sao cho cM,T(x)c_{M, T}(x) là đồng cấu AA u↦u(x)u \mapsto u(x). Bây giờ chứng minh rằng nếu II là một song môđun (A,A)(A, A) mà, với tư cách là một AA-môđun trái, thỏa mãn các điều kiện của a), thì đồng cấu chính tắc cM,Ic_{M, I} là đơn ánh với mọi AA-môđun trái MM. c) Giả sử rằng II là một song môđun (A,A)(A, A), rằng nó là đơn ánh như một AA-môđun trái và AA-môđun phải, và rằng với mọi AA-môđun đơn sinh (trái hoặc phải) E≠0E \neq 0, tồn tại một đồng cấu AA khác không từ EE vào II. Bây giờ chứng minh rằng dưới các điều kiện này, nếu PP là một AA-môđun trái xạ ảnh (tương ứng phải), HomA(P,I)\mathrm{Hom}_A(P, I) là một AA-môđun phải (tương ứng trái) đơn ánh. (Giả sử rằng PP là một AA-môđun trái xạ ảnh. Nhận xét rằng với mọi môđun con N′N' của một AA-môđun phải NN, HomA(N′,I)\mathrm{Hom}_A(N', I) đẳng cấu với một môđun thương của HomA(N,I)\mathrm{Hom}_A(N, I) và áp dụng b) cho môđun phải NN và môđun trái PP.) d) Cho CC là một vành giao hoán, AA là một CC-đại số, II là một CC-môđun đơn ánh sao cho với mọi CC-môđun đơn sinh E≠{0}E \neq \{0\} tồn tại một đồng cấu CC khác không từ EE vào II. Với mọi AA-môđun MM, HomC(M,I)\mathrm{Hom}_C(M, I) là một AA-môđun; bây giờ chứng minh rằng với mọi AA-môđun xạ ảnh PP, HomC(P,I)\mathrm{Hom}_C(P, I) là một AA-môđun đơn ánh (cùng lập luận như trong c)).

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-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.