Bourbaki

Bài tập 3, § 4

Đại số, X, p. 185

Giả sử rằng vành A là giao hoán. Cho l là một tập hợp hữu hạn và (C(i),d(i))i∈I(C^{(i)}, d^{(i)})_{i \in I} là một họ các phức của các A-môđun. (a) Tích tenxơ ⊗C(i)\otimes C^{(i)} được trang bị cấp của nó kiểu Zl\mathbf{Z}^l và với các A-tự đồng cấu

di=⨂j∈Idi(j)vớidi(j)=1C(j)vớij≠ivaˋdi(i)=d(i). d_i = \bigotimes_{j \in I} d_i^{(j)} \quad \text{với} \quad d_i^{(j)} = 1_{C^{(j)}} \quad \text{với} \quad j \neq i \quad \text{và} \quad d_i^{(i)} = d^{(i)} .
Bây giờ chứng minh rằng bằng cách đó ta thu được một I-tiền phức (X, bài tập 13, p. 174); I-phức liên kết được gọi là tích tenxơ phức l của các phức C^{(i)}. Phức liên kết với I-phức này được gọi là phức tích tenxơ của các C^{(i)}. (b) Bây giờ chứng minh rằng sự lựa chọn một cấp toàn phần trên I cho phép ta định nghĩa một đẳng cấu của phức tích tenxơ của các C^{(i)} lên phức được định nghĩa trong X, p. 64.

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.