Báo cáo nghiên cứu khoa học: " PHÂN LOẠI ĐẲNG CẤU CÁC NHÓM KHÔNG GIAO HOÁN CẤP 20"
lượt xem 2
download
Bài toán tìm và phân loại tất cả các nhóm có cấp cho trước là một bài toán khó và đến nay vẫn còn là bài toán mở. Việc xác định các nhóm cấp thấp có vai trò nhất định trong việc xây dựng các nhóm có cấp cao hơn. Để xây dựng một nhóm mới từ hai nhóm bất kỳ G và H, chúng tôi định nghĩa một phép toán hai ngôi trên tập tích Descartes của G và H, sao cho tập tích này trở thành một nhóm, gọi là tích nửa trực tiếp của G và...
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Báo cáo nghiên cứu khoa học: " PHÂN LOẠI ĐẲNG CẤU CÁC NHÓM KHÔNG GIAO HOÁN CẤP 20"
- TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(40).2010 PHÂN LOẠI ĐẲNG CẤU CÁC NHÓM KHÔNG GIAO HOÁN CẤP 20 THE CLASSIFICATION, UP TO ISOMORPHISM, OF THE NON-ABELIAN GROUPS OF ORDER 20 Nguyễn Ngọc Châu Nguyễn Văn Bảy Trường Đại học Sư phạm, Đại học Đà Nẵng Học viên Cao học khoá 2006 - 2009, Đại học Đà Nẵng TÓM TẮT Bài toán tìm và phân loại tất cả các nhóm có cấp cho trước là một bài toán khó và đến nay vẫn còn là bài toán mở. Việc xác định các nhóm cấp thấp có vai trò nhất định trong việc xây dựng các nhóm có cấp cao hơn. Để xây dựng một nhóm mới từ hai nhóm bất kỳ G và H, chúng tôi định nghĩa một phép toán hai ngôi trên tập tích Descartes của G và H, sao cho tập tích này trở thành một nhóm, gọi là tích nửa trực tiếp của G và H. Như một áp dụng của định lý Sylow và khái niệm tích nửa trực tiếp của hai nhóm, bài báo này sẽ xác định và phân loại đẳng cấu các nhóm không giao hoán cấp 20. ABSTRACT The problem of finding and classifying all groups of a given order is difficult, and up to now, there is still an open problem. The determination of groups of low order plays a fundamental part in the construction of groups of higher order. In order to construct a new group from any two groups G and H, we define a binary operation on the cartesian product of G and H. The resultant group is called the semi-direct product of G and H. As an application of the Sylow theorem and the semi-direct product of two groups, in this paper, we will determine and classify, up to isomorphism, the non-abelian groups of order 20. 1. Mở đầu Vấn đề tìm tất cả các nhóm có cấp cho trước là bài toán tổng quát của lý thuyết nhóm hữu hạn và đến nay vẫn còn là bài toán mở. Việc xác định các nhóm cấp thấp có vai trò nhất định để xác định và phân loại các nhóm có cấp cao hơn. Bài báo này sẽ ứng dụng định lý Sylow, tích nửa trực tiếp của hai nhóm để tìm và phân loại đẳng cấu các nhóm cấp 20. 2. Định lý Sylow, tích nửa trực tiếp 2.1. Định nghĩa: Giả sử G là một nhóm hữu hạn và p là một số nguyên tố. Một nhóm con H của G được gọi là p-nhóm con Sylow của G nếu cấp của H là luỹ thừa cao nhất của p mà chia hết cấp của G. 2.2. Định lý Sylow:[2] Giả sử G là một nhóm hữu hạn và p là một số nguyên tố chia hết cấp của G. Khi đó: 25
- TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(40).2010 i) Nhóm G chứa ít nhất một p - nhóm con Sylow ii) Mọi p - nhóm con Sylow của nhóm G đều liên hợp với nhau. iii) Gọi sp là số các p - nhóm con Sylow phân biệt của nhóm G. Khi đó sp ≡ 1mod(p) và sp chia hết cấp của G. 2.3. Mệnh đề:[2] Cho H và Q là hai nhóm và θ: Q → Aut(H) là một đồng cấu nhóm. Khi đó tập hợp {(h, q) | h ∈ H, q ∈ Q} với phép nhân xác định bởi: (h, q)(h', q') = (hθ(q)h', qq') là một nhóm, kí hiệu H⋊θ Q. 2.4. Định nghĩa: Nhóm H⋊θ Q xác định trong mệnh đề trên được gọi là tích nửa trực tiếp ngoài của hai nhóm H và K bởi đồng cấu θ. 2.5. Nhận xét: i) Nếu θ là đồng cấu tầm thường thì tích nửa trực tiếp H⋊θ Q chính là tích trực tiếp H × Q. ii) Nếu H và Q là hai nhóm giao hoán và θ là đồng cấu tầm thường thì H⋊θ Q là nhóm giao hoán. Giả sử G = H⋊θ Q , khi đó hai đơn cấu chính tắc: H → G , h a ( h , 1Q ) , h ∈ H và Q → G , q a (1H , q ) , q ∈ Q , cho phép xem H và Q là hai nhóm con của G. 2.6. Mệnh đề:[2] Cho G = H⋊θ Q , khi đó i) H là một nhóm con chuẩn tắc của G ii) HQ = G iii) H ∩ Q = {1G} 2.7. Định nghĩa: Cho G là một nhóm và H, Q là hai nhóm con của G. Nhóm G được gọi là tích nửa trực tiếp trong của H và Q nếu: i) H chuẩn tắc trong G. ii) HQ = G. iii) H ∩ Q = {1G }. Từ định nghĩa trên ta thấy một tích nửa trực tiếp ngoài cũng là một tích nửa trực tiếp trong, mệnh đề sau sẽ cho ta chiều ngược lại 2.8. Mệnh đề:[2] Giả sử G là tích nửa trực tiếp trong của hai nhóm con H và Q. Khi G ≅ H⋊θ Q, trong đó θ: Q → Aut(H), với θ(q)(h) = qhq-1, q ∈ Q, h ∈ H. đó 26
- TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(40).2010 2.9. Nhận xét Mối quan hệ giữa tích nửa trực tiếp trong và tích nửa trực tiếp ngoài của hai nhóm cung cấp một phương pháp tìm được tất cả ( sai khác một đẳng cấu ) các nhóm G sao cho G là tích nửa trực tiếp trong của hai nhóm con H và Q xác định nào đó, cụ thể G = H⋊θ Q, với θ là một đồng cấu từ nhóm Q đến nhóm các tự đẳng cấu Aut(H). ∈ Aut(Q) và θ’ = θ ° α , thì H⋊θ Q ≅ H⋊θ' Q. 2.10. Mệnh đề:[2] Nếu α Ký hiệu Cn là nhóm cyclic cấp n, ta có 2.11. Bổ đề:[1] Nhóm các tự đẳng cấu của nhóm cyclic cấp 5 là nhóm cyclic cấp 4. Nếu C5 = < a > là nhóm cyclic cấp 5, thì Aut(C5) có 4 phần tử xác định bởi bảng sau ψ( a ) ord(ψ) Aut(C5) ψ 1 = id a 1 a2 ψ2 4 a3 ψ3 4 a4 ψ4 2 2.12. Bổ đề:[1] Nhóm các tự đẳng cấu của nhóm C2 × C2 , là nhóm đối xứng S3. Nếu C2 × C2 = { 1, b, c, bc }, thì Aut(C2×C2) có 6 phần tử xác định bởi bảng sau ϕ(b) ϕ(c) ord(ϕ) Aut(C2×C2) ϕ 1 = id b c 1 ϕ2 b bc 2 ϕ3 c b 2 ϕ4 c bc 3 ϕ5 bc b 3 ϕ6 bc c 2 27
- TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(40).2010 3. Xác định và phân loại đẳng cấu các nhóm không giao hoán cấp 20 3.1: Định lý: Mọi nhóm không giao hoán cấp 20 đều đẳng cấu với một trong ba nhóm: C5⋊θ1 C4 C5⋊θ2 C4 C5⋊θ (C2 × C2 ) , , và trong đó θ i : C 4 = < b > → Aut ( C5 ) , i = 1, 2 , với θ1(b) = ψ2, θ2(b) = ψ4, và θ : C 2 × C 2 = < b > × < c > → Aut ( C5 ) , với θ(b) = ψ4 , θ(c) = id ( ψ2 và ψ4 được xác định trong Bổ đề 2.11 ). Chứng minh: Giả sử G là một nhóm không giao hoán bất kỳ có cấp 20. Khi đó |G| = 22.5, theo định lý Sylow, G có ít nhất một 5 - nhóm con Sylow H cấp 5 và ít nhất một 2 - nhóm con Sylow K cấp 4. Vì |H| = 5 nên H ≅ C5, và |K| = 4 nên K ≅ C4 hoặc K ≅ C2×C2. Gọi s5 là số các 5 - nhóm con Sylow của G, theo định lý Sylow ta có s5 = 1, do đó H < G. Vì G không giao hoán và theo Nhận xét 2.5, Nhận xét 2.9, nên G ≅ H⋊θ K, với θ là một đồng cấu không tầm thường từ nhóm K đến nhóm các tự đẳng cấu Aut(H). Xét hai trường hợp sau của nhóm K i) Trường hợp K ≅ C4. Gọi a là phần tử sinh của H và b là phần tử sinh của K. Có đúng ba đồng cấu không tầm thường từ K đến Aut(H) là các đồng cấu xác định bởi θ1(b) = ψ2, θ2(b) = ψ4 và θ3(b) = ψ3 , trong đó ψi, i = 2, 3, 4 là các tự đẳng cấu xác định trong Bổ đề 2.11. Xét φ ∈ Aut(K) xác định bởi φ(b) = b3, với mọi a ∈ K, ta có: (θ3° φ)(b)(a) = θ3(b3)(a) = (ψ3 o ψ3 o ψ3) (a) = a2 = ψ2(a) = θ1(b)(a) do đó θ1 = θ3 ° φ và theo Bổ đề 2.10 ta có C5⋊θ1 C4 ≅ C5⋊θ3 C4 . Nhóm này có biểu < a, b / a5 = b4 = 1, bab-1 = a2 >. diễn là: Nếu θ = θ2 thì G ≅ C5⋊θ2 C4 . Nhóm này có biểu diễn là: < a, b / a5 = b4 = 1, bab-1 = a-1 > 28
- TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(40).2010 ii) Trường hợp K ≅ C2×C2. Gọi a là phần tử sinh của H và b, c là hai phần tử sinh của K. Có đúng ba đồng cấu không tầm thường từ K lên Aut(H) là các đồng cấu xác ⎧θ 3 (b) = ψ 4 ⎧θ1 (b) = ψ 4 ⎧θ 2 (b) = id và ⎨ . Dễ dàng kiểm tra được θ2 = định bởi: ⎨ ,⎨ ⎩θ 3 (c) = ψ 4 ⎩θ1 (c) = id ⎩θ 2 (c) = ψ 4 θ1ϕ3 và θ3 = θ1ϕ2 , với ϕ2, ϕ3 ∈ Aut(C2 C2) trong Bổ đề 2.12. Do đó theo Mệnh đề 2.10, ba nhóm C5⋊ θ i (C2× C2), i = 1, 2, 3, đều đẳng cấu nhau và đẳng cấu với nhóm G = C5⋊θ (C2×C2), với θ(b) = ψ4, θ(c) = id. Nhóm này có biểu diễn là: < a, b, c / a5 = b2 = c2 = 1, bc = cb, bab = a-1, cac = a >. Từ các quan hệ xác định trong mỗi nhóm, ta dễ dàng tính được cấp của các phần tử của hai nhóm C5⋊θ1 C4 , C5⋊θ2 C4 , và được cho bởi bảng sau: a2 a3 a4 b2 b3 ab2 ab3 a2b a2b2 1 a b ab C5⋊θ1 C4 1 5 5 5 5 4 2 4 4 2 4 4 4 C5⋊θ2 C4 1 5 5 5 5 4 2 4 4 10 4 4 10 a2b3 a3b a3b2 a3b3 a4b a4b2 a4b3 C5⋊θ1 C4 4 4 2 4 4 2 4 C5⋊θ2 C4 4 4 10 4 4 10 4 Tương tự như trên, ta xác định được nhóm C5⋊θ (C2 × C2 ) có 11 phần tử cấp 2 là c , a i b , a i bc , i = 0, 1, 2, 3, 4. 29
- TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 5(40).2010 Số phần tử cấp 2 của ba nhóm C5⋊θ1 C4 , C5⋊θ2 C4 và C5⋊θ (C2 × C2 ) đôi một khác nhau, do đó chúng đôi một không đẳng cấu nhau. 3.2. Hệ quả: Có đúng ba nhóm không giao hoán cấp 20 không đẳng cấu nhau là C5⋊θ1 C4 , C5⋊θ2 C4 và C5⋊θ (C 2 × C 2 ), trong đó θ i : C 4 = < b > → Aut ( C5 ) , i = 1, 2, với θ1(b) = ψ2, θ2(b) = ψ4, và θ : C 2 × C 2 = < b > × < c > → Aut ( C5 ) , với θ(b) = ψ4 , θ(c) = id . TÀI LIỆU THAM KHẢO [1] Nguyễn Văn Bảy (2009), Phân loại đẳng cấu các nhóm có cấp n, n ≤ 20 , Luận văn thạc sỹ khoa học, Đại học Đà Nẵng. [2] Milne, J.S (2008), Group Theory, http://www.jmilne.org/math/Course Notes/GT.pdf. 30
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU CHẤT LƯỢNG NƯỚC VÀ TÔM TỰ NHIÊN TRONG CÁC MÔ HÌNH TÔM RỪNG Ở CÀ MAU"
12 p | 1363 | 120
-
Báo cáo nghiên cứu khoa học: "Cái tôi trữ tình trong thơ Nguyễn Quang Thiều."
10 p | 614 | 45
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU PHỐI TRỘN CHI TOSAN – GELATI N LÀM MÀNG BAO THỰC PHẨM BAO GÓI BẢO QUẢN PHI LÊ CÁ NGỪ ĐẠI DƯƠNG"
7 p | 518 | 45
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU THỰC NGHIỆM ẢNH HƯỞNG CỦA MƯA AXÍT LÊN TÔM SÚ (PENAEUS MONODON)"
5 p | 454 | 44
-
Báo cáo nghiên cứu khoa học: "ỨNG DỤNG PHƯƠNG PHÁP PCR-GENOTYPI NG (ORF94) TRONG NGHIÊN CỨU VI RÚT GÂY BỆNH ĐỐM TRẮNG TRÊN TÔM SÚ (Penaeus monodon)"
7 p | 378 | 35
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC DINH DƯỠNG CÁ ĐỐI (Liza subviridis)"
6 p | 378 | 31
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC SINH SẢN CỦA CÁ ĐỐI (Liza subviridis)"
8 p | 331 | 29
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU CẢI TIẾN HỆ THỐNG NUÔI KẾT HỢP LUÂN TRÙNG (Brachionus plicatilis) VỚI BỂ NƯỚC XANH"
11 p | 385 | 29
-
Báo cáo nghiên cứu khoa học: "Quan hệ giữa cấu trúc và ngữ nghĩa câu văn trong tập truyện ngắn “Đêm tái sinh” của tác giả Trần Thuỳ Mai"
10 p | 434 | 24
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU TẠO KHÁNG THỂ ĐƠN DÒNG VI-RÚT GÂY BỆNH HOẠI TỬ CƠ QUAN TẠO MÁU VÀ DƯỚI VỎ (IHHNV) Ở TÔM PENAEID"
6 p | 354 | 23
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU ƯƠNG GIỐNG VÀ NUÔI THƯƠNG PHẨM CÁ THÁT LÁT (Notopterus notopterus Pallas)"
7 p | 306 | 22
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC CÁ KẾT (Kryptopterus bleekeri GUNTHER, 1864)"
12 p | 298 | 20
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU DÙNG ARTEMIA ĐỂ HẠN CHẾ SỰ PHÁT TRIỂN CỦA TIÊM MAO TRÙNG (Ciliophora) TRONG HỆ THỐNG NUÔI LUÂN TRÙNG"
10 p | 367 | 18
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU PHÂN VÙNG THỦY VỰC DỰA VÀO QUẦN THỂ ĐỘNG VẬT ĐÁY"
6 p | 347 | 16
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU THIẾT LẬP HỆ THỐNG NUÔI KẾT HỢP LUÂN TRÙNG (Brachionus plicatilis) VỚI BỂ NƯỚC XANH"
10 p | 372 | 16
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU THAY THẾ THỨC ĂN SELCO BẰNG MEN BÁNH MÌ TRONG NUÔI LUÂN TRÙNG (Brachionus plicatilis) THÂM CANH"
10 p | 346 | 15
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU ƯƠNG GIỐNG CÁ KẾT (Micronema bleekeri) BẰNG CÁC LOẠI THỨC ĂN KHÁC NHAU"
9 p | 258 | 9
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU SỰ THÀNH THỤC TRONG AO VÀ KÍCH THÍCH CÁ CÒM (Chitala chitala) SINH SẢN"
8 p | 250 | 7
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn