LÝ THUYẾT MỞ RỘNG TRƯỜNG VÀ LÝ THUYẾT GALOIS

Chia sẻ: Phạm Đức Linh | Ngày: | Loại File: PDF | Số trang:4

Thêm vào BST

Báo xấu

418
lượt xem 97
download

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

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

Chủ đề:

Bình luận(2) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: LÝ THUYẾT MỞ RỘNG TRƯỜNG VÀ LÝ THUYẾT GALOIS

TẠ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, su btraction, multiplication, division and the extraction of n th 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 a  K đượ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 0  f  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)   x Ví dụ: cho đa thức x4 – 5x2 + 6 Ta có: f(x) = (x2 – 2 )(x2 – 3) có 4 nghiệm là 2,- 2, 3,- 3.   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 . N=  291
Tuyể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  .  Aut 3  ( N ) Ta có :  T1 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  3 của đa thức   x . Nên  T2  Aut x2 – 3 ( N ) biến 3 thành - 3 ;  2 Và T2(u) = a + b 2 – c 3 – d 2 3;  - tự đẳng cấu của N Tích T3 = T1.T2 cũng là một 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:  2  2  2 2  2  2  2 2     T1 :  T2 :  T3:  T4 :  ; ; ;  3 3  3 3  3 3  3 3     Theo định lí 3, với mọi phần tử T  Aut ( N ) , thì T chuyển 2 hoặc - 2 , và 2 thành chuyển 3 hoặc - 3 . Cho nên, T sẽ trùng với một trong 4 phần tử T1, T2, T3, T4 3 thành trên. Như vậy, Aut ( N ) = T1,T2 ,T3 ,T4  cũng chính là nhóm Galois của f trên K.  K  x có bậc n  1, có k nghiệm phân biệt Định lí 4. Cho K là một trường, và 0  f u1,...., uk trong một trường nghiệm N = K(u1,…., un).  G = AutK(N) là nhóm Galois của f. Khi đó, mỗi T  G xác định một hoán vị của tập hợp u1,...., uk  sao cho Tui  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. i  Hệ quả. Nhóm Galois G của mọi đa thức 0  f  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ữ 292
TẠ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  N : F . 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 Đị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ì :  G / H(F). AutK(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  G1  ….  Gn = G 1 = G0 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 i  0, n 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  G1  ….  Gn = G sao cho Gi+1 / Gi là nhóm abel i  0, n 1 . 1 = G0 Định nghĩa 6(Nhóm đối xứng Sn). 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  P(t ,...., tn )  / P, Q  K t1,...., tn  , Q  0 t1,...., tn ) =  1 E = K(  Q(t1,...., tn )    Sn xác định một K- tự đẳng cấu của E định bởi Mỗi P( (t1 ),...., (tn )) P(t1,...., tn )  Q( (t1 ),...., (tn )) Q(t1,...., tn ) 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 ; tit j ;…………; sn = t1….tn s2 = ; 1i j n Từ lập luận trên ta có được kết quả là định lí sau Định lí 9. M = K( s1,...., sn ) 293
Tuyể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  K (s1,..., sn ) t  g = tn – s1tn-1+….+(- 1) n sn 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. 294