1

BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC VINH

THÂN LÊ HỒNG NHUNG

VỀ MỞ RỘNG XYCLIC VÀ MỞ RỘNG CĂN

LUẬN VĂN THẠC SĨ TOÁN HỌC

NGHỆ AN – 2012


2

BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC VINH

THÂN LÊ HỒNG NHUNG

VỀ MỞ RỘNG XYCLIC VÀ MỞ RỘNG CĂN

CHUYÊN NGÀNH: ĐẠI SỐ VÀ LÝ THUYẾT SỐ
Mã số
: 60 46 05

LUẬN VĂN THẠC SĨ TOÁN HỌC

Người hướng dẫn khoa học
PGS.TS. NGUYỄN THÀNH QUANG


2.1. Mở rộng xyclic...........................................................................

14

2.2. Mở rộng căn...............................................................................

16

2.3. Tính giải được của nhóm Galois của mở rộng căn.................

18

2.4. Ứng dụng của mở rộng căn và mở rộng xyclic.......................

20

2.5. Phép dựng hình bằng thước kẻ và compa...............................

30

CHƯƠNG 3.

SỬ DỤNG PHẦN MỀM MAPLE ĐỂ GIẢI
PHƯƠNG TRÌNH ĐẠI SỐ BẰNG CĂN THỨC

3.1. Sử dụng maple 6........................................................................

33


mà E. Galois đã chỉ ra được tiêu chuẩn giải được bằng căn thức của các phương
trình đại số đa thức và cho câu trả lời về việc không dựng được bằng thước kẻ và
compa của một lớp các bài toán hình học cổ điển.
Với những lý do như đã nêu ở trên, trong luận văn này chúng tôi tập trung
trình bày hai nội dung chính sau đây:
1. Mô tả cấu trúc của mở rộng xyclic.
2. Tính giải được của nhóm Galois của mở rộng căn.
Từ đó, luận văn đi tìm hiểu sâu hơn về ứng dụng của mở rộng căn trong bài
toán tìm tiêu chuẩn giải được bằng căn thức đối với phương trình đại số.
Luận văn gồm 3 chương:
Chương 1. Giới thiệu những khái niệm và kết quả cơ sở của lý thuyết mở
rộng trường và Lý thuyết Galois


5

Chương 2. Trình bày các khái niệm và kết quả của mở rộng xyclic; giới thiệu
về mở rộng căn và tính giải được của nhóm Galois của mở rộng căn; một số ứng
dụng của mở rộng xyclic và mở rộng căn.
Chương 3. Thực hành giải một số phương trình đại số bằng căn thức và tính
toán nhóm Galois của một số đa thức trên phần mềm Maple.
Luận văn được hoàn thành dưới sự hướng dẫn của PGS.TS. Nguyễn Thành
Quang. Nhân dịp này, tác giả xin bày tỏ lòng kính trọng và biết ơn sâu sắc đến
thầy giáo hướng dẫn, người đã dành cho tác giả sự hướng dẫn tận tình, chu đáo
và nghiêm túc trong quá trình học tập, nghiên cứu và thực hiện luận văn.
Tác giả xin gửi lời cảm ơn đến các thầy cô giáo thuộc chuyên ngành Đại số
và Lý thuyết số, khoa Toán học, phòng Đào tạo Sau Đại học – Trường Đại học
Vinh – đã tận tình giảng dạy và hướng dẫn khoa học.
Tác giả xin gửi lời cảm ơn Trường Đại học Sài Gòn đã quan tâm giúp đỡ tổ
chức cho chúng tôi hoàn thành nhiệm vụ học tập và nghiên cứu theo chương

các số nguyên modp là các trường

nguyên tố.
Nhận xét. Mỗi trường đều chứa một trường con nguyên tố duy nhất.
Thật vậy, ta gọi P là giao của tất cả các trường con của trường K. Khi đó,
P là trường con bé nhất của K và do đó P là trường con nguyên tố duy nhất của
trường K.
1.1.3. Định lý về các kiểu trường nguyên tố. Cho K là một trường và P là
trường con nguyên tố của K.
1) Nếu K có đặc số 0 thì P đẳng cấu với trường ¤ các số hữu tỉ.
2) Nếu K có đặc số nguyên tố p thì P đẳng cấu với trường ¢

p

các số

