Biểu diễn nhóm hữu hạn và ứng dụng

ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC SƯ PHẠM ——————————– TRẦN QUANG BIỂU DIỄN NHÓM HỮU HẠN VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC Đà Nẵng - Năm 2017 ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC SƯ PHẠM ——————————– TRẦN QUANG BIỂU DIỄN NHÓM HỮU HẠN VÀ ỨNG DỤNG Chuyên ngành: Đại số Lý thuyết số Mã số: 60.46.01.04 LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: TS NGUYỄN NGỌC CHÂU Đà Nẵng - Năm 2017 LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu riêng tơi Các số liệu, kết nêu luận án trung thực chưa cơng bố cơng trình khác Tác giả Trần Quang LỜI CẢM ƠN Đầu tiên xin gửi lời cảm ơn chân thành đến giáo viên hướng dẫn, tất thầy giáo tận tình dạy bảo tơi suốt trình học tập rèn luyện Trường Đại học Sư phạm Đà Nẵng Đồng thời xin gửi lời cảm ơn đến anh chị, bạn lớp Đại số lý thuyết số K31 nhiệt tình giúp đỡ tơi thời gian học tập vừa qua Trần Quang MỤC LỤC MỞ ĐẦU CHƯƠNG KIẾN THỨC CHUẨN BỊ 1.1 Một số khái niệm cấu trúc nhóm 1.1.1 Nhóm, nhóm con, nhóm chuẩn tắc, nhóm thương 1.1.2 Nhóm tâm, nhóm tâm hóa, nhóm giao hốn tử 1.1.3 Nhóm tuyến tính tổng quát 1.1.4 Vành nhóm 1.2 Quan hệ liên hợp 1.2.1 Định nghĩa 1.2.2 Lớp liên hợp số nhóm hữu hạn CHƯƠNG CƠ SỞ VỀ BIỂU DIỄN NHÓM 12 2.1 BIỂU DIỄN NHÓM THEO THUẬT NGỮ MÔĐUN 12 2.1.1 Biểu diễn nhóm 12 2.1.2 Biểu diễn quy nhóm 16 2.1.3 Hai biểu diễn tương đương 16 2.1.4 Biểu diễn 17 2.1.5 Biểu diễn bất khả quy 18 2.1.6 Tổng trực tiếp tích tenxơ biểu diễn 18 2.2 ĐẶC TRƯNG CỦA BIỂU DIỄN 19 2.2.1 Đặc trưng biểu diễn tuyến tính 20 2.2.2 Bổ đề Schur 23 2.2.3 Tích vơ hướng đặc trưng 27 2.2.4 Hệ đầy đủ biểu diễn bất khả quy 30 2.2.5 Phép nâng đặc trưng 34 CHƯƠNG BIỂU DIỄN MỘT SỐ NHÓM HỮU HẠN 37 3.1 Biểu diễn nhóm Abel hữu hạn 37 3.2 Biểu diễn nhóm cyclic hữu hạn 39 3.3 Biểu diễn nhóm diheral Dn , n > 40 3.3.1 Biểu diễn nhóm Dn với n chẵn 40 3.3.2 Biểu diễn nhóm Dn với n lẻ 41 3.4 Biểu diễn nhóm quaternion 42 3.5 Biểu diễn nhóm đối xứng, nhóm thay phiên 44 3.5.1 Nhóm đối xứng, nhóm thay phiên 44 3.5.2 Biểu diễn nhóm đối xứng Sn ( n ≤ ) 45 3.5.3 Biểu diễn nhóm thay phiên A4 48 3.6 Biểu diễn nhóm D3 × C2 nhóm A4 × C2 49 3.6.1 Biểu diễn nhóm D3 × C2 49 3.6.2 Biểu diễn nhóm A4 × C2 50 KẾT LUẬN 52 TÀI LIỆU THAM KHẢO 53 MỞ ĐẦU Lý chọn đề tài Lý thuyết biểu diễn nhóm nội dung lý thuyết nhóm, có nguồn gốc từ lý thuyết đặc trưng nhóm abel phát biểu cho nhóm cyclic Gauss, Dirichlet sau mở rộng sang cho nhóm abel hữu hạn Frobenius Stickelberger Lý thuyết biểu diễn nhóm hữu hạn hình thành vào cuối kỷ XIX cơng trình Frobenius, Schur Burnside Lý thuyết biểu diễn nhóm hữu hạn nghiên cứu cách mà nhóm tác động khơng gian véctơ tự đẳng cấu tuyến tính.[6] Lý thuyết biểu diễn nhóm nội dung lý thuyết nhóm có nhiều ứng dụng, chẳng hạn giúp hiểu rõ cấu trúc nhóm: cụ thể, biểu diễn nhóm hữu hạn thể nhóm hữu hạn có ảnh đồng cấu nhóm nhóm ma trận khả nghịch Nhằm tìm hiểu biểu diễn nhóm hữu hạn ứng dụng nó, tơi chọn đề tài “ Biểu diễn nhóm hữu hạn ứng dụng” cho luận văn thạc sĩ Mục đích nhiệm vụ nghiên cứu - Nghiên cứu lý thuyết biểu diễn nhóm hữu hạn - Biểu diễn số nhóm bậc thấp Đối tượng phạm vi nghiên cứu - Lý thuyết biểu diễn nhóm hữu hạn - Một số nhóm hữu hạn quen biết: nhóm abel, nhóm cyclic, nhóm nhị diện, nhóm quaternion, nhóm đối xứng, nhóm thay phiên Phương pháp nghiên cứu - Thu thập báo khoa học, tài liệu liên quan đến lý thuyết biểu diễn nhóm ứng dụng - Tổng hợp, phân tích, giải vấn đề thuộc nội dung luận văn - Trao đổi, thảo luận với người hướng dẫn Cấu trúc luận văn Nội dung luận văn chia thành chương: Chương 1: Kiến thức chuẩn bị Chương nhắc lại kiến thức lý thuyết nhóm đại số tuyến tính để làm sở cho chương sau Chương 2: Cơ sở biểu diễn nhóm Chương trình bày sơ lược lý thuyết biểu diễn nhóm hữu hạn kết liên quan Chương 3: Biểu diễn số nhóm hữu hạn Chương trình bày biểu diễn số nhóm bậc thấp, nhóm hữu hạn quen biết như: nhóm abel, nhóm cyclic, nhóm dihedral, nhóm quaternion, nhóm đối xứng, nhóm thay phiên CHƯƠNG KIẾN THỨC CHUẨN BỊ Chương nhắc lại kiến thức lý thuyết nhóm đại số tuyến tính để làm sở cho chương sau Các chi tiết liên quan xem tài liệu [3], [4], [5], [10] 1.1 Một số khái niệm cấu trúc nhóm 1.1.1 Nhóm, nhóm con, nhóm chuẩn tắc, nhóm thương Định nghĩa 1.1.1.1 [5] Cho tập hợp G khác rỗng với phép tốn hai ngơi G G×G→G (a, b) 7→ a ∗ b Cặp (G, ∗) gọi nhóm i ∀a, b, c ∈ G, (a ∗ b) ∗ c = a ∗ (b ∗ c), ii Có phần tử e ∈ G, gọi phần tử trung lập, có tính chất a ∗ e = e ∗ a = a, ∀a ∈ G iii Với a ∈ G, có phần tử a−1 ∈ G, gọi nghịch đảo a, cho a ∗ a−1 = a−1 ∗ a = e Nếu ∀a, b ∈ G, a ∗ b = b ∗ a (G, ∗) gọi nhóm giao hốn Để đơn giản ta nói G nhóm thay cho nhóm (G, ∗) Nếu phép tốn ∗ ký hiệu + G gọi nhóm cộng, cịn phép tốn ∗ ký hiệu •, lúc G gọi nhóm nhân Một nhóm G gọi nhóm hữu hạn hay vơ hạn tùy theo tập hợp G hữu hạn hay vơ hạn Nếu G tập hữu hạn số phần tử tập hợp G gọi cấp nhóm G ký hiệu |G| Nếu nhóm G vơ hạn ta nói G nhóm (có cấp) vơ hạn Định nghĩa 1.1.1.2 [5] Một tập H nhóm G gọi ổn định tích hai phần tử x, y H lại thuộc H Nếu H tập ổn định nhóm G, H cảm sinh phép toán từ phép toán nhóm G Định nghĩa 1.1.1.3 [5] Một tập ổn định H nhóm G gọi nhóm G, H với phép tốn cảm sinh lập thành nhóm, kí hiệu H G Định nghĩa 1.1.1.4 [4] Nhóm G gọi nhóm cyclic G chứa phần tử a cho phần tử G lũy thừa nguyên a Phần tử a có tính chất gọi phần tử sinh nhóm cyclic G, kí hiệu G = hai Nhóm cyclic cấp n kí hiệu Cn Ta có:  Cn = hai = ha/an = 1i = 1, a1 , a2 , , an−1 Định nghĩa 1.1.1.5 [4] Giả sử G nhóm với phần tử đơn vị a ∈ G Nếu am 6= với m > 0, ta nói a có cấp vơ hạn Nếu m số nguyên dương nhỏ cho am = m gọi cấp a Cấp phần tử a kí hiệu ord(a) Từ định nghĩa ta có ord(a) = |hai| ord(a) = ⇔ a = Định nghĩa 1.1.1.6 [4] Giả sử N nhóm nhóm G Với a ∈ G, tập hợp aN = {an|n ∈ N } N a = {na|n ∈ N } gọi tương ứng lớp kề trái lớp kề phải N a Mệnh đề 1.1.1.7 [4] Hai lớp kề trái N trùng ... biểu diễn nhóm hữu hạn ứng dụng nó, tơi chọn đề tài “ Biểu diễn nhóm hữu hạn ứng dụng? ?? cho luận văn thạc sĩ Mục đích nhiệm vụ nghiên cứu - Nghiên cứu lý thuyết biểu diễn nhóm hữu hạn - Biểu diễn. .. tính.[6] Lý thuyết biểu diễn nhóm nội dung lý thuyết nhóm có nhiều ứng dụng, chẳng hạn giúp hiểu rõ cấu trúc nhóm: cụ thể, biểu diễn nhóm hữu hạn thể nhóm hữu hạn có ảnh đồng cấu nhóm nhóm ma trận... diễn số nhóm bậc thấp Đối tượng phạm vi nghiên cứu - Lý thuyết biểu diễn nhóm hữu hạn - Một số nhóm hữu hạn quen biết: nhóm abel, nhóm cyclic, nhóm nhị diện, nhóm quaternion, nhóm đối xứng, nhóm