Bourbaki

Bài tập 3, § 4

Đại số giao hoán, VII, 571

Cho AA là một miền Noether đóng nguyên, KK là trường phân thức của nó, MM là một dàn phản xạ của một không gian vectơ có hạng hữu hạn trên KK và LL là một dàn tự do của VV chứa MM. Chứng minh rằng tồn tại một dàn tự do L0L_0 của VV sao cho M=L∩L0M = L \cap L_0. (Xét tập hợp hữu hạn II các iđêan nguyên tố p\mathfrak{p} của AA có chiều cao 1 sao cho L0≠MpL_0 \neq M_\mathfrak{p} và miền iđêan chính S−1AS^{-1}A, trong đó S=⋂p∈I(A−p)S = \bigcap_{\mathfrak{p} \in I} (A - \mathfrak{p}); chứng minh rằng tồn tại một dàn tự do L0L_0 của VV sao cho M0=(L0)pM_0 = (L_0)_\mathfrak{p} với mọi p∈I\mathfrak{p} \in I và một s∈Ss \in S sao cho M⊂s−1L0⊂L1M \subset s^{-1}L_0 \subset L_1.)

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.