nguyên modp.
Chứng minh. Lập ánh xạ f : ¢ → K từ vành số nguyên ¢ tới K, xác định bởi f(m)
= m1, với 1 là phần tử đơn vị của trường K. Ta có f là đồng cấu vành.
1) Trong trường hợp trường K có đặc số 0, ta có:
m ∈ Ker(f) ⇔ f(m) = 0 ⇔ m1 = 0 ⇔ m = 0.


8

Vậy Ker(f) = {0}, hay f là đơn cấu vành, do đó ta thu được một đẳng cấu
vành: ¢ ≅ Im(f) = {m1; m ∈ ¢ }.
Đẳng cấu vành này cảm sinh ra một đẳng cấu giữa trường các thương của
vành số nguyên ¢ với trường các thương của Im(f). Do đó, ta có đẳng cấu
trường P ≅ ¤ , bởi vì trường các thương của ¢ là ¤ , còn trường các thương của

Từ đó suy ra

C kp x = 0, ∀x ∈ K , ∀k = 1, 2,..., p − 1.

Do đó, công thức nhị thức ở trên trở thành: (a + b) p = a p + b p . ▄
1.1.5. Mệnh đề. Nếu K là trường có đặc số nguyên tố p thì ánh xạ f : a a a p là
một tự đơn cấu của trường K.
Chứng minh. Theo Mệnh đề 1.1.4, với ∀a, b ∈ K , ta có
f (a + b) = (a + b) p = a p + b p = f (a) + f (b),
f (ab) = (ab) p = a p b p = f (a) f (b).

Ngoài ra, vì f(1) = 1p = 1 ≠ 0, nên f khác tự đồng cấu không của trường K.
Vì vậy, ánh xạ f : a a a p là một tự đơn cấu của trường K. ▄


9

n

1.1.6. Hệ quả. Nếu K là trường có đặc số nguyên tố p thì ánh xạ g : a a a p là
một tự đơn cấu của trường K, với mọi số nguyên n ≥ 1 .
Chứng minh. Vì trường K có đặc số p, cho nên theo Mệnh đề 1.1.5 ta suy ra ánh
xạ f : a a a p là một tự đơn cấu của trường K. Vì vậy, ánh xạ tích n lần của f là
n
g = f n = f o f oLo f : a a a p là một tự đơn cấu của K.

1.1.7. Mệnh đề. Mọi tự đồng cấu khác không của trường ¢

p



10

1.2. Mở rộng trường
1.2.1. Định nghĩa. Giả sử K là một trường con của E. Khi đó, ta nói E là một
trường mở rộng hay là một mở rộng của trường K. Mở rộng E của trường K
được ký hiệu E/K. Giả sử E là một mở rộng của trường K, ta có thể xem E là một
không gian vectơ trên K. Nếu E là không gian vectơ hữu hạn chiều trên trường
K, thì ta nói E là mở rộng bậc hữu hạn của trường K. Số chiều n của không gian
vectơ E trên K được gọi là bậc của mở rộng E trên K. Ta ký hiệu [E : K] là bậc
của mở rộng E trên K.
Như vậy, ta có [E : K] = dim Κ E = n. Mỗi cơ sở của không gian vectơ E
trên K được gọi là một cơ sở của mở rộng E trên K.
1.2.2. Phần tử đại số. Phần tử siêu việt. Cho K là một trường và E là một mở
rộng của K. Phần tử u ∈ E được gọi là phần tử đại số trên K nếu tồn tại đa thức
khác không f ( x) ∈ K[x] sao cho f(u) = 0. Phần tử u ∈ E không đại số trên K,
được gọi là phần tử siêu việt trên K. Nói khác đi, một phần tử u ∈ E là phần tử
siêu việt trên trường K nếu với mọi hệ thức đa thức có dạng:
a + a u + L + an u n = 0,(ai ∈ K ) kéo theo ai = 0, ∀i = 0,1,...., n.
0 1

