Mục đích của đề tài này là chứng minh tồn tại đa thức bậc 5 không giải được bằng căn thức, không tồn tại công thức chung nào cho việc tìm nghiệm của phương trình bậc 5 từ các hệ số của nó thông qua hữu hạn các bước cộng, trừ, nhân, chia và khai căn các hệ số của nó.
Trang 1TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 2(25).2008
LÝ THUYẾT MỞ RỘNG TRƯỜNG VÀ
LÝ THUYẾT GALOIS
FIELD EXTENSION THEORY AND GALOIS THEORY
SVTH: VÕ THỊ KHÁNH XUÂN
Lớp : 05TT, Trường Đại học Sư Phạm
GVHD: THS NGUYỄN VIẾT ĐỨC
Khoa Toán, Trường Đại học Sư Phạm
TÓM TẮT
Mục đích của đề tài này là chứng minh tồn tại đa thức bậc 5 không giải được bằng căn thức, không tồn tại công thức chung nào cho việc tìm nghiệm của phương trình bậc 5 từ các hệ số của nó thông qua hữu hạn các bước cộng, trừ, nhân, chia và khai căn các hệ số của nó
ABSTRACT
The aim of this topic is showing the existence of quintic polynomial which is not solvable by radicals So, there cannot exist any general formula for obtaining the roots of a quintic polynomial from its coefficients in a finite number of steps involving only addition, subtraction, multiplication, division and the extraction of nth roots
1 Tự đẳng cấu trường
Định nghĩa 1 Cho E là một mở rộng của trường K Một tự đẳng cấu T của E thoả Ta = a
được gọi là một K- tự đẳng cấu của E
Định lí 1 Nếu E là một mở rộng của trường K thì các K- tự đẳng cấu của trường E tạo thành
một nhóm, kí hiệu: AutK(E) và là nhóm con của Aut(E)
Định lí 2 Cho E là một trường, H là tập hợp những tự đẳng cấu của E (H Aut(E)) Khi đó,
KH = a E Ta / a T H là trường con của trường E và H là tập các KH - tự đẳng cấu của E
2 Nhóm Galois và các tính chất của nhóm Galois
Định nghĩa 2( Hai phần tử liên hiệp) Hai phần tử u và v thuộc một mở rộng F của K được
gọi là liên hiệp trên K nếu chúng cùng là nghiệm của cùng một đa thức bất khả quy thuộc
K x
Định lí 3 Cho F là một mở rộng hữu hạn của K Khi đó, mọi T là K- tự đẳng cấu của F và
mọi u F thì: T(u) và u liên hiệp trên K
Định nghĩa 3( Nhóm Galois của một đa thức) Cho một trường K, một đa thức 0f
K x
có bậc n và N = K(u1,…., un) là trường nghiệm của f, nhóm AutK(N) được gọi là nhóm Galois của đa thức f ( nhóm Galois của N trên K)
Ví dụ: cho đa thức x4
– 5x2 + 6 x
Ta có: f(x) = (x2 – 2 )(x2 – 3) có 4 nghiệm là 2 , - 2 , 3 , - 3
N = 2, 3 là trường nghiệm của f trên, là mở rộng bậc 4 của sinh bởi 2 và 3
Trang 2Tuyển tập Báo cáo “Hội nghị Sinh viên Nghiên cứu Khoa học” lần thứ 6 Đại học Đà Nẵng - 2008
Trên ( 3)thì N là mở rộng bậc 2 sinh bởi một trong 2 nghiệm 2 của đa thức
x2 – 2 x
Ta có : T1 Aut 3 ( ) N biến 2 thành - 2 ;
u N, thì u = a + b 2 +c 3 + d 2 3 ; (a,b,c,d )
Nên T1(u) = a – b 2 +c 3 – d 2 3
Tương tự, trên ( 2) thì N là mở rộng bậc 2 sinh bởi một trong 2 nghiệm 3của đa thức
x2 – 3 x Nên T2 Aut 2 ( )N biến 3 thành - 3 ;
Và T2(u) = a + b 2 – c 3 – d 2 3 ;
Tích T3 = T1.T2 cũng là một - tự đẳng cấu của N
Và T3(u) = a – b 2 – c 3 + d 2 3
Ngoài ra ta còn có tự đẳng cấu đồng nhất T4 sao cho:
T4(u) = a + b 2 +c 3 + d 2 3 ;
Như vậy ta có 4 phần tử của nhóm Aut( ) N như sau:
3 3
; T2:
2 2
; T3:
3 3
2 2
3 3
Theo định lí 3, với mọi phần tử T Aut( ) N , thì T chuyển 2 thành 2 hoặc - 2 , và chuyển 3 thành 3 hoặc - 3 Cho nên, T sẽ trùng với một trong 4 phần tử T1, T2, T3, T4 trên Như vậy, Aut( )N = T T T T1, , ,2 3 4 cũng chính là nhóm Galois của f trên K
Định lí 4 Cho K là một trường, và 0 f K x có bậc n 1, có k nghiệm phân biệt
1, , k
u u trong một trường nghiệm N = K(u1,…., un)
G = AutK(N) là nhóm Galois của f Khi đó, mỗi TG xác định một hoán vị của tập hợp
u1, , uksao cho
i
i
Tu u , ( i 1, ) k và ngược lại, tự đẳng cấu T được hoàn toàn xác định bởi hoán vị này
Hệ quả Nhóm Galois G của mọi đa thức 0f K x có bậc n 1 đẳng cấu với nhóm con của nhóm các hoán vị của tập hợp các nghiệm phân biệt của f
3 Định lí cơ bản của thuyết Galois - Sự tương ứng giữa nhóm con và trường con
Định lí 5 Cho K là một trường, f K x là đa thức tách được trên K và G = AutK(N) (N là trường nghiệm của f trên K) thì tồn tại một song ánh H F, từ các nhóm con H của G đến các trường con F của N chứa K Trường con F= F(H) gồm tất cả các phần tử của N được giữ
Trang 3TẠP CHÍ KHOA HỌC VÀ CÔNG NGHỆ, ĐẠI HỌC ĐÀ NẴNG - SỐ 2(25).2008
cố định bởi mọi tự đẳng cấu thuộc H, nhóm con H = H(F) gồm tất cả các tự đẳng cấu trong G
cố định mỗi phần tử của F và H(F) là nhóm Galois của N trên F có cấp là bậc N F :
Định lí 6 Một trường trung gian F ( K F N) là một trường chuẩn tắc trên K nếu và chỉ nếu H(F) là nhóm con chuẩn tắc của nhóm Galois của N Nếu F chuẩn tắc thì :
AutK(F) G / H(F)
4 Tính không giải được của phương trình có bậc lớn hơn 4
Định nghĩa 4(Dãy chuẩn tắc) Cho G là một nhóm nhân Dãy chuẩn tắc của G là dãy hữu hạn
các nhóm con phân biệt
1 = G0 G1 ….Gn = G
Trong đó, Gi là nhóm con chuẩn tắc của Gi+1 i 0 ,n 1 và các nhóm thương Gi+1 / Gi
0, 1
được gọi là các thành phần của dãy chuẩn tắc
Định nghĩa 5(Nhóm giải được) Một nhóm G được gọi là giải được nếu tồn tại dãy chuẩn tắc
1 = G0 G1 ….Gn = G sao cho Gi+1 / Gi là nhóm abel i 0, n 1
Định nghĩa 6(Nhóm đối xứng S n) Nhóm đối xứng Sn là nhóm các phép hoán vị của tập gồm
n phần tử = 1, , n, có cấp là n! Mỗi phần tử của Sn được gọi là một phép thế
Định lí 7 Nhóm đối xứng Sn với n 5 không giải được
Định nghĩa 7(Đa thức giải được bằng căn thức) Một đa thức f K x được gọi là giải được bằng căn thức trên K nếu các nghiệm của phương trình đều thuộc vào một mở rộng căn
E của K
Định lí 8 Nếu đa thức f giải được bằng căn thức trên trường K có đặc số 0 thì nhóm Galois
của f là nhóm giải được
Cho K là một trường và t1, , tn là các phần tử độc lập đại số trên K Xét
1 1
( , , )
( , , )
n
n n
Mỗi Sn xác định một K- tự đẳng cấu của E định bởi
( , , ) ( ( ), , ( )) ( , , ) ( ( ), , ( ))
Tương ứng trên là một đơn cấu từ Sn vào AutK(E) Nên ta xem như Sn là một nhóm con của AutK(E) Kí hiệu M là trường con của E được giữ cố định bởi Sn Như vậy, M chứa các đa thức đối xứng cơ bản s1,….,sn
s1 = t1+….+tn ; s2 =
1
i j
i j n
t t
;…………; sn = t1….tn ;
Từ lập luận trên ta có được kết quả là định lí sau
Định lí 9 M = K(s1, , sn)
Trang 4Tuyển tập Báo cáo “Hội nghị Sinh viên Nghiên cứu Khoa học” lần thứ 6 Đại học Đà Nẵng - 2008
Mệnh đề s1,…,sn được nói đến trong định lí 1trên là độc lập đại số trên K
Định nghĩa 8(Đa thức tổng quát) Cho K là trường và s1,….,sn là các phần tử độc lập đại số trên K Đa thức
g = tn – s1tn-1+….+(- 1) n
sn K s( , , )1 s n t
gọi là đa thức tổng quát bậc n trên K
Từ định lí 9 ta chứng minh được định lí sau:
Định lí 10 Cho K là trường và g là đa thức tổng quát bậc n trên K Gọi N là trường nghiệm
của g trên K(s1,….,sn) Khi đó, các nghiệm t1,…,tn của g độc lập đại số trên K và nhóm Galois của N trên K(s1,….,sn) là Sn
5 Kết luận
Như vậy, theo định lí 10 trên thì tồn tại đa thức f bậc 5 với hệ số thực có nhóm Galois là nhóm đối xứng S5 Mà nhóm đối xứng Sn (n 5) thì không giải được ( theo định lí 7) nên nhóm Galois của f không giải được ( theo định lí 8) Do đó, ta có định lí sau
Định lí 11 Có một đa thức bậc 5 với hệ số thực không giải được bằng căn thức Không những
vậy, cũng tồn tại đa thức bậc k lớn hơn 5 không giải được bằng căn thức
TÀI LIỆU THAM KHẢO
[1] Nguyễn Chánh Tú (2006), Mở rộng trường và lý thuyết Galois, NXB Giáo Dục
[2] Lê Thanh Hà (1996), Giáo trình Các trường số đại số và lý thuyết Galois, Đại học Huế,
trung tâm đào tạo từ xa
[3] Hoàng Xuân Sính(1998), Đại số đại cương, NXB Giáo Dục
[4] Nguyễn Viết Đức, Thái Xuân Tiên, Đặng Ngọc Dục(1997), Đại số tuyến tính
[5] D R Wilkins, Galois Theory