Bourbaki

Bài tập 14, § 7

Tag 0090, permanent. Cite it as [Bourbaki, Tag 0090].

Đại số, VIII, p. 132

Bourbaki marks this one as harder than the rest.

Cho K là một trường giao hoán. Cho M là môđun tự do sinh bởi hai phần tử xx và yy, và cho A là đại số của môđun M trên K. Cho V là một không gian vectơ trên K nhận một cơ sở (en)n⩾1(e_n)_{n\geqslant 1}.

a) Ta định nghĩa cấu trúc của một A-môđun trên V bằng cách đặt xe1=0,xep=ep−1xe_1= 0,xe_p=e_{p-1} với p>1p >1, và yep=e2pye_p=e_{2^p} với p⩾1p\geqslant 1. Chứng minh rằng V là một A-môđun đơn.

b) Chứng minh rằng A-môđun V là trung thành. (Cho z∈Mz\in M. Với n∈Nn\in \mathbf{N}, ký hiệu số nguyên ss sao cho es=zene_s=ze_n là Pz(n)P_z(n). Nhận xét rằng ta có Pzt=Pz∘PtP_{zt}= P_z\circ P_t với z,tz, t thuộc M. Suy ra bằng quy nạp theo độ dài của zz và tt rằng nếu z≠tz\not=t, tập hợp các số nguyên nn sao cho Pz(n)=Pt(n)P_z(n) = P_t(n) là hữu hạn.) c) Tương tự, với mọi số nguyên r>2r >2, chứng minh rằng bằng cách đặt xe1=0,xep=ep−1xe_1= 0,xe_p=e_{p-1} với p>1p >1, và yep=erpye_p=e_{r^p} với p⩾1p\geqslant 1, ta định nghĩa cấu trúc của một A-môđun đơn và trung thành trên V. Chứng minh rằng các cấu trúc này đôi một không đẳng cấu.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.