Cho u ∈ E là phần tử đại số trên K. Ta chọn trong tất cả các đa thức khác 0
thuộc K[x] nhận u làm nghiệm một đa thức đơn hệ (hệ số cao nhất bằng 1) có bậc
nhỏ nhất, ký hiệu là q( x) .Với mỗi phần tử đại số u ∈ E , đa thức như vậy được
xác định duy nhất. Ta gọi q( x) của u là đa thức cực tiểu của phần tử đại số u ∈ E .
Ta cũng gọi bậc của đa thức cực tiểu q( x) của u là bậc của phần tử u trên K, và ký
hiệu bởi [u : K]. Như vậy, ta có: [u : K] = deg q( x) .
1.2.3. Mở rộng đại số và mở rộng siêu việt. Ta gọi mở rộng E của trường K là
mở rộng đại số trên K nếu mọi phần tử u∈ E đều là phần tử đại số trên K. Ta gọi
mở rộng E của trường K là mở rộng siêu việt trên K nếu mở rông E không phải là


1.3. Nhóm Galois
1.3.1. Định nghĩa. Giả sử F là mở rộng của trường K và giả sử G là nhóm các K
tự đẳng cấu của trường F, còn H là một nhóm con của G. Khi đó tập hợp
F H = {x ∈ F | ϕ ( x) = x, ∀ϕ ∈ H }

lập thành một trường con của F, gọi là trường con bất động của trường F dưới
nhóm H.
Cho F là một mở rộng chuẩn tắc của trường K. Nhóm các K − tự đẳng cấu
của F (nghĩa là nhóm các tự đẳng cấu của F, giữ nguyên mọi phần tử của K)
được gọi là nhóm Galois của mở rộng F trên K và ký hiệu bởi G ( F / K ) .
Nếu E là trường nghiệm của đa thức f ( x) trên K thì ta cũng sẽ gọi nhóm
Galois của mở rộng E trên K là nhóm Galois của đa thức f ( x) .
1.3.2. Mệnh đề. Giả sử F là một mở rộng bậc hữu hạn trên trường K và H là
nhóm con hữu hạn cấp n của nhóm các K – tự đẳng cấu của trường F. Khi đó,
ta có n = [ F : F H ] với F H là trường con bất động của F dưới H.
Mệnh đề được suy ra trực tiếp từ các bổ đề sau:
1.3.3. Bổ đề. Cho ϕ1 , ϕ2 ,L , ϕn là những đẳng cấu khác nhau từ trường E vào
trường E ' thỏa mãn điều kiện
x ϕ (a ) + x ϕ (a ) + L + xnϕn (a ) = 0 (*)
1 1
2 2

với mọi a ∈ E .Khi đó x1 = x2 = L = xn = 0 .
Chứng minh. Ta chứng minh bằng quy nạp theo n .
Với n=1 ta có x1ϕ1(a) = 0 . Do ϕ1 (1) = 1 nên x1 = 0 .
Với n > 1 , nhân hai vế của hệ thức trên với ϕn (c) ( c ∈ E ) ta được
x ϕ (a )ϕn (c) + L + xnϕn (a)ϕn (c) = 0 (1)
1 1


ϕ1(c1) x1 + ϕ2 (c1 ) x2 + L + ϕn (c1) xn = 0
ϕ1(c2 ) x1 + ϕ2 (c2 ) x2 + L + ϕn (c 2) xn = 0
........................................................

ϕ (cr ) x + ϕ (cr ) x + L + ϕn (cr ) xn = 0
1
1 2
2

Do số ẩn nhiều hơn số phương trình nên hệ phương trình có nghiệm không
tầm thường, và ta vẫn ký hiệu nghiệm này là x1, x2 ,K , xn .
Bây giờ, theo một lập luận khác ta sẽ chứng tỏ rằng x1 = x2 = L = xn = 0 .
Và điều vô lý này sẽ chứng minh cho kết luận của mệnh đề.
Nếu phần tử a ∈ F thì a biểu diễn được duy nhất dưới dạng
a = k c + k c + L + kr cr , ki ∈ F H .
11 2 2

Do

ϕ (k ) = k = ϕ j (k ) nên nhân phương trình đầu với ϕ1 (k1 ) ta được
1 1
1
1

ϕ (k c ) x + ϕ (k c ) x + L + ϕn (k c ) xn = 0 .
1 11 1 2 11 2
11

Tương tự ta có
ϕ (k c ) x + ϕ (k c ) x + L + ϕn (k c ) xn = 0

Do ẩn số nhiều hơn số phương trình nên hệ phương trình tuyến tính thuần
nhất này có nghiệm khác nghiệm tầm thường. Gọi m là số nguyên dương bé nhất
sao cho hệ phương trình
m
∑ ϕ (c ) y = 0
i =1 i i

