Bourbaki

Bài tập 4, § 10

Đại số, II

Cho A\mathbf{A} là một vành, C\mathbf{C} là tâm của nó, B\mathbf{B} là vành ma trận Mn(A)\mathbf{M}_n(\mathbf{A}), Δ\Delta là nhóm con cộng tính của A\mathbf{A} sinh bởi các phần tử αβ−βα\alpha \beta - \beta \alpha với α∈A, β∈A\alpha \in \mathbf{A},\ \beta \in \mathbf{A}, và D\mathbf{D} là nhóm con cộng tính của B\mathbf{B} sinh bởi các ma trận XY−YXXY - YX với X∈B, Y∈BX \in \mathbf{B},\ Y \in \mathbf{B}; Δ\Delta và D\mathbf{D} là các C\mathbf{C}-môđun. Với mọi ma trận X=(ξij)∈BX = (\xi_{ij}) \in \mathbf{B}, đặt θ(X)\theta(X) là phần tử ∑i=1nξˉij\sum_{i=1}^n \bar{\xi}_{ij} của A/Δ\mathbf{A}/\Delta, trong đó, với mọi α∈A\alpha \in \mathbf{A}, αˉ\bar{\alpha} ký hiệu lớp của α\alpha modulo Δ\Delta. Hãy chứng minh rằng θ\theta là một đồng cấu toàn ánh từ B\mathbf{B} lên A/Δ\mathbf{A}/\Delta, có hạt nhân bằng D\mathbf{D}, do đó B/D\mathbf{B}/\mathbf{D} đẳng cấu với A/Δ\mathbf{A}/\Delta như một C\mathbf{C}-môđun. (Chú ý rằng D\mathbf{D} chứa các ma trận αEij\alpha E_{ij} và các ma trận α(Eii−Ejj)\alpha(E_{ii} - E_{jj}) với α∈A\alpha \in \mathbf{A} và i≠ji \neq j.)

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