M ỤC LỤC
B ẢNG KÍ HIỆU DÙNG TRONG LUẬN VĂN
2.8. Định lý(Van der wall [9])
Đặt pnlà số nguyên tố nhỏ nhất chia hết G . Nếu mọi nhóm con của Gcó cấp nguyên tố đều chuẩn tắc trong Gthì 2 điều sau là tương đương:
(1) Glà nhóm siêu giải được. (2) Glà nhóm pn-lũy linh.
Chứng minh.( ) ( )1 ⇒ 2 Nếu Gsiêu giải được thì theo Định lý 1.5.12 Glà pn −
lũy linh,với pnlà số nguyên tố nhỏ nhất chia hết G . Do đó Glà nhóm 2-lũy linh.
( ) ( )2 ⇒ 1 Glà nhóm pn-lũy linh G =P Kn với Pnlà pn −nhóm con Sylow của G.
Klà pn'−nhóm con Hall chuẩn tắc của G. Do đó G Pn
K ≅ , mà Pnlà nhóm siêu giải được nên G
Klà nhóm siêu giải được. Áp dụng Định lý 2.4 ta được Glà nhóm siêu giải được.
2.9. Định lý
Cho G'⊂Hvới G'là nhóm con giao hoán tử của G, Hlà một nhóm con của G
và mọi nhóm con có cấp nguyên tố của Hđều π −tựa chuẩn tắc trong G. Hơn nữa một trong các điều kiện sau được thỏa mãn:
i) 2 không là ước của H .
ii) 2 | H và 2-nhóm con Sylow của Hlà giao hoán
iii) 2 | H và mọi nhóm con cylic cấp 4 của Hlà π −tựa chuẩn tắc trong G
Khi đóGlà nhóm siêu giải được.
Chứng minh.Nếu H =Gthì theo Định lý 2.3, 2.5, 2.1 Glà nhóm siêu giải được. Ta xét trường hợp Hlà nhóm con thực sự của G. 1 ( 1 1 )
, , x G a H x ax− a a x ax− − ∀ ∈ ∈ = mà 1 1 ' a x ax− − ∈G ⊂ Hnên H G. Do G'⊂Hnên ' G G H ⊂ G . Mà ' G G là nhóm giao hoán ( 1 1 1 1 ) ' . . . 1 ' ' ' ' G a b a b aba b G G G G G − − − − = = nên G
H là nhóm giao hoán. Vậy G H là nhóm lũy linh hữu hạn sinh nên G
H là nhóm siêu giải được. Áp dụng Định lý 2.4 G
là nhóm siêu giải được.
Định lý ( ITO) Cho Glà nhóm có cấp lẻ và mọi nhóm con của G'có cấp nguyên tố đều chuẩn tắc trong G. Khi đóG'là nhóm lũy linh.
Chứng minh. Áp dụng Định lý 2.9 với H ≡G' Glà nhóm siêu giải được. Theo Định lý 1.5.13 G'là nhóm lũy linh.
2.10. Định lý
Cho p≥qvới mọi số nguyên tố qchia hết G , O Gp( )=1, mọi nhóm con có cấp nguyên tố q≠ pđều π −tựa chuẩn tắc trong Gvà thỏa mãn một trong các điều kiện sau:
i) 2 | G .
ii) 2 | G và nhóm con 2-Sylow của Glà giao hoán.
iii) 2 | G và mọi nhóm con cyclic cấp 4 của Glà π −tựa chuẩn tắc trong G. Khi đóGlà nhóm siêu giải được.
Chứng minh. Ta chứng minh Glà p'−nhóm. Nếu không thì p G| theo Định lý 2.3 Gcó 1 tháp Sylow. Do đó PG với Plà p−nhóm con Sylow của G, plà số nguyên tố lớn nhất chia hết G . Do PGnên Plà p−nhóm con Sylow duy nhất của
G. Mà O Gp( )là giao của tất cả p−nhóm con Sylow của Gnên O Gp( )=P, theo giả thiết O Gp( )=1( mâu thuẫn). Vậy Glà p'−nhóm. Áp dụng Định lý 2.5
1
G
Plà nhóm siêu giải được với P1là p1−nhóm con Sylow của G,p1là số nguyên tố lớn nhất chia hết
KẾT LUẬN
Trong luận văn, phần chính là các tính chất của nhóm con π -tựa chuẩn tắc của nhóm hữu hạn đã được trình bày cụ thể và liền mạch. Qua đó cho chúng ta thấy sự mở rộng trong việc chứng minh các Định lý của Ito, Buckley, Van Der Wall và Asaad.
Ngoài ra, trong chương I các kiến thức về nhóm con π - tựa chuẩn tắc, nhóm con Hall, nhóm Frattini,nhóm lũy linh, nhóm p− lũy linh, nhóm siêu giải được …cũng được trình bày khá rõ ràng giúp người xem dễ dàng theo dõi các chứng minh quan trọng trong chương II.
Những kết quả thú vị về ảnh hưởng của nhóm con π - tựa chuẩn tắc đến tính siêu giải được, p− lũy linh sẽ cho ta câu hỏi về ảnh hưởng của nó đến các tính chất khác của nhóm bất kì. Đây là vấn đề sẽ tiếp tục được nghiên cứu trong tương lai.
TÀI LIỆU THAM KHẢO Tiếng Việt
1. Bùi Xuân Hải (2002), Đại số hiện đại, Nxb ĐH quốc gia Tp. HCM. 2. Mỵ Vinh Quang (1998), Bài tập đại số đại cương, Nxb giáo dục. 3. Hoàng Xuân Sính (1994), Đại số đại cương, Nxb giáo dục Hà Nội.
Tiếng Anh
4. Ayesha Shaalan (1990), “The influence of quasinormality of some subgroup on the structure of a finite group”,287-293.
5. M.Asaad (1988), “On the solvability of finite groups”, Arch. Math, 51, 289-293. 6. J.Buckley (1970),” Finite groups whose minimal subgroups are normal”, Math. Z,
15-17.
7. N.Ito (1955), “Uber eine Zur Frattini-Gruppe duale Bildung”, Nagoya Math. J,123- 127.
8. C.J.E Pinnock, Supersolubility and some Characterizations of Finite Supersoluble Groups, 2nd Edition.
9. Derek J.S.Robinson : A Course in the Theory of Groups , (2nd edition), Springer – Verlag, New York.
10. W.R. Scott (1964), Group theory, Prentice-Hall.
11. R.W Van der Wall (1976), “ On minimal subgroup which are normal”, J. Reine
Angew Math., 285,77-78.
Tiếng Đức
12. K.Doerk (1996),, Minimal nicht uberaufl osabre, endliche Gruppen, Math. Z, 98- 205.
13. D. Gorenstein (1968), Finite groups, Harper_Row ,New York. 14. B.Huppert (1967), Endliche Gruppen I, Springer , Berlin. 15. Okegel (1962), “Sylow-Gruppen Und sbnormalteiler endlicher