vẫn có nghiệm không tầm thường (trong hệ này mỗi phương trình ứng với một
ϕ ∈ H ).

Ta chứng tỏ rằng hai nghiệm khác không của hệ trên là tỷ lệ.
Thật vậy, giả sử u1, u2 ,L, um và v1, v2 ,L , vm là hai nghiệm không tỉ lệ. Khi đó,
nếu

u = tv
1
1

thì tồn tại

k , 2 ≤ k ≤ m , sao cho

u ≠ tv , và dễ thấy
k
k

u − tv ,L , um − tvm cũng là một nghiệm khác không của hệ
2
2
m

1.3.6. Định lý. Trong trường nghiệm F của một đa thức tách được f ( x) ∈ K [ x]
trường bất động dưới nhóm Galois G đúng bằng K , F G = K .
Chứng minh. Đặt F0 = F G , rõ ràng K ⊂ F0 . Theo Mệnh đề 1.3.2 thì cấp của nhóm
G đúng bằng bậc của mở rộng [ F : F0 ] .
Mặt khác, cấp của nhóm G, tức là số tự đẳng cấu ϕ đúng bằng bậc mở
rộng [ F : K ] . Bởi vậy [ F : K ] = [ F : F0 ] . Do K ⊂ F0 nên K = F0 . ▄
Giả sử E là mở rộng bậc hữu hạn của trường K. Gọi Aut(E) là nhóm nhân
các tự đẳng cấu của trường E. Ký hiệu
G = G ( E , K ) = {σ ∈ Aut ( E ) | σ (t ) = t , ∀t ∈ K } .


16

1.3.7. Định lý các đặc trưng của mở rộng Galois ([5]). Giả sử E là mở rộng có
bậc hữu hạn của trường K. Đặt G = G(E,K) là nhóm Galois của E trên K, C =
(E,G) là trường con bất biến của biến của E bởi G. Khi đó, các phát biểu sau là
tương đương:
a) # G = [ E : K ] .
b) C ( E , K ) = K .
c) E là mở rộng chuẩn tắc và tách được của K.
d) E là trường phân rã của một đa thức tách được f( x ) trên K.
1.3.8. Định lý cơ bản của Lý thuyết Galois ([5]). Giả sử F là một mở rộng
Galoa của trường K và G = G ( F / K ) là nhóm Galois của nó. Khi đó
(i) Tồn tại một song ánh giữa các nhóm con của G và các trường con F

chứa K, cho bởi các tương ứng
H a F H ; E a G(E ) .
(ii ) Với mỗi trường trung gian E, nhóm con G(E) là nhóm Galois của mở

rộng Galoa F trên E và cấp của nó là bậc của mở rộng [ F : E ] .

căn bậc n của đơn vị. Khi đó, nếu F là mở rộng xyclic bậc n trên K thì F = K (α )
với α là nghiệm của phương trình nhị thức x n − a = 0 (a ∈ K ) và là trường
nghiệm của đa thức ấy.
Chứng minh. Gọi ζ là căn nguyên thuỷ bậc n của đơn vị, còn σ là phần tử sinh
của nhóm xyclic G = G ( F / K ) . Với mọi phần tử u ∈ F ta lập biểu thức, gọi là giải
thức Lagrăng,
δ (u ) = (ζ , u ) = u + ζσ (u ) + ζ 2σ 2 + ... + ζ n −1σ n−1 (u ) .

Có thể chỉ ra sự tồn tại u ∈ F để (ζ , u ) ≠ 0 . Thật vậy, theo Bổ đề 1.3.3 nếu
n

∑ xσ
i =1

i

i

(u ) = 0 với ∀u ∈ F thì x1 = x2 = ... = xn = 0 . Với u như vậy ta đặt α = (ζ , u ) .

Khi đó, σ (α ) = ζ −1α và do đó suy ra σ (α n ) = [σ (α )]n = α n .
Như vậy phần tử α n bất động đối với mọi tự đẳng cấu thuộc nhóm G. Do
F là mở rộng Galois trên K nên α n − a = 0 . Bây giờ ta chứng minh F = K (α ) .
Ta có σ i (α ) = (ζ −1 )i α , i ∈ ¥ . Bởi vậy σ i (α ) = α khi và chỉ khi i = 0 , nghĩa
là α chỉ bất động đối với tự đẳng cấu đồng nhất id = σ 0 . Theo Định lý cơ bản
của Lý thuyết Galois tương ứng nhóm con – trường con thì tương ứng với nhóm
con đơn vị phải là F, do đó K (α ) = F .
Cuối cùng do mọi nghiệm của x n − a có dạng ζ iα , i = 0,1,..., n − 1 , đều
thuộc F nên F = K (α ) là trường nghiệm của x n − a .
Đảo lại ta có định lý sau.


