intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

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"

Chia sẻ: Nguyễn Phương Hà Linh Linh | Ngày: | Loại File: PDF | Số trang:6

62
lượt xem
2
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

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à...

Chủ đề:
Lưu

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"

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
11=>2