Bourbaki

Bài tập 15, § 21

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

Đại số, VIII, p. 428

Bourbaki marks this one as harder than the rest.

Giả sử rằng mọi biểu diễn của G đều là đơn thức; hãy chứng minh rằng G giải được. Lập luận bằng quy nạp theo cấp của G, ta có thể giả sử rằng mọi nhóm thương của G khác G đều giải được.

a) Nếu G chứa hai nhóm con chuẩn tắc không tầm thường cực tiểu phân biệt H1H_1 và H2H_2, thì G giải được (xét đồng cấu chính tắc từ G đến G/H1×G/H2G/H_1\times G/H_2).

Từ nay trở đi giả sử G thừa nhận một nhóm con chuẩn tắc không tầm thường cực tiểu duy nhất H.

b) Chứng minh rằng một biểu diễn của G là trung thành nếu phép hạn chế của nó lên H là không tầm thường. c) Cho π\pi là một biểu diễn trung thành có bậc cực tiểu; tồn tại các nhóm con HiH_i của G và các biểu diễn σi\sigma_i của HiH_i có bậc 1 sao cho π\pi đẳng cấu với ⨁\bigoplus IndHiG(σi)^G_{H_i}(\sigma_i). Đặt π0=⨁\pi_0=\bigoplus IndHiG(εHi)^G_{H_i}(\varepsilon_{H_i}), trong đó εHi\varepsilon_{H_i} kí hiệu biểu diễn đơn vị. Chứng minh rằng hạt nhân của π0\pi_0 là giao hoán và không tầm thường (lưu ý rằng π0\pi_0 là bất khả quy); suy ra rằng G giải được.

Lời giải

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

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

Không có.

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4-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.