(1)

n
sao cho Ki = Ki−1(θi ), θi i = ai ∈ Ki−1 .

Lưu ý rằng trong dãy (1) mỗi trường con K1 có thể không là mở rộng
chuẩn tắc của trường con Ki −1 , cũng như trường F có thể không là mở rộng chuẩn
tắc trên K.
2.2.2. Định lý. Mọi mở rộng căn F của trường cơ sở K được chứa trong một mở
rộng F đồng thời là mở rộng căn và chuẩn tắc trên K. Khi đó, ta nói rằng F là
mở rộng căn chuẩn tắc trên K.
Để chứng minh Định lý 2.2.2 trước hết ta chứng minh bổ đề sau.


20

2.2.3. Bổ đề. Giả sử K là trường tuỳ ý, E là mở rộng chuẩn tắc có bậc hữu hạn
trên K và F là mở rộng chuẩn tắc có bậc hữu hạn trên E. Khi đó F là mở rộng
chuẩn tắc trên K nếu và chỉ nếu F là trường nghiệm trên E của một đa thức trên
K.
Chứng minh. 1) Nếu F là mở rộng chuẩn tắc trên K thì F là trường nghiệm của đa
thức f ( x) ∈ K [ x] (Định lý 1.2.6) và vì vậy F là trường nghiệm của f(x) trên E.
2) Ngược lại, giả sử rằng F = E (u1,K , un ) trong đó u1 ,K , un là mọi nghiệm
của một đa thức f ( x) ∈ K [ x] . Do E chuẩn tắc trên K nên E là trường nghiệm của
một đa thức g ( x) ∈ K [ x] , E = K (v1,L, vm ) trong đó v1 ,L , vm là nghiệm của g ( x) .
Khi đó F = K (v1,L, vm , u1,L, um ) . Nghĩa là F là trường nghiệm của đa thức
f ( x).g ( x) ∈ K [ x ] và do đó F là chuẩn tắc trên K.

Chứng minh định lý. Bây giờ ta chứng minh Định lý 2.2.2 bằng quy nạp theo độ

F = E (ζ , c ,L, cr )
1

trong đó ζ là một căn nguyên thuỷ bậc n của đơn vị. Do c1 = θ nên F ⊂ F . Hơn
nữa trên trường E trường F có dãy căn
E = E0 ⊂ E1 ⊂ L ⊂ E r +1 = F , (2)

trong đó E1 = E 0 (ζ ), E i = E i −1 (ci ) , i =,3,K , r + 1
Theo giả thiết quy nạp E là mở rộng căn của K nên có dãy căn bắt đầu từ
K và kết thúc ở E . Tiếp nối dãy này với dãy (2) ta được dãy căn của F bắt đầu
từ K . Như vậy F là mở rộng căn của trường K. Bây giờ ta chứng tỏ F là mở
rộng chuẩn tắc trên K. Xét đa thức G ( x) = g ( x n ) . Thế thì G ( x) ∈ K [ x] . Do
G ( x ) = ( x n − u ) L ( x n − un )
1

nên các phần tử c1 , c2 ,L , cr là nghiệm của đa thức G ( x) . Mọi nghiệm còn lại của
đa thức này nhận được từ phép nhân mỗi nghiệm c1 ,L , cr với các luỹ thừa của ζ .
Vì vậy F chứa trường nghiệm Q của G ( x) trên trường E . Mặt khác
F = E (c ,K , cr ) ⊂ Q .
1

Vậy F = Q , nghĩa là F là trường nghiệm trên E của đa thức G ( x) ∈ K [ x] .
Theo Bổ đề 2.2.3, F là chuẩn tắc trên K. Định lý được chứng minh hoàn toàn. ▄

2.3. Tính giải được của nhóm Galois của mở rộng căn
2.3.1. Định nghĩa. Nhóm G gọi là nhóm giải được nếu nó có dãy nhóm con
G = H 0 ⊃ H1 ⊃ L ⊃ H s = {e}

