Bourbaki

Bài tập 2, § 21

Nhãn 00OB, cố định. Trích dẫn là [Bourbaki, Tag 00OB].

Đại số, VIII, p. 424

Cho A là một vành giao hoán và G là một nhóm.

a) Giả sử rằng đại số A[G] của nhóm G là một vành phẳng tuyệt đối (VIII, p. 171, Bài tập 27). Chứng minh rằng vành A là phẳng tuyệt đối. Cho H là một nhóm con của G thừa nhận một tập con sinh hữu hạn; chứng minh rằng iđêan trái IHI_H của A[G] (VIII, p. 22, Bài tập 25) thừa nhận một iđêan phụ trợ trong A[G], và suy ra rằng H là hữu hạn (nhận xét rằng trong trường hợp đối, linh hóa tử của IHI_H sẽ được rút gọn thành (0)).

b) Giữ giả thiết của a). Cho gg là một phần tử của G có cấp hữu hạn nn. Chứng minh rằng n1An1_A là khả nghịch trong A (cho xx là một phần tử của A sao cho (1−eg)x(1−eg)=(1−eg)(1-e_g)x(1-e_g) = (1-e_g); xây dựng một phần tử yy của A sao cho 1−(1−eg)x=y(1+eg+⋯+egn−1)1-(1-e_g)x=y(1 +e_g+\cdots +e_{g^{n-1}})). Suy ra rằng cấp của mọi nhóm con hữu hạn của G là khả nghịch trong A.

c) Giả sử rằng A là một vành phẳng tuyệt đối và mọi tập con hữu hạn của G sinh ra một nhóm con hữu hạn có lực lượng khả nghịch trong A. Chứng minh rằng vành A[G] là phẳng tuyệt đối (rút gọn về trường hợp G hữu hạn, và sử dụng Bài tập 1).

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Trích dẫn đến

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.