Bourbaki

Bài tập 17, § 4

Đại số, VII, p. 67

Cho A là một miền iđêan chính, cho a là một phần tử khác không của A, và cho E là môđun A/AαA/A\alpha. Khi đó tích EnE^n là đẳng cấu với An/(αAn)A^n/(\alpha A^n). a) Cho u là một ánh xạ tuyến tính từ EnE^n vào EmE^m; hãy chỉ ra rằng u có thể thu được từ một ánh xạ tuyến tính v từ AnA^n vào AmA^m khi chuyển qua các thương. b) Cho AβiA\beta_i (1≤i≤p≤inf⁡(m,n)1 \leq i \leq p \leq \inf(m, n)) là các thừa số bất biến của v(An)v(A^n) đối với AmA^m, được sắp xếp theo thứ tự giảm; cho q ≤p\leq p là lớn nhất trong các chỉ số i sao cho hoặc không chia hết cho βi\beta_i, và cho δi\delta_i là một ước chung lớn nhất của a và βi\beta_i với 1≤i≤q1 \leq i \leq q. Hãy chỉ ra rằng hạt nhân u−1(0)u^{-1}(0) của u là tổng trực tiếp của n−qn-q môđun đẳng cấu với E và q môđun xyclic đẳng cấu với A/AδiA/A\delta_i tương ứng (1≤i≤q1 \leq i \leq q). Nếu a=γiδia = \gamma_i \delta_i (1≤i≤q1 \leq i \leq q), hãy chỉ ra rằng môđun u(En)u(E^n) có các thừa số bất biến AγiA\gamma_i.

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.