Luận văn T - Nhóm giải được hữu hạn

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Đỗ Hoàng Hải T-NHÓM GIẢI ĐƯỢC HỮU HẠN LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh – 2014 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Đỗ Hoàng Hải T-NHÓM GIẢI ĐƯỢC HỮU HẠN Chuyên ngành: Đại số và 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: PGS. TS. MỴ VINH QUANG Thành phố Hồ Chí Minh – 2014 LỜI CẢM ƠN Trong suốt quá trình học tập và hoàn thành luận văn này , tôi đã nhận được sự hướng dẫn , giúp đỡ quý báu của các thầy cô , các anh chị và các bạn . Với lòng kính trọng và biết ơn sâu sắc tôi xin được bày tỏ lời cảm ơn chân thành tới: Ban Giám Hiệu, Phòng Đào tạo Sau Đại học, Khoa Toán Trường Đại học Sư phạm TP. Hồ Chí Minh đã tạo mọi điều kiện thuận lợi giúp đỡ tôi trong quá trình học tập và thực hiện bảo vệ luận văn. PGS. TS. Mỵ Vinh Quang, người thầy kính mến đã hết lòng giúp đỡ , dạy bảo, và tạo mọi điều kiện thuận lợi cho tôi trong suốt quá trình học tập . Luận văn được hoàn thành dưới sự hướng dẫn tận tình và chu đáo của thầy Mỵ Vinh Quang. Tôi xin được bày tỏ lòng biết ơn sâu sắc của mình đối với thầy. Tôi xin chân thành cảm ơn các thầy cô trong khoa Toán-Tin đã giúp tôi trang bị những kiến thức cần thiết để tôi có thể hoàn thành luận văn. Và cuối cùng tôi xin dành lời cảm ơn đến các bạn bè, người thân đã luôn động viên, cổ vũ giúp tôi yên tâm hoàn thành tốt luận văn. MỤC LỤC Trang phụ bìa Lời cảm ơn Mục lục Bảng kí hiệu dùng trong luận văn LỜI MỞ ĐẦU ................................................................................................................ 1 Chương 1. KIẾN THỨC CHUẨN BỊ .......................................................................... 2 1.1. Nhóm, nhóm con ................................................................................................... 2 1.2. Tâm hóa tử, chuẩn hóa tử và tâm .......................................................................... 4 1.3. p-nhóm, π-nhóm, p’-nhóm, p-nhóm con Sylow, nhóm con Hall .......................... 4 1.4. Nhóm giải được ..................................................................................................... 6 1.5. Nhóm siêu giải được ............................................................................................. 7 1.6. Nhóm lũy linh ....................................................................................................... 8 1.7. Hoán tử, nhóm con hoán tử, nhóm con dẫn xuất .................................................. 9 1.8. Dãy chuẩn tắc, nhân tử cơ bản, dãy cơ bản ......................................................... 11 1.9. Hệ Sylow, System Normalizer ............................................................................ 12 1.10. Phép tự đẳng cấu lũy thừa ................................................................................. 12 1.11. Nhóm con abnormal, nhóm con pronormal ...................................................... 12 Chương 2. T -NHÓM HỮU HẠN GIẢI ĐƯỢC ...................................................... 13 2.1. T -nhóm .............................................................................................................. 13 2.2. H -nhóm con ....................................................................................................... 13 2.3. T -nhóm hữu hạn siêu giải được ........................................................................ 20 2.4. NSN -nhóm ....................................................................................................... 25 KẾT LUẬN .................................................................................................................. 31 TÀI LIỆU THAM KHẢO ........................................................................................... 32 BẢNG KÍ HIỆU DÙNG TRONG LUẬN VĂN H G≤ H là nhóm con của G H G< H là nhóm con thực sự của G H G H là nhóm con chuẩn tắc của G :G H Chỉ số của nhóm con H trong G G Cấp, lực lượng, số phần tử của G ( )Z G Tâm của nhóm G ( )GC H Tâm hóa tử của H trong G ( )GN H Chuẩn hóa tử của H trong G yx 1y xy− xH 1x Hx− [ ],G G G′ = Nhóm con dẫn xuất của G ( ),G GCore H H Lõi của H trong G 1 LỜI MỞ ĐẦU Như đã biết, tính chuẩn tắc của các nhóm con trong một nhóm không có tính bắc cầu. Nhóm nhị diện 8D là một ví dụ điển hình. Từ đó nảy sinh ra một câu hỏi rất thú vị là “Khi nào thì tính chuẩn tắc của các nhóm con trong một nhóm có tính bắc cầu? Các nhóm đó có những tính chất gì?” Người ta gọi những nhóm mà tính chuẩn tắc của nhóm con có tính bắc cầu là T-nhóm. Các T-nhóm này có nhiều tính chất thú vị và thu hút được sự quan tâm, nghiên cứu của nhiều nhà toán học, chẳng hạn như W. Gaschutz, D.J.S Robinson, T.A. Peng, Rose Đặc biệt, gần đây đã có những kết quả mới thú vị về các T-nhóm giải được. Bởi vậy tôi quyết định chọn đề tài là “T-nhóm giải được hữu hạn” để làm luận văn thạc sĩ. Nội dung chính của luận văn dựa trên bài báo On finite solvable groups in which normality is a transitive relation của các tác giả Mariagrazia Bianchi, Anna Gillio Berta Mauri, Marcel Herzog và Libero Verardi. Luận văn được trình bày trong hai chương: Chương 1 là những kiến thức chuẩn bị về lí thuyết nhóm nhằm phục vụ cho chương sau. Chương 2 là tổng hợp các kết quả về một số đặc trưng mới của các T-nhóm giải được hữu hạn và các T-nhóm siêu giải được hữu hạn. Trình bày các khái niệm về N- nhóm, *H -nhóm, P-nhóm, nghiên cứu các N-nhóm, *H -nhóm, P-nhóm hữu hạn. Khái niệm về nhóm hữu hạn mà mọi nhóm con hoặc chuẩn tắc hoặc tự chuẩn hóa, mô tả đặc trưng của chúng. Do kiến thức còn hạn hẹp và thời gian thực hiện không được nhiều, luận văn chắc chắn không tránh khỏi những thiếu sót, hạn chế nhất định. Tôi rất mong nhận được sự góp ý của quý thầy cô và những ai quan tâm đến vấn đề này. TP.HCM, ngày 27 tháng 8 năm 2014 Đỗ Hoàng Hải 2 Chương1. KIẾN THỨC CHUẨN BỊ 1.1. Nhóm,nhóm con 1.1.1. Nhóm hữu hạn Nhóm G là nhóm hữu hạn nếu số phần tử của nó là hữu hạn. 1.1.2. Nhóm con chuẩn tắc Nhóm con N của nhóm G được gọi là nhóm con chuẩn tắc của G nếu N thỏa thêm điều kiện chuẩn tắc: ,g G n N∀ ∈ ∀ ∈ thì 1g ng N− ∈ (hoặc 1gng N− ∈ ). Kí hiệu N G . 1.1.3. Nhóm con tối đại,nhóm con tối tiểu (1) Cho G là nhóm, H G< . Hđược gọi là nhóm con tối đại của G nếu không tồn tại N G≤ sao cho H N G< < . Hđược gọi là nhóm con tối tiểu của G nếu 1H ≠ và không tồn tại K G≤ sao cho1 K H< < . (2) Cho G là nhóm, H G . H gọi là nhóm con chuẩn tắc tối đại của G nếu H G< và không tồn tại N G sao cho H N G< < . H gọi là nhóm con chuẩn tắc tối tiểu của G nếu H G< và không tồn tại K G sao cho 1 K H< < . 1.1.4. Nhóm con á chuẩn tắc Nhóm con H của nhóm G được gọi là nhóm con á chuẩn tắc của G nếu tồn tại dãy các nhóm con 0 1 ... nH H H H G= =   . 1.1.5. Lõi của một nhóm con 1.1.5.1. Định nghĩa Cho G là một nhóm và H là nhóm con của G. Tập hợp ( )G GCore H H= là nhóm con sinh bởi hợp tất cả các nhóm con chuẩn tắc của G chứa trong Hđược gọi là lõi của H trong G, với quy ước nếu trong G không tồn tại nhóm con như trên thì 1GH = . 1.1.5.2. Định lí Cho G là một nhóm, H là nhóm con của G. Khi đó GH là nhóm con chuẩn tắc tối đại của G chứa trong H. 3 1.1.6. Nhóm Dedekind Cho G là một nhóm. G được gọi là nhóm Dedekind nếu mọi nhóm con của G đều chuẩn tắc trong G. 1.1.7. Phần bù 1.1.7.1. Định nghĩa Cho H là một nhóm con của nhóm G. Một nhóm con K được gọi là phần bù của H trong G nếu G HK= và 1H K = . 1.1.7.2. Định lí Nếu K là nhóm con chuẩn tắc của nhóm hữu hạn G sao cho ( ): , 1G K K = thì K có phần bù trong G[6, 9.1.2]. 1.1.8. Chỉ số của một nhóm con 1.1.8.1. Định nghĩa Cho G là nhóm và H G≤ . Lực lượng của tập hợp lớp trái (phải) của H trong G được gọi là chỉ số của H trong G và viết :G H . 1.1.8.2. Định lí Cho G là nhóm hữu hạn H G≤ ,. Nếu :G H là một số nguyên tố thì H là nhóm con tối đại của G. Chứng minh Giả sử G là nhóm hữu hạn, H G≤ và :G H p= với p là số nguyên tố. Giả sử tồn tại nhóm con K của G thỏa H K G< < . Khi đó : : :G H G K K H= ⋅ . Mà :G K và :K H khác 1 do ,H K K G≠ ≠ nên :G H không là số nguyên tố, mâu thuẫn với giả thuyết. Vậy H là nhóm con tối đại của G. ■ 1.1.9. A -nhóm Cho G là một nhóm. G được gọi là A -nhóm nếu G giải được và mọi nhóm con Sylow của G đều abel. 4 1.2. Tâm hóa tử,chuẩn hóa tử vàtâm 1.2.1. Tâm hóa tử Cho G là một nhóm và H G∅ ≠ ≤ . Khi đó ( ) { }| ,GC H g G hg gh h H G= ∈ = ∀ ∈ ≤ và được gọi là tâm hóa tử của H trên G. 1.2.2. Tâm của một nhóm Cho G là một nhóm. Tâm của G kí hiệu là ( ) { }: ,Z G a G ag ga g G= ∈ = ∀ ∈ . Nhận xét: ( )Z G G . 1.2.3. Chuẩn hóa tử Cho G là một nhóm và H G∅ ≠ ≤ . Khi đó ( ) { }| gGN H g G H H= ∈ = được gọi là chuẩn hóa tử của H trên G. Nhận xét: ( )GN H G≤ và ( )GH N H . Nếu K G≤ sao cho H K thì ( )GK N H≤ . 1.3. p-nhóm,π-nhóm,p’-nhóm,p-nhóm con Sylow,nhóm con Hall 1.3.1. p-nhóm,p-nhóm con Sylow (1) Cho p là số nguyên tố. Một nhóm hữu hạn được gọi là p-nhóm nếu cấp của nó là một lũy thừa của p. (2) Cho G là một nhóm hữu hạn cấp ap m với ( ), 1p m = và p là số nguyên tố. Một nhóm con của nhóm G có cấp là ap được gọi là p-nhóm con Sylow. (3) Cho A, B là hai nhóm con của nhóm G. A được gọi là liên hợp với B : gg G A B⇔∃ ∈ = . 1.3.2. Định lí Sylow Cho G là một nhóm hữu hạn cấp n và p là ước nguyên tố của n. Khi đó: (1) Mỗi p-nhóm con của G đều chứa trong một p-nhóm con Sylow nào đó của G. Đặc biệt, do 1 là một p-nhóm con nên p-nhóm con Sylow luôn tồn tại. (2) Tất cả các p-nhóm con Sylow của G đều liên hợp với nhau. 5 (3) Nếu pn là số p-nhóm con Sylow của G thì pn là ước của n và ( )1 modpn p≡ [6, 1.6.16]. 1.3.3. Bổ đề Frattini Cho G là một nhóm hữu hạn và H G . Khi đó nếu P là một p-nhóm con Sylow của H thì ( ). GG H N P= [1, 7.3, tr.33]. 1.3.4. Bổ đề Frattini tổng quát Cho G là một nhóm và H G . Giả sử K H≤ là một nhóm thỏa mãn tính chất: “mọi nhóm K H′ ≤ liên hợp với K trong G đều liên hợp với K trong H”. Khi đó ( )GG HN K= [1, 7.4, tr.33]. 1.3.5. Định lí Cho P là một p-nhóm con Sylow của G. (1) Nếu ( )GN P H G≤ ≤ thì ( )GH N H= . (2) Nếu N G thì P N là một p-nhóm con Sylow của N và /PN N là một p- nhóm con Sylow của /G N [6, 1.6.18]. 1.3.6. p’-nhóm Cho p là số nguyên tố. Một nhóm hữu hạn được gọi là p’-nhóm nếu cấp của nó nguyên tố cùng nhau với p. 1.3.7. π-nhóm Giả sử π là một tập hợp gồm các số nguyên tố. Khi đó nếu n là một số tự nhiên có tất cả các ước nguyên tố đều nằm trong π thì n được gọi là một π-số. Nếu G là một nhóm mà mọi phần tử đều có cấp là một π-số thì G được gọi là một π-nhóm. 1.3.8. Nhóm con Hall 1.3.8.1. Định nghĩa Cho G là một nhóm hữu hạn. Một nhóm con H của G được gọi là nhóm con Hall của G nếu H và /G H nguyên tố cùng nhau. 1.3.8.2. Định lí Nếu H là một nhóm con Hall chuẩn tắc của G thì tồn tại nhóm con K của G sao cho /G H K≅ . 6 Chứng minh Do H là nhóm con Hall của G nên ( ), / 1H G H = . Theo Định lí 1.1.7.2, K G∃ ≤ thỏaK là phần bù của H trong G. Suy ra /G HK G H K= ⇒ ≅ . ■ 1.3.8.3. Định lí P.Hall Cho G là một nhóm hữu hạn giải được có cấp n và ( )| , , / 1k n k n k = . Khi đó (1) G chứa ít nhất một nhóm con cấp k. (2) Hai nhóm con cấp k bất kì trong G đều liên hợp với nhau. (3) Nếu |k k′ thì mọi nhóm con cấp k ′ của G đều chứa trong một nhóm con cấp k[1, 11.7, tr.54]. 1.3.9. p′ -nhóm con Hall Nếu p là một số nguyên tố và G là một nhóm hữu hạn có cấp map , với ( ), 1a p = thì một nhóm con của G có cấp a được gọi là một p′ -nhóm con Hall của G. 1.4. Nhóm giải được 1.4.1. Định nghĩa Cho G là một nhóm. Một dãy aben trong G là dãy các nhóm con 0 11 ... nG G G G= =   thỏa điều kiện 1 /i iG G+ là nhóm aben i∀ . Một nhóm G được gọi là giải được nếu nó có một dãy aben. 1.4.2. Tính chất Cho nhóm G, N là nhóm con của G. Ta có các khẳng định sau: (1) Nếu G giải được thì N giải được. (2) Nếu G giải được, N G thì /G N giải được. (3) Nếu N G , N và /G N giải được thì G giải được[6, 5.1.1]. 1.4.3. Định lí Tích hai nhóm con chuẩn tắc giải được là giải được[6, 5.1.2]. 1.4.4. Định lí Mọi p-nhóm G hữu hạn đều giải được[1, 8.14, tr.40]. 1.4.5. Định lí Cho G là một nhóm hữu hạn và giả sử với mỗi số nguyên tố p, tồn tại một p′ - nhóm con Hall của G. Khi đó G giải được[6, 9.1.8]. 7 1.5. Nhóm siêu giải được 1.5.1. Định nghĩa Cho G là một nhóm. Dãy các nhóm con chuẩn tắc của G: 0 11 ... nG G G G= ≤ ≤ ≤ = trong đó 1i iG G+ là nhóm cyclic được gọi là dãy cyclic chuẩn tắc. Một nhóm G được gọi là nhóm siêu giải được nếu nó có một dãy cyclic chuẩn tắc. 1.5.2. Các tính chất của nhóm siêu giải được 1.5.2.1. Mệnh đề Cho G là nhóm siêu giải được ,H G N G≤  . Khi đó: (1) H là nhóm siêu giải được. (2) /G N là nhóm siêu giải được. (3) Nếu 1 2, ,..., nA A A là nhóm siêu giải được thì 1 2 ... nA A A× × × là nhóm siêu giải được. 1.5.2.2. Mệnh đề (1) Nhóm siêu giải được thỏa mãn điều kiện max. (2) Nhóm lũy linh hữu hạn sinh là nhóm siêu giải được[6, 5.4.6]. 1.5.2.3. Mệnh đề Một nhóm là siêu giải được nếu và chỉ nếu nó có một chuỗi cyclic chuẩn tắc mà những nhân tử có cấp vô hạn hoặc cấp nguyên tố. 1.5.2.4. Mệnh đề Một nhóm siêu giải được có một nhóm con chuẩn tắc cyclic cấp nguyên tố hoặc vô hạn. 1.5.2.5. Định lí Cho G là nhóm siêu giải được. Khi đó : (1) Với mọi H G≤ , H có một nhóm con có chỉ số trong H là p với mỗi p là ước nguyên tố của H . (2) Nếu p là ước nguyên tố lớn nhất của G thì G có một p-nhóm con Sylow chuẩn tắc S và S có phần bù T trong G. 8 1.6. Nhóm lũy linh 1.6.1. Định nghĩa Cho G là một nhóm, dãy tâm là dãy các nhóm con chuẩn tắc của G 0 11 ... nG G G G= ≤ ≤ ≤ = thỏa ( )1 / / 0, 1i i iG G Z G G i n+ ⊂ ∀ = − . Nhóm G được gọi là nhóm lũy linh nếu trong G có một dãy tâm. Độ dài dãy tâm ngắn nhất trong G được gọi là lớp lũy linh của G. 1.6.2. Tính chất (1) Mọi nhóm abel đều là nhóm lũy linh. (2) Mọi nhóm lũy linh đều là nhóm giải được [1, 9.14, tr.45]. 1.6.3. Định lí Mọi p-nhóm hữu hạn đều lũy linh[6, 5.1.3]. 1.6.4. Định lí Cho G là nhóm lũy linh. Khi đó: (1) Nếu N G≤ thì N là nhóm lũy linh. (2) Nếu N G thì /G N là nhóm lũy linh. (3) Nếu A, B là nhóm lũy linh thì A B× là nhóm lũy linh[6, 5.1.4]. 1.6.5. Định nghĩa Nhóm G thỏa điều kiện chuẩn hóa nếu mọi nhóm con thực sự của nhóm G đều thực sự nằm trong chuẩn hóa tử của nó. 1.6.6. Định lí Mọi nhóm lũy linh đều thỏa điều kiện chuẩn hóa[1, 9.16, tr.45]. 1.6.7. Hệ quả Nếu G là nhóm lũy linh và H là nhóm con tối đại của G thì H chuẩn tắc trong G[1, 9.17, tr.46]. 1.6.8. Mệnh đề Mọi nhóm con của nhóm lũy linh đều á chuẩn tắc[1, 9.19, tr.46]. 1.6.9. Định lí Nhóm hữu hạn G là lũy linh khi và chỉ khi G là tích trực tiếp của các nhóm con Sylow của nó[1, 9.22, tr.48]. 9 1.6.10. Định lí Đối với nhóm hữu hạn G, những điều kiện dưới đây tương đương: (1) G lũy linh; (2) Mọi nhóm con của G đều á chuẩn tắc; (3) G thỏa điều kiện chuẩn hóa; (4) Mọi nhóm con tối đại của G đều chuẩn tắc; (5) G là tích trực tiếp của những nhóm con Sylow của nó[1, 9.26, tr.49]. 1.6.11. Định lí Cho G là nhóm lũy linh hữu hạn. Nếu P là p-nhóm con Sylow của G thì P là p- nhóm con Sylow duy nhất của G hay P G . Chứng minh Đặt ( )GH N P= . Theo Định lí 1.3.5 (1) ta có ( )GN H H= . Khi đó H G= . Thật vậy, giả sử H G< . Do G lũy linh nên G thỏa điều kiện chuẩn hóa. Suy ra ( )GH N H< : mâu thuẫn. Vậy ( )GN P H G P G= = ⇒  . ■ 1.7. Hoán tử,nhóm con hoán tử,nhóm con dẫn xuất 1.7.1. Hoán tử Cho G là một nhóm và 1 2, ,...x x là các phần tử của G. Phần tử [ ] 1 11 2 1 2 1 2,x x x x x x− −= được gọi là hoán tử của 1x và 2x . Tổng quát hơn, một hoán tử có chiều dài 2n ≥ được định nghĩa như sau: [ ] [ ]1 1 1,..., ,..., ,n n nx x x x x−=    Với quy ước [ ]1 1x x= . Kí hiệu [ ], , ,...,n n x y x y y   =       . 1.7.2. Định lí Cho , ,x y z là các phần tử của một nhóm. Khi đó: (1) [ ] [ ] 1, ,x y y x −= 10 (2) [ ] [ ] [ ], , ,yxy z x z y z= và [ ] [ ][ ], , , zx yz x z x y= (3) [ ]( )1 11, , yx y x y − −−  =  và [ ]( )1 1 1, , xx y x y − − −  =  (4) 1 1 1, , , , , , 1 y z x x y z y z x z x y− − −      =      [6, 5.1.5]. 1.7.3. Nhóm con hoán tử Cho 1 2, ,...X X là là các tập con khác rỗng của nhómG. Khi đó nhóm con hoán tử của 1X và 2X là [ ] [ ]1 2 1 2 1 1 2 2, , | ,X X x x x X x X= ∈ ∈ Tổng quát hơn, khi 2n ≥ 1 1 1,..., ,..., ,n nnX X X X X−       = Do 1, ,x y y x −      = nên 1 2 2 1, ,X X X X      = . Kí hiệu: , , ,...,n n X Y X Y Y           =  . Ta định nghĩa: 2 2 1 1 1 1 2 2| , X xX x x X x X= ∈ ∈ . Nhận xét: Nếu X là tập con và H là nhóm con của một nhóm thì ,HX X X H⊆  . 1.7.4. Định lí Cho X là một tập con và ,K H là nhóm con của một nhóm. Khi đó: (1) [ ], ,KX X X K= . (2) [ ] [ ], ,KX K X K= . (3) Nếu K Y= thì [ ] [ ], , KX K X Y= . (4) Nếu H X= và K Y= thì [ ] [ ], , HKH K X Y= [6, 5.1.6]. 1.7.5. Nhóm con dẫn xuất 1.7.5.1. Định nghĩa Cho nhómG. Nhóm con sinh bởi tập tất cả các hoán tử của G ' , , | ,G G G x y x y G      = = ∈ được gọi là nhóm con dẫn xuất của G. 11 1.7.5.2. Định lí (1)G G′ . (2) Cho H G . Khi đó /G H là nhóm abel khi và chỉ khiG H′ ≤ . Chứng minh (1) [ ],a G G∀ ∈ và x G∈ ta có [ ]1 1 ,b a x a x G G− −= ∈ . Do đó [ ]1 ,x a x ab G G− = ∈ Vậy [ ],G G G . (2) Do /G H là nhóm abel nên , :x y G xyH yxH∀ ∈ = 1 1, :x y G x y xy H− −⇔∀ ∈ ∈ G H′⇔ ≤ . ■ 1.7.6. Định lí Nếu N G và N , /G N ′ giải được thì G giải được[6, 5.2.10]. 1.8. Dãy chuẩn tắc,nhân tử cơ bản,dãy cơ bản 1.8.1. Dãy chuẩn tắc Cho G là một nhóm. Một dãy các nhóm con của G: 0 11 ... nG G G G= ≤ ≤ ≤ = sao cho 1i iG G + được gọi là dãy chuẩn tắc của G. 1.8.2. Dãy các nhóm con chuẩn tắc Cho G là một nhóm. Một dãy các nhóm con của G: 0 11 ... nG G G G= ≤ ≤ ≤ = sao cho iG G được gọi là dãy các nhóm con chuẩn tắc của G. 1.8.3. Nhân tử cơ bản Một nhân tử cơ bản của nhóm G là nhóm thương /H K với ,H K G và /H K là nhóm con chuẩn tắc tối tiểu của /G K . 1.8.4. Dãy cơ bản Một dãy chuẩn tắc của G: 0 11 ... nG G G G= ≤ ≤ ≤ = mà các nhân tử 1 /i iG G+ là nhân tử cơ bản của G được gọi là dãy cơ bản trong G. 12 1.9. Hệ Sylow,System Normalizer 1.9.1. Hệ Sylow 1.9.1.1Định nghĩa Cho G là một nhóm hữu hạn và gọi 1 2, ,..., kp p p là các ước nguyên tố phân biệt của G . Giả sử rằng iQ là một ip ′ -nhóm con Hall của G. Khi đó tập { }1 2, ,..., kQ Q Q được gọi là một hệ Sylow của G. 1.9.1.2. Tính chất Một nhóm hữu hạn G có một hệ Sylow khi và chỉ khi G giải được. 1.9.2. System Normalizer 1.9.2.1. Định nghĩa Cho { }1 2, ,..., kQ Q Q là một hệ Sylow của nhóm hữu hạn giải được G. Nhóm con ( ) 1 k G i i N N Q = =  được gọi là một system normalizer của G. 1.9.2.2. Định lí Trong một nhóm giải được hữu hạn, các system normalizer lũy linh và bất kì hai system normalizer đều liên hợp với nhau[6, 9.2.4]. 1.10. Phép tự đẳng cấu lũy thừa Một tự đẳng cấu của nhóm G mà tất cả các nhóm con đều bất