(1)


0
1

Xét dãy mở rộng
K i −1 ⊂ K i ⊂ F * , i = 1L s .

Do Ki −1 chứa mọi căn bậc ni của đơn vị và Ki = Ki −1 (ui ) nên theo Định lý
2.1.3 Ki là mở rộng xyclic trên Ki −1 . Từ đó suy ra G ( F * / K i ) = H i là nhóm con
chuẩn tắc của G ( F * / K i −1 ) = H i −1 . Còn với dãy mở rộng K ⊂ K 0 ⊂ F * thì K 0 là mở
rộng xyclic trên K và từ đó G ( F * / K ) = G .
Theo Mệnh đề 2.2.1 ta có H i −1 / H i và G / H 0 là nhóm xyclic bởi vì


23
H i −1 / H i ≅ G ( K i / K i −1 )
G / H 0 ≅ G(K0 / K ) .

Những điều chứng minh trên chứng tỏ rằng nhóm G là giải được. Xét dãy
mở rộng K ⊂ F ⊂ F * . Ta có
G(F / K ) ≅ G(F * / K ) / G(F * / F ) .

Bởi vậy G ( F / K ) là nhóm giải được. ▄
2.3.4. Hệ quả. Nhóm Galois của một trường con chuẩn tắc của một mở rộng căn
chuẩn tắc là nhóm giải được.
Chứng minh. Thật vậy, giả sử có dãy mở rộng trường K ⊂ E ⊂ F . Khi đó nhóm
Galois G ( F / K ) đẳng cấu với một nhóm thương của nhóm Galois G ( F / K ) và do
đó là nhóm giải được. ▄

2.4. Ứng dụng của mở rộng căn và mở rộng xyclic
2.4.1. Tiêu chuẩn giải được bằng căn thức của phương trình đại số


q
u=3− +
2

( ) ( )

q
v=3− −
2

( ) ( )

q 2
2

q
2

2

+

+

p 3
3

p
3

Từ những điều trên cho ta định nghĩa sau.
2.4.2. Định nghĩa. Giả sử f ( x) là một đa thức bất khả quy trên trường K.
Phương trình f ( x) = 0 , với các hệ tử thuộc K, được gọi là giải được bằng căn
thức trên trường K nếu tồn tại một mở rộng căn F của K, trong đó f ( x) có một
nghiệm.
Với định nghĩa phương trình giải được như vậy ta có tiêu chuẩn giải được
bằng căn thức phát biểu qua định lý sau.
2.4.3. Định lý. Giả sử f ( x) là một đa thức bất khả quy trên trường K với đặc số
0 và E là truờng nghiệm của f ( x) với nhóm Galois G. Khi đó, nếu phương trình
f ( x) = 0 là giải được bằng căn thức thì nhóm Galois G ( E / K ) là giải được. Hơn

nữa tồn tại một mở rộng của căn K chứa mọi nghiệm của f ( x) .
Chứng minh. Giả sử x0 là một nghiệm của phương trình f ( x) = 0 . Theo định
nghĩa, x0 thuộc mở rộng căn F của K, thu được bằng dãy mở rộng liên tiếp
K = K 0 ⊂ K1 ⊂ L ⊂ K s = F


25

trong đó Ki = Ki −1 (θi ),θini = ai ∈ K i −1 ,1 ≤ i ≤ s . Theo Định lý 2.2.2, F được chứa trong
một mở rộng chuẩn tắc của F nên F chứa mọi phần tử liên hiệp với x0 , tức là
chứa mọi nghiệm của f ( x) . Theo Hệ quả 2.3.4 nhóm Galois G ( F , K ) là giải
được. Gọi E là trường nghiệm của đa thức f ( x) thế thì ta có dãy mở rộng trường
K⊂E⊂F.

Do E là chuẩn tắc trên K nên theo Hệ quả 2.3.4 nhóm Galois G = G ( E / K )
là giải được. ▄
Bây giờ ta phát biểu mệnh đề đảo của định lý trên.
2.4.4. Mệnh đề. Cho f ( x) là đa thức bất khả quy trên trường K( có đặc số 0).
Nếu nhóm Galois của đa thức f ( x) là giải được thì phương trình f ( x) = 0 là giải