Professional Documents
Culture Documents
Θεωρία Galois
Θεωρία Galois
Galois
.
#
! " "
$ %
!&
"'"
(
*
!"! x3 2
!"! xn 1
-
& ' " ! " "
" !"!
"
(
/ " ' &"
/
0&"
1 Galois
(
1 ! x3 2
! ! '!!
23&
Galois
03!
' Galois
"
! Galois
Galois
0
4&
0 /
/
&"
0 /
& "
&"
!'
#
)
+
+
,
.
$
,
$
.
+
"!
.
.
..
.)
)
#
#.
, %
! 3
" #$
$,
( $
" "
' " "! ' " " 6
7 "
! ' !( 0 ' " f (x) C[x]
f (a) = 0 ' !/ q(x) C[x] & f (x) = (x a)q(x) 2
'" " /3 ( ( " 3' ! ! "! f (x) '
" f (x) C[x]
n = deg f (x) > 0 ' f (x) &/ n C 8& ' C
" 6 !( '9
3 !"! ! C[x]
" "'"
" '" " C[x] 4 !"!
! R[x] "(
!" !'
C[x]7 "
!"! :
!"& &/!" '
& ' " 3' !7
" 4 " " ' ! 1 "3
C7 R " "
' ; !"!
x2 + 1 R[x] " &/ R '
' ' '" " !"! ! C[x] "
!"! 3
" 6 " 1 !&"
! " 6 " '/ '
" !
" " ! " " 3
! " " 3 ("
" ' " /'9 27
/ "
/" /3 & ( "4&! " *'4"
! 3
"
( ' ! (
" " " 3
" # " > 2:
3
?dal Ferro, Cardano, Tartaglia, Ferrari@ (
" ! "
" ! " " 3
. ="! ' ! !
! &/" 6 '3A47 ! :
A
" ( !"A
/" !
!"& ! ! "! ; "
! ! "! x3 + mx n = 0 "
n
m
n
n
m
n
3
3
+ ( )2 + ( )3 + ( )2 + ( )3 .
?@
2
2
3
2
2
3
1 ! ""
'
!"! !
3 1 ! 4!" "
! " " &
! 3
! ="! ' !:
"
" ! 3
/( " /" !(
" 4"
" 3" 2 " !
!
3! ! "! 3
"3
" ":
/!" ! " ! " " &! 3 1 !
/!
' " !/ & (" >' 3
'
! $%
&'( ) !(
&*
Galois
Runi $++ '! ( 4 &""
1 Lagrange / 3& " :
&" /:!"(7 " / ' "" (
" " 3& " < ! Runi /
"
" ""
" " /( ' " 23
(
"'7
& 3 ! '! '3 "
" "
!
! &6
) . Abel &
&:
" '6
! "
! "! &! 37
/"
!' 3& " " ! ! "! =(
"/ 3 !
"'
4
(
" 3& " " !4& "7 ' 3 3
&
3 " Abel-Runi & '
! !!
"
#
=! ' !/!" !"! 3 ! " ; :
3 (! !"! f (x) = x5 2 C[x] 2 ! f (x)
" b = 5 2 4 f (x) = (x b)q(x)
deg q(x) = 47 !"! q(x)7
!"&
f (x)7 "
1 ! "(43
' "' ! "' ! ":
! f (x) !"& ( "
3& " "
" ! f (x) " Galois ) < !" " " 3&:
" " ! Galois ! f (x) = '" "' 3 !
!(" " "!
3 6! 3 ! & 6(
" !'
9
$
!
%&'
%
! % ! '
Galois
< &""
&/ ' 3 '
! !!
k f (x) )
E
k
Galois f (x)
! !"!
05
'
!"3(
" "
"!:
"(
( & ; 3 / :
( 6 ! " "7
! !"! " '! 3
"! ' " &"" ! ! &/ k
!
!
" !
! " " ' "
! B
" '"
! 7
! '
! /( ! " '
!
1" ! " ' " /
" /
" ! (0, 0)
(1, 0)
(2, 0) "
! 4
( !3 ! " ' /
"
! &/
&" (1, 0)
" 2 " '
" !
(1, 0) 0
'
! " '
!"&" (n, 0) : n Z 2 " /6!
/' "' !3! (7
3
"
' !3
3
!3 ! " " ' 3&"
!&"
C" "
' " " " " " "
" 6
" ' " a, b "
! b = 0 '
a b7 a b7 a/b7 a "
!&
! *( ' !
!"'! {(a, b) : a2 , b2 Q} "
! 2
"
!! ! !" " /' "7 (
/' " "
! 2 " 64!
'
" 4" (
! !
/ % '
( /" :
/( ! 3
: & ' " /' = 6"
!' 3
(! " ! ( "( !
! $%
&'( ) !(
&*
Galois
2 "
!! " /' "D
2 "
!! "
" '
"' !
!D
2 " "! "
/" '"
"'"
(D
0
""
" "
!!D
=" "' !( 3 (! 3 !"! :
3 &4! !/" " ! &!
3
! ! ' '" k "
0 = f (x) k[x] '
f (x) & " ? k[x]@ "
3 4 ! f (x) = q1 (x)q2 (x) '!
q1 (x), q2 (x) k[x] ' &" ' !"! q1 (x)7 q2 (x) &/ 3' ,
%""
!"! " ! ! !"( ! 3! '!
! "
$
x3 2
2
/("
""
' !"! f (x) = x3 2
!
! " ! " ! f (x) Q[x]7 R[x]7
C[x] B
"
3
" ! f (x) C 0 ' b = 2 "
! f (x)7 ?"
!
' " "
3"
m = 07 n = 2@ ' !"! x b R[x] !"!
x3 2 =4 " " !
'3 ! " "
! '
f (x) = x3 2 = (x
(
2)(x2 +
2 x+
4)
f (x) = (x b)(x2 + b x + b2
&! p(x) = x2 + b x + b2
/" " " "
!3! ! "!
! ' ! x3 2 "9
1 i 3
2(
).
2
2
,
&!
1 i 3
= +
.
2
2
0 '
0 = 3 = e2i = 1 , = e2i/3
3
2
1
2
i
= cos( ) + i sin( ) , 2 =
.
3
3
2
2
$
xn 1
= !' 3 6! "!
!"! f (x) = x3 1
!"! !' " " " Q[x] 4 f (1) = 0
x3 1 = (x 1)(x2 + x + 1) .
! $%
&'( ) !(
&*
Galois
n = e2i/n = cos(
n:' n"
2
2
) + i sin( )
n
n
>/!"
9
xn 1 = (x 1)n (x)7
! n (x) C " n 7 n2 7 7 nn1 7 !
" n:& "7
(nk )n1 + (nk )n2 + (nk ) + 1 = 0 k = 1, . . . , n 17
n n2 nn1 = 1
' !"! n (x) " " Q[x] '" n "
" /( " &/!
"! 4
( " n:"
" " -
" ! "!
!
" ! "/" ! 2/n ; n = 5
&/! '
! $%
&'( ) !(
&*
Galois
1
k[x] "
! " " ;
3 '"
I ! k[x] !/
f (x) k[x] & I = (f (x))
1" I = 07 "4&
""
' ""( f (x) ! I
.
I = (f (x)) ! k[x] " & "
'" " f (x) "
" '" f (x) " " !"! ! k[x] ' k[x]/I
"
! k[x] "
" I " ' k[x]/I
" "
/(
' ' "
' '
! k[x] " &
4(
(f (x)) '! f (x) " " !"!
# 1" f (x) " " ' " 3 (! ' k "
!' ! k[x]/(f (x)) 4 4'
! " : k
k[x]/(f (x))7 '! (c) = c + (f (x))7 " 4!9 !(" !
" "
'
$ >/ !
'3 " k[x]9 & f (x), g(x) R7 f (x) =
0
' !/!" "
!"! q(x)7 r(x) R & g(x) =
f (x)q(x) + r(x)7 '! r(x) = 0 deg r(x) < deg q(x)
) 1
k[x] "
"(" "!9 & 0 =
f (x) R7 f (x)
""
'
' f (x) " "'"
" "
""
" ! " " "
' ' *( !/!"
""
" q1 (x), . . . , qs (x) k[x]
3& n1 , . . . , ns N7
'! qi (x) = qj (x) i = j
ni > 0 i = 1, . . . , s7 &
""
' !"! & 3 ! f (x)
g(x)
>/ ' ""( ! ! (f (x), g(x)) = {q1 (x)f (x)+
q2 (x)g(x) : q1 (x), q2 (x) k[x]} " 2%*(f (x), g(x))
!"!:
f (x)
g(x) " 6 ! '" 2%*(f (x), g(x)) = 1
&" (f (x), g(x)) = k[x]
.
!
' k "
" !"! ! k[x] !" &"
"
' ' & = " "' &"
(
!"! 3 3 0
3! !
/(
(
!! !
< '" ' " /( " " "' ! "!
&! !"&
!!!
! $%
&'( ) !(
&*
Galois
1/3 Q[x] 0 ' f (x) " " Q[x] "
'" "
9f (x) = 2x5 + 15x4 + 9x3 + 3 " " Q[x]
( !
Eisenstein 4' 9f (x) p = 3
&" " " 7
f (x) " "
#&
#
!"! 4 (x) = x3 +x2 +x+1 " " " Q[x]7 4
! C " 1, i
x + 1 " " "
! 4 (x)
'"
( " ' ! " f (x) Z[x] " "
"/ ' "
Zp [x]
" p Z
" 4!
' 4' : Z Zp 7 a a a mod p 1
"
" 4'
! "
: Z[x] Zp [x], a0 + a1 x + + an xn a0 + a1 x + + an xn .
!!(!
"&
! !
!
"' '
Zp " &" 7
&" '" "
"
! (f (x)) " !
'
! $%
&'( ) !(
&*
"
Galois
$
#!
' k " 8& ' q(x) f (x) " k[x]
! ! q(x)| f (x) " !/ q(x) k[x] & f (x) = q(x)q(x)
!! !
, " f (x) &/ s 7 & a1 , . . . , as ' 4' " /
#&
!!!
" " ' & ' f (x) = (xa1 ) (xas )g(x)
!"! g(x) k[x] =!
"" ! 3 " ! " " "
"
' s n
I = (x2 3)
E = Q[x]/I 1 !&"
'
y 2 3 = (y b)(y + b) '! b = x + I
b " ! y 2 3
E
)
"
! " 6( 39
!!!
!!"! .Kronecker/
! $%
&'( ) !(
&*
Galois
+
, 1 !' ! 2%*(f (x), f (x)) " !' ":
#&
!!'!
#& !!(!
$
%
f1 (x) = x9 + 4x + 67
f2 (x) = x + 17
f3 (x) = x4 + 47
f4 (x) = 8x3 6x 17
f5 (x) = x4 2x2 + 97
f6 (x) = x4 + 17
f7 (x) = x7 + 7x + 147
p
x4 + 4 Z3 [x]7
! $%
&'( ) !(
&*
Galois
x4 + 4 Z13 [x]7
x2 + 3 Z7 [x]
F/ k &
"
F &/ " '3 ( ! k:
"!
/!7 6 !
" " "
!"(3 '9 k F F 7 (c, f (x)) cf (x) /(:
! !( ( "
!
F
&
'
!(
(! F/ k
!! a F $ a
!
k
f (x) k[x]' f (x) = 0
f (a) = 0
a
!
k' a
!
k
*& ! ! !
a = 3 R "
' " ' Q7 4 a " !
f (x) = x2 3 Q[x]
=4 " 0 . Q[y]/(y 2 3) " &
! Q
a = y + (y 2 3) " ! ! "! x2 3 a "
' " ' Q
a = 2
b = 3 R "
" ' Q 4 "
"/
" ! " " x2 2
x2 3 Q[x]
"'"
ab = 6 "
' " ' Q 4 " ! ! "!
x2 6 Q[x]
3 a + b = 2 + 3 "
' "
' 2 Q 0
2
& c = a + b = 2 + 3
' c = 5 + 2 67 c 5 = 2 6
(c2 5)2 = 24
c4 10c + 1 = 0 ' c " !
! "! f (x) = x4 10x + 1 =" '" "'7 0
3 ' f (x) " " Q[x] /"
" "!
" / "
R " !
' " ' Q < '6 !
':
"' /! !"(3 "
< '6 "
3' '3
' " Lindemann ))
'
3' e " !
' " ' Q7 ' &6 Hermite
)$7 " ei = 1
E = k(x)
" !
!! k[x]
' x E
" !
' " ' k
(! F/ k
!! a F 4 k[a] =
{f (a) : f (x) k[x]}' k(a) = {f (a)/g(a) : g(a) = 0, f (x), g(x) k[x]}
*& ! !!
! $%
&'( ) !(
&*
Galois
"
"
/( k[a]
k(a) &
&
! k ; " 6! ' k[a] &/ &""
E
" 6! ' k E
' a E "/ " 6! '
k(a) &/ &" E
" 6! ' k E
'
a E
2l
2l+1
3
= 3l 37 l N7 & '
Q[ 3] = {a + b 3 : a, b Q} .
3 = 3l "
1
1
a b
= 2
ab 3=
3 Q[ 3] .
2
a 3b
c c
a+b 3
Q( 3)
Q[ 3]
Q[ 3]= Q( 3) 2 Q: ! Q[ 3] "
" {1, 3}
dimQ Q[ 3] = 2
(! "
Q[ 3 2] ' m N
' m =
3l + k 7 '! k, l N
l 2 4
3
3
3
( 2)m = ( 2)3l+k = 2l ( 2)k
i
& ' !/ f (x) =
ci x Q[x] / '
2
3
3
3
f ( 2) = a0 + a1 2 + a2 2 : ai Q .
Q[ 3 2] =
{a0 + a1 3 2 + a2 3 4 : ai Q}
" {1,3 2, 3 4}
Q[ 3 2] Q:"!
' /
dimQ Q[ 3 2] 3
=" '" "' 3 ' dimQ Q[ 3 2] = 3
1
E2 ,
2+ 3=
2+ 3
( 2 + 3) ( 2 + 3)
E2 .
2=
2
E1 E2 ; " 6! ' E2 = E1
"
6!
'
2
+
3
/
E
0
"
!"&"
"3
'
3
=
(
2+
1
3) (
2) E1
4 Q: ! E1 " " {1, 2}
& ' 3 = a+b 2, a, b Q F5"" "
/ Q
' 3 = a2 +2b2 +2ab 27
4 2
: k[x] k[a] ,
(h(x)) = h(a)
" 4'
! " 0 ' (c) = c '" c k "
(x) = a /!
' ' ker = {f (x) k[x] : f (a) = 0} =4 "
0 >4
' k[x]/ ker
= Im = k[a]
4'" k[a] "
/( & ' ker "
(! F/k
!! ! a F $ a
!
k k[a] = k(a) 4 a
!
k dimkk[a] =
(! F/k
!! 4 F
!
k [F : k] F ! k"
*& ! !"!
! $%
&'( ) !(
&*
Galois
[Q[ 3] : Q] = 2
[k(x) : k] =
[Q[] : k] =
0 ' Q[] R %
" Q:"!
/
Q[] " Q:!/ ! R ;" !
' Q: dimQ Q[] "
"
' ( Q:
! R 4 dimQ Q[] = & ' [R : Q] =
" k F E "
' "
[F : k] = ' [E :
k] =
&
'
(! F/k
!!' a F
!
k[x] $ !
k[x]
a !
!
a
!
k
irr(k,a) (x)
*& !! !
(!
F/k
!!' a F
!
k' deg irr(k,a) (x) = n $ {1, a, . . . , an1}
k"
k[a]
!!!
,
di = 0 i = 0, . . . , n 1
< '6 !
" 9
(! F/k
!!' a F $ a
!
k [k[a] : k] <
#& !!!
# % !!! 4 x3 2 " " Q[x] & ' [Q[ 3 2] :
Q] = 3
(! F/k
!! $ F
!
F
F
!
k
*& !!"!
: k] <
! $%
&'( ) !(
&*
Galois
3]
2
+
3]
Q[
2]
Q[
2
+
0 . ' 3 Q[
3]
2" '
' 3 Q[ 2 + 3]
Q[ 2][ 3] =
Q[ 2, 3]
3] ;
'
2+
" "4
'
Q[
/ 2 + 3 Q[ 2, 3] Q[ 2 + 3] Q[ 2, 3]
Q[ 2, 3] = Q[ 2 + 3] .
k F E
' "
E &/ ( ! F :
"!
/!
3
( ! k:"!
/!
[E : F ] <
$
(! k F
E
[E : k] = [E : F ][F : k]
#& !! !
!!' [F
: k] < '
,
'
(
dij bj )ai = 0, i = 1, . . . , n, j = 1, . . . , m .
4
j dij bj F 7 F :
(
"6 " {a1 , . . . , an } "
i = 1, . . . , n 3
j dij bj = 0 ;
3 & 6 7
k:
( "6 " {b1 , . . . , bm } "
j = 1, . . . , m "
!"( dij = 0
!
'67 ( ' / !"
" E k:"!
' / 4
0 ' " k F E
a E
' " ' k '
irr(F,a) (x) !"! irr(k,a) (x)
deg irr(F,a) (x) deg irr(k,a) (x)
E = Q[ 2 +
3] 2 Q: E
' "
' Q Q[ 2] E
" {1, 2, 3, 6} =
4
0
' !"! f (x) = x 10x + 1 " :
2 + 3 2 " 6! ' f (x) " "
Q[x] 0 4
[E : Q] = [E : Q(b)][Q(b) : Q]
? @
[E : Q] = [E : Q()][Q() : Q]
deg irr(Q,) (x) = 4 & ' 4 " 3' [E : Q]
, " 3' [E : Q]
&" [E : Q] 20 1
[E : Q(b)] = deg irr(Q(b),) (x)
! $%
&'( ) !(
&*
Galois
"
3" "
' [E : Q] 20 '
[E : Q] = 20
' irr(Q(b),) (x) = x4 +x3 +x2 +x+1 " irr(Q(),b) (x) =
x5 2
k E
' "
F
" k F E
3 4
, < '6 " /!' ! ! 0 "
#& !! !
#& !! !
* 5
,
$ !
R[x]
) !
F
= Zp Zp Zp .
&"
|F | = |Zp |n , ( |F | = pn .
#& !! ! 2
F
"
<
( (F , ) ! F 7 '! F = F {0} &/
4" pn 1 / G !"& ! 3 ( ! Lagrange
&" " ! '
3 / !5"
" 6 " / " &"
a F /
n
n
n
ap 1 = 1 ap = a ap a = 0 ,
( a " ! ! "!
n
f (x) = xp x Zp [x] .
6 '" " '" 0'9
(! F
' |F | = pn
p
& $
F
! f (x) =
xp x F f (x)
#&
!!!
M = {a L : ap = a} .
n
M " !' ! L 0 " a, b M ' 4 p pi
1 i pn 17 ' ! "!
' 3 ?
'
p = 2@
'
n
n
n
(a b)p = ap bp = a b a b M .
'7 " a, b M 7 b M {0} '
n
' "
!( ! 3 '" 39
6
p & n > 1
pn
!!!
! $%
&'( ) !(
&*
Galois
0
0
1
a
b
1
1
0
b
a
a a+1=b
a
b
b
a
0
1
1
0
<
( (F , ) ! F &/ /7 "
!
(
' a ' b F = {1, a, a2 =
b} 1 "
(F , ) "
1
a
b = a2
1
1
a
b
a a2 = b
a
b
.
b
1
1
a
0
' ' 4 a2 = b & '
a2 = a + 1 a2 a 1 = 0 a2 + a + 1 = 0 ,
4 1 = 1 " Z2 *( a " ! ! "! x2 + x +
1 Z2 [x] 1 x2 + x + 1 " " 7 0 .+
F = Z2 (a)
irr(Z2 ,a) (x) = x2 + x + 1 1 ! x2 + x + 1 " a7
a2 = a + 1
3
x8 x = x2 x Z2 [x]
F ) / !
! 4 " (! (
! F 0
/(" '
( (F , )
! F &/ $ / 4 $ " F "
!
(
3 / 1 = b F " F ' "
0, 1 = b F '
3 "
' / ! F
.
F = {c0 + c1 a + c2 a2 : ai Z2 , 0 i 2}
= {0, 1, a, 1 + a, a2 , 1 + a2 , a + a2 , 1 + a + a2 } .
=!
&" 4 irr(Z2 ,a) (x) = x3 + x2 + 1 & '
a3 = a2 + 17
a4 = aa3 = a2 + a + 1
a5 = a2 a3 = a + 17
a6 = aa5 = a2 + a7
a7 = 1
1 ! x3 + x2 + 1 " a, a2 , a4 " ! x3 + x + 1 "
a3 , a5 , a6 < "/ "! " "
a F
! x3 + x + 1
4 " ""
*
Galois
(! F/ k
!! $ ! "
& F
k'
*& !! !
Autk (F ) = { : F F, (c) = c, c k}
Galois F
!
k Gal(F/k)
#$ !!!
" G = Gal(F/k) " '" 7 6
"3 !"( " 0 "
"
" '
" f, g G ' f g : F F " !4'
" c k '
f g(c) = f (g(c)) = f (c) = c7 f g G " f G '
f 1 : F F " 4'
" c k ' f 1 (c) = f 1 (f (c)) =
(f 1 f )(c) = idE (c) = c7
f 1 G ' G " !
" 4" ' F F
" ! ' G " " "
"3
(
! $%
&'( ) !(
&*
Galois
& "
(a) " ' ! irr(k,a) (x)
(! F/ k
!! a F
!
k (! Autk(F ) (a) = b $ b F
!
k irr(k,a) (x) = irr(k,b) (x)
#& !!!
i
0
ci x i 4
a "i ! q(x) =
i
i
& ' c
ci a ) = (ci a ) = (ci )(a ) =
i a = 0 &" 0 = (
i
i
ci (a) = ci b ' q(x) = irr(k,b) (x)
(! F/ k
!!' a, b F
!
k irr(k,a) (x) = irr(k,b)(x) )
& !!
: k(a)k(b) |k = idk (a) = b
!!!
: k[x] k [x],
ai xi
(ai )xi
(! k F ' k F
!!' b F ' b F
! ! k' k
' : k k &
!!!
)
& !! : k[b]k[b ] |k =
(b) = b
#
,
? =
@
1 : k[x] k [x]/I,
f (x)
(f (x)) + I
2 : k[x]/J k [x]/I,
f (x) + J
(f (x)) + I .
3 : k[b] k[x]/J,
4 : k [b ] k [x]/I,
f (b) f (x) + J
g(b) g(x) + I
! $%
&'( ) !(
&*
Galois
$
() =
2
4 F = Q( 2 )7 .. ! ' !/ 4'
: F Q( 2 )7 () = 2 ' Gal(F/Q)
= Z2
2
G = Gal(Q/E) 4 irrQ 2 = x 2 & ' ( 2) = 2
G " !/ / a ! E " 4(
a = c0 1 + c1 2 .
2) = (c0 1) + (c1 2)
' G
3 ( ' "
'"
2) =4 "
(
0' . |G| 2 0 ' idE ( 2) = 2
'
..
!
'
!/
4'
:
E
Q(
2)7
)
0
E = E1 ( 3) .
=4 " .. !/ 4' " 1 9
1 : E1 ( 3) E1 ( 3), 1 ( 3) = 3, 1 (c) = c, c E1 .
1 ( 2) = 2, 1 ( 3) = 3 .
2 ( 2) = 2, 2 ( 3) = 3 .
3 = 1 2 G, 3 ( 2) = 2, 3 ( 3) = 3 .
"
6 ! 3
' " 4( ! (:
. 0 4 E1 = Q( 2)7 4 "
.. !/
: E1 E1 , 1 ( 2) = 2 , 1 (c) = c, c Q .
*(
(a + b 2) =
a b 2 =4 " . !/
: E1 ( 3) E1 ( 3) !
" "
" 3
3 < " 3
*6 '" ' |G| = 4 F/!"
"
/ " & 49
!
( . / !
" '4 " Z4
! Klein ! " '4 "
Z2 Z2 0 ' G &/ &" / 6
/
6 ;
21 : 2 2 2,
3 3 ( 3) = 3 ,
( 21 = idE
1 &/ 6 ' G
= Z2 Z2
! $%
&'( ) !(
&*
Galois
+
= '"
4 3 6!
39
!!'!
1
"! !(" " "' " &3 ! &/!
!3(
" G = Autk (F )
-
! " !"! / !
F
-
! 3"&
'" "
" / " "
" " ! " " !
3" / G
"! " 6 / " G /"
.
"
%
a = 7 + 1/27
a = i 3 1/2
E 3 !"! irr(Z3 (x),a) (x) '" a2 = x + 1
. a, b C7 & irr(Q,a) (x) = x2 2
irr(Q,b) (x) = x2 4x+2
E 63 "
Q(a)/ Q7 Q(b)/ Q " '4
E
!3"
Q(a)/ Q '" !"! irr(Q,a) (x)
"
x2 57
x4 + x3 + x2 + x + 17
x3 + 2
=
3 " !3 Galois Gal(Q(a)/Q)
# E 3" 3 "
"9
.,
C/ Q7
Z5 (x)/ Z5 7
R( 5)/ R7
Q( 7 3)/ Q
$ E = Q( 2, 3, 5) E 6 ' [E : Q] = 8
) f (x) = x3 + x2 + 2x
E &" "! E ! f (x) !" ! Z3 [x]
E 5 / ! E
E &" / a & E = Z3 (a)
+ ' a, b E "
!" ! F E 6
'!3
[F (a + b) : F ]
,
E 6 ' Q( 5 + 2) = Q( 5, 2)
E " !"! ! 5+ 2 !" ! Q( 2)
E " !"! ! 5+ 2 !" ! Q( 5, 2)
E 6 ' !/ " !"! 3 # !" ! Z5
15
F &" "! ! ! "! f (x) = x3 x !"
! Z3 E 6 ' " E " " ! f (x) "
315 / ! &/ Z3 E " 3' [E : Z3 ]
L/ k &" &
f (x) k[x] " E
6 ' " 4!
3 deg f (x) > 1
[L : k] "
6 !7 ' f (x) " &/ L
!
" # Galois
b
.
b b
2
b
"/ 4 E = Q(b)()
.
2
.
b b 2b b b 2 b
2 2 2 ,
idE 1 2 3 4 5
() : X X,
ib ( ib) .
"!
'" " ()7 G "9
b b 2 b
b b 2b
b b 2 b
idE
, 1
, 2
,
b b 2 b
b 2 b b
2 b b b
b b 2 b
b b 2 b
b b 2 b
3
, 4
5
.
b 2 b b
b b 2 b
2 b b b
! $%
&'( ) !(
&*
Galois
.
" 07 2/3
4/3 3
"(!" "& 3& !
!
"" ' 3& idE 7 1 7 2 1 ! ! " ":
/'! " !" 3
"(!"
"& 3& ! !
"" ' 3& 3 7 4 7 5
+,
Galois
6
"(!
' 3 !( 4!7 ! "
& " "'
, X = {b1 , . . . , bn} " " " ! f (x)
'
!! !
: G SX ,
1 ""
" &6 '
' /!"
( ) = = = () ( ) , G
" "4'7 ( () = ( ) = , G7
..
Sn
" 4"' ' Gal(E/k) " " "( !
C " b7 bi
E = Q(21/4 , i) " "! ! f (x) 6!
' G = Gal(E/Q) " '4 " " !" !
"! 0 G &/ ) / 4 " G7 '
b
i
.
, (i) =
(b) =
i
ib
ib
b
i
b b b b ib ib ib ib
i
i i i i i i
i .
idE
1 !4
"/" 3&
b ib b ib
b ib b ib
.
ib b ib b
b ib b ib
<
'" ! " &"
(
! .9 '
""
!
6 <
'" ! " "39 ""
: E1 [x] F1 [x],
ai xi (ai )xi
" 4'
! " !' 4' 3 /3
'" 3
! $%
&'( ) !(
&*
Galois
" [E : E1 ] = 1 ' E = E1
' ! f (x) "(
!"
E 4
" 4'
! " & ' !
(f (x))
"(
!" F1
F = F1
!3&! ' 3 / '" 3' &
[E : E1 ] "
' ! n
' [E : E1 ] = n
' !/ b E \ E1 & f (b) = 0
' E1 (b) = E1
4
[E : E1 ] = [E : E1 (b)][E1 (b) : E1 ]
&! ' [E : E1 (b)] < n b !/ !
(f (x)) F
=4 " . !/ 4' : E1 (b) F1 (b )
& |E1 = ' " !'3 ( & '
!/
: E F &
|E1 (b) =
!/!" [E :
2&" '" " ' &
E1 (b)] & 4
/ b 1 4 f (x) " / / ' &
b '
! f (x) 1 3' " " ! f (x) "
deg f (x)
! deg f (x) = [E1 (b) : E1 ] '
!"
&/!
[E : E1 (b)][E1 (b) : E1 ]
&7
!' 3' " [E : E1 ]
.#
(f (x)) = f (x)
4' !
< E = E 0' & " !! "
3!
' Gal(E/F )
!
F $ | Gal(E/F )| = [E : F ]
#& !!!
f (x)
E = Q( 2, 3, 5)7 G = Gal(E/Q)
E " "!
! / ! ! "! f (x) = (x2 2)(x2 3)(x2 5) 4
[E
?
87
$@ & ' |G| = 8 G
'
: Q] =
2 27 3 37 5 5 %3 / G &/ 6
G " "3
(
G
= Z2 Z2 Z2 .
b = 21/3 7 = e2i/3 7 F = Q()7 E = Q(, b) = F (b)
'
Gal(E/F )
= Z3 .
0 & H = Gal(E/F )
E " "! !
x3 2 " ' Q
" ' F /! ' [E : Q] = 6
4 [F : Q] = 2 & ' |H| = [E : F ] = 3
b
b b
2
b
4 H &/ 3!
' /7
6
3 /! H
& " 7 & ' " idE = H ' 6 ! "
; " (b) = b7 '
! $%
&'( ) !(
&*
Galois
.$
a = a0 + a1 b + a2 b2 , ai F .
" H 7 (b) = b '
!!!
.Cauchy/
(! G
' p
p |G|
)
g G , g p
(! g1, g2 S5 , g1 # g2
' 5
$ g1, g2 = S5'
S5
! ! ! g1' g2
10
5
-2
-1
1
-5
-10
.)
: C C, c + di c di .
0 '
|Q = idQ
(ai ) = ai i = 1, 2, 3
(a4 ) = a5
'
|E : E E ,
!
Galois
f (x) F [x]
E/F "! ! f (x) =" "' !(
3 6!
/& " " F
B E
! Gal(E/F )
#& !! !
, "
Gal(E/F )
(! F
B E
Gal(E/F )
!! $ Gal(E/B)
(! F B E
!! B, E
!
F $ Gal(E/B)
Gal(E/F )
!!!
Gal(E/F )/ Gal(E/B)
= Gal(B/F ).
! $%
&'( ) !(
&*
Galois
.+
, 4 B " "! " ' F & ' B =
F (b1 , . . . , bn ) '! bi "
! ! "! g(x) F [x]
Gal(E/F ) 6! ' " b B ' (b) B 0
4 / ! B " ! "!
!"! " bi i = 1, . . . , n
" 6! ' (bi ) B !' '
4 (bi ) "
! g(x) 4 " .7 ( (bi ) = bj
j = 1, . . . , n |B : B B " 4' "
(c) = c, c F *(
|B Gal(B/F ).
" !"
: Gal(E/F ) Gal(B/F ),
|B .
"
"
" ' " 4' " =4 "
0 >4 1 " & ' ker "
""
( !
Gal(E/F )
'
Gal(E/F )/ ker
= Im.
= !"&/ 3 6! ' ker = Gal(E/B)
' Im = Gal(B/F )
4 idB " !& / Gal(B/F )7 4 "
" ' ! !(" "' 4 " & ' ker "
"
{ Gal(E/F ) : () = idB } = { Gal(E/F ) : |B = idB }
= Gal(E/B) .
>/ ' Im Gal(B/F ) & " 6! ' " Gal(B/F )
' !/ Gal(E/F ) & |B = /(!
!' ' E " "! ! F 4 E "
"! ! F ' "
"! ! B =4 "
!/ " !4' ! E
b b 2 b
G/H
= Gal(Q()/Q)
= Z2
#& !!!
,
a = a0 + a1 + a2 b + a3 b + a4 b2 + a5 b2 , ai Q .
'
1 (a) = a0 + a1 + a2 b + a3 b 2 + a4 b2 2 + a5 b2 3
= a0 + a1 + a2 b + a3 b( 1) + a4 b2 ( 1) + a5 b2
= a0 + a1 + (a2 a3 )b a3 b + (a5 a4 )b2 a4 b2 .
&"
1 (a) = a a2 = a3 = 0 = a4 = a5 .
E H = {a0 + a1 : ai Q} = Q() .
! $%
&'( ) !(
&*
"
Galois
&
E/F 7 G = Gal(E/F ) ! ! G " "
! " G 8& ' &
E/F "
Galois " '
F " E " "! "' / ! ! "! f (x) F [x]
! ! P " "
" ! F ! " !
! E
(! E
Galois
!
F ' G = Gal(E/F ) )
&
"
P !
!! E
F
G !
! G 0 '
Gal(E/ ) : P G,
B Gal(E/B)
&
E : G P,
H E H .
+
7
[B : F ] = [G : Gal(E/B)]
[G : H] = [E H : F ]
Gal(E/E H ) = H
B
Galois
!
F Gal(E/B) G
E Gal(E/B) = B
2
( ' E Gal(E/B) = B
"
3
!! !
(! E
Galois
! F $
E Gal(E/F ) = F .
,
=0
y1 1 (b) + + yn n (b) = 0 .
? @
yj j (ci ai ) =
yj j (c1 a1 + + cm am ) =
m
j=1
yj j (b) = 0 .
! $%
&'( ) !(
&*
Galois
y1 1 (bc) + + yn n (bc) = 0 .
%"" 6
" 1 (c)
! '
y1 1 (b) + y2
2 (c)
n (c)
2 (b) + + yn
n (b) = 0 .
1 (c)
1 (c)
?@
y2
2 (c) 1 (c)
n (c) 1 (c)
2 (b) + + yn
n (b) = 0 .
1 (c)
1 (c)
&"
zi = yi
&/!
?.@
i (c) 1 (c)
1 (c)
b E, z2 1 (b) + + zn n (b) = 0 ,
b E, tn (b) = 0, t = 0 .
b E 7 n (b) = 0 !' ' " " 4 n " !:
4' ! E
!!!
" E = F ' 3&" f (x) = x ' f (x) " / :
' E " "! ! f (x) " ' F
F2 = F (a1 , . . . , an , b1 , . . . , bt )
" "! ! / !
p1 (x)p2 (x) .
=!"/ ! " ' <
!( 3 ( '"
[E : Fi ] = 1
(! E
Galois
! F ' p(x) F [x]
p(b) = 0
b E $ p(x)
!
E[x]
#& !!!
! $%
&'( ) !(
&*
Galois
$ !!!
0& " "" ! Galois &
:
E " ' &" F ?/ E 7 F @D
0& " "" ! Galois &
:
E " ' QD
$
) .
= (n n1 )(n n1 ) (2 1 ) .
" G ' "
"
" ' () =
(2 ) = 2
4 E G = F & ' 2 F
/ 2 "
! f (x)
" 6 ' " 3 " i " () = '
F "
/ F ' B = F () " "! ! x2 2 F [x]
" ' F '
2 = [F () : F ] = [G : Gal(E/F ())]
Gal(E/F ()) G .
= '" 3 4'! " '" f (x) " "
3
#
% !"!! f (x) F [x]7 deg f (x) = 37 f (x) "
/ " E " "! ! f (x) " ' F " !
/ F '
' G = Gal(E/F ) 4! S3
&/ 6 ( # " 2
|G|
G
= S3 ' F
' ! f (x)
" 1 , 2 , 3 4
= (3 2 )(3 1 )(2 1 )
() =
3 G & ' " !/ G7 "3
" / G &/!" 6 (
G
= Z3
= A3
,
b
b b b ib ib ib ib
i i i i i i i
i .
idE 1 2 3 4 5 6 7
F/!"
/ " G 6
G &/ !
6 4 &/ 6 .7
!
( <4 > &/ 6 . <
G &/ ! 6 . =!
&" "( &"
! G "9
H1 = <4 > = {0 , 4 , 2 = 42 , 6 = 43 }
H2 = {0 , 2 , 1 , 3 }
H3 = {0 , 2 , 5 , 7 }
<3 > = {idE , 3 }
<1 > = {idE , 1 }
<2 > = {idE , 2 }
<5 > = {idE , 5 }
<7 > = {idE , 7 }
'" " ! " G "9
! $%
&'( ) !(
&*
Galois
(1) TJTTT
jjjtjt
JJ TTTT
j
j
j
JJ
t
jjj ttt
JJ TTTTTTT
j
j
j
j
JJ
t
TTTT
j
t
j
j
J
t
j
T
t
jj
<1 >
<2 >J
<5 >
<7 >
<3 >J
JJ
JJ
t
tt
t
J
JJJ
t
t
JJJ
tt
tt
JJ
JJ
tt
tt
JJ
t
t
J
t
t
t
t
H2 JJ
H1
H3
JJJ
tt
JJJ
ttt
t
t
JJJ
t
ttt
G
*" "
"
" ' '"
""
( ! 6 "
<2 > 1 ! 6 . "
""
& ;
3 ! G 3
!! "/ " 6
"(! "
<5 > E '!
y = a0 + a1 b + a2 b2 + a3 b3 + a4 i + a5 ib + a6 ib2 + a7 ib3 ,
ai Q '
5 (y) = a0 + a1 ib a2 b2 ia3 b3 a4 i + a5 b + a6 ib2 a7 b3
/ 5 (y) = y "
'" "
a1 = a5 , a2 = 0, a3 = a7 , a4 = 0,
y = a0 + a1 b(1 + i) + a3 b3 (1 i) + a6 ib2 .
E <5 > = Q(b(1 + i), b3 (1 i), ib2 ),
4 (b(1 + i))2 = 2ib2 7 (b(1 + i))3 = 2b3 (1 i)7 &/! '
Q Q(i) Q(i, b2 ) E
& ' [Q(i, b2 ) : Q] = 4 &" E <2 > = Q(i, b2 ) 2 " '
!
" ! E
" 9
E = Q(b, i) WW
Q(b)
PPP WWWW
WW
PPP
PPP WWWWWWWW
WWWWW
PPP
WW
jj r
jjjjrrrr
j
j
j
jj
rr
jjjj
rrr
jjjj
Q(bi)
GG
GG
GG
GG
Q(b2 )
Q(b2 , i) O
Q(b(1 + i))
Q(i)
Q(b2 i)
r
rrr
r
r
r
rrr
MMM
MMM
MMM
MMM
OOO
OOO
OOO
OO
nnn
nnn
n
n
nnn
nnn
Q(b(1 i))
ooo
ooo
o
o
o
ooo
/ )'
'
!
/
/ ' 3 " " " '
'" !&
#& !'! ! C = a , n <
d
n
C , d
a = ak 12(k, n) = 1
(n) = {k : 1 k n, 12(k, n) = 1}
! $%
&'( ) !(
&*
Galois
g(C) (3 " '" " / " C " ( |C| = m '
|g(C)| = (m) 0 ' " C1 = C2 ' g(C1 ) g(C2) =
'
G=
g(C)
?@
|Zn | =
|g(C)|
n=
(d) ,
n=
(d) .
?#@
d/n
1dn
6! "4 0' $ /"
/&
#
!'!!
d|n
1dn
3 d & ! n !/
!
( ! G
6 d &" !' !"
d = n7 ( G "
!
(
!'!! 2
d|n " C
"
!
( ! G 6 d ' ' 3 ! Lagrange
cd = 1, c C " !(/
!
( ! G 6 d '
3 !(/" !/" d + 1 / x G !
"" " 6
xd = 1 1 !"! xd 1 &/ d &"
!/
!
( ! 6 d G
3 d & !
n &" ' $ G "
!
(
k
k = (k {0}, )
k = Zp (a)
p
a
" /
( k &
!
! k ="! ' "
( " " " (
#& !'!!
(! k
pn
' a
!
k $ a
! n
#& !'!"!
! $%
&'( ) !(
&*
Galois
#
!'!'!
(! k
pn
Gal(k/Zp )
= Zn
?$@
!
(7 " &"" ' ! ""( G < !"
: k k,
b bp
"(
" G7 ( " !4' ! k ! / !
Zp 3 0 4
( Zp &/ p 1 /7
& ' c Zp {0}7 cp1 = 1
cp = c7 c Zp / !
Zp
" " " !' !
" /3 ' " :
4'
! "
' !(" " &" "
4 k " &" "4' "
4:
'7 ( !4' ! k =!"! '" ' G
'
/ , 2 , . . . , n "
&" / G *4
i (b) = b bp = b bp b = 0 .
i
: k k,
b bp
Zn = {a Zn : (a, n) = 1} .
"
"
" ' Zn "
' |Zn | = (n)
#& !(!!
4 p
Zp
,
! ' k
L ' L = k() 4 " " n: "
L "
!
( & ' " G ' () = i
i {1, . . . , n} 1
= | : ,
! $%
&'( ) !(
&*
Galois
#
#
% !(!! = e2i/p '! p /! '
irr(Q,) (x) = p (x) = xp1 + + x + 1
| Gal(Q()/Q)| = p 1 .
=4 " ). Gal(Q()/Q) " ! Zp
4 |Zp | = p 1 & '
Gal(Q()/Q)
= Zp .
=4 " 0' ) Zp "
!
( Gal(Q()/Q) "
!
(
6! !"&/ !"! f (x) = xn a k[x] 4(
" !&" "7 '" /
( ! k " n '
k &/ 7 /
( n: "
' L &"
"! ! f (x) 6! " G = Gal(L/k) 1
! f (x) " b, b, , b n1 '! b " ! f (x) '
L = k(b) " " &" / G ' (b) = b i
i 4
(b) & " " ! f (x) ' "
3&
i " "/
: G Zn ,
i .
, G () = ( ) (b) = (b) ,
( " 4"' !" " 4"' ' " :
4' " G 4! " Zn
' f (x) " " k[x]
' irr(k,b) (x) = f (x)
|G| = [L : k] = deg f (x) = n G " '4 " Zn "4
" G " '4 " Zn
" 4'7 '
#.
( !
"! " ' ' ! f (x) "
&"
6! ' f (x) " " '" '
f (x) = g(x)h(x),
(! p
& ' k
"
p
p" ' a k
xp a ! k[x] xp a "
! k[x]
, L "! ! xp a ' Gal(L/k) :
#& !(!(!
! $%
&'( ) !(
&*
Galois
!)!!
f (x)
f (x)
B/E a1 , . . . , at B B = F (a1 , . . . , at ) Bi = Bi1 (ai )
ami Bi1 mi N
3!"
#
% !)!! f (x) = x3 + q(x) + r Q[x] " " ' '
! f (x) "" ' ! ! y + z, 3 y + 32 z, 32 y + 3 z '!
3 = e2i/3 ,
1
4q 3 13
r + r2 +
)
2
27
1
4q 3 13
) .
z = ( r r2 +
2
27
y=(
##
! 3
' f (x) "
L =
Q(y + z, 3 y + om23 z, 32 y + 3 z) " "! ! f (x)
4q 3
2i/12
, a3 = y, a4 = z
a1 = e
, a2 = r 2 +
27
a12
1 Q7
a22 = r 2 +
4q 3
27
Q B1 7
3
1
3
a3 = 2 (r + r 2 + 4q
) B2 7
27
a34 = 12 (r
r2 +
4q 3
)
27
B2 B3
ai 7 i = 1, . . . , 4
"" !& 0' +
*" 3 ! " "!
( '6 ! ( + ; "
'
!3" "! 6( f (x) Q[x]
7 E "! ! f (x) 2 " &6! " &
:
B = Q(a1 , . . . , at ) 0' + & B " " &
Galois " ' Q7 a1 " "
/
( "
mi 0' + " " 3
' Gal(B/E)
"
""
( ! Gal(B/Q)
Gal(E/Q)
= Gal(B/Q)/ Gal(B/E) .
" 6! ' Gal(B/Q) " !'
' Galois
" "/ " !:
"
" " " " 0 "' ' &/! "
Q = B0 B1 Bt1 Bt = B
'! Bi = Bi1 (ai ) i = 1, . . . , t
)#
Gal(Bi /Bi1 ) /
i = 1, . . . , t !& ' Gal(Bi /Q)
"
! $%
&'( ) !(
&*
Galois
#$
2 3
,
(
6
"(!
(9
#$ ! +! !
Q = K0 K1 Kt = Q(c)
4 " "
"! (3 "'
(a d)/b
" 4"' ' " d "
! ' c "
!
1
!
!& &
"'"
(
& ui / !
!
i:' ( u1
"' !( ! "!:
" 6 " !&! 3 !"& Q@
3 "(
Q 3
4 "
"! &"
[Q(u1 ) : Q] = 2 '" v1
/ Q
= '" (
!( ! c7 u2 "(
" &
Q(u1 , u2 ) '! [Q(u1 , u2) : Q(u1 )] " ( 2 !'" ' &!
' &/! 6(
"9
#)
#& ! +!!
,
4 cos(60 ) = 1/27 &/! ' cos(20) " ! ! "! 8x3
6x 1
!"! !' " &/ Q
" " Q[x]
[Q(cos(20 )) : Q] = 3 ' cos(20 ) " "
!
3'
" 60 " " /3
"'"
(
, 1 &"
3 / ! a = 2
" :
#& ! +!!
!
1
#& ! +!"!
!"&
" "
3 " ' Q
" " "
!
6!
""
p: " "
! '" p "
' 3' 0 ' !' ' " "
!( !
3 e2i/p ! "!
!
' 3 " 3 / " '" '9
G = Gt Gt1 {e}
[Gi : Gi1] = 2, i = 1, . . . , t
! +!(! .Gauss/
p
'
p"!
m
p = 22 + 1, m N .
! $%
&'( ) !(
&*
Galois
#+
,
irr(Q,) = xp1 + + x + 1
& ' p 1 = 2s
s & '
s " " "
! 0 " !/ ' 3' k & s = k '
3'
p = 2s + 1 = (2 )k + 1
&/ " 2 + 17 "" 4 p p 1 = 22
p = 22 + 1 m N ,
m
'
| Gal(Q()/Q)| = [Q(z) : Q] = p 1 = 22
G = Gt Gt1 {e} .
' Galois & ' !/
!:
3 "
Q = K0 K1 Kt = Q()
[Ki+1 : Ki ] = 27 i = 1, . . . , t 1 "
!
m
1 3 4( 22 + 1 &" 3 ! Fermat "4&! / '6 ! 4 !
""
n:"!
! +!)!
& s'
p1 , . . . , pr
Fermat
$,
(! G
!
5
G 2m7 |G| = 2m k'
(m, k) = 1
$ 1 n m G
H |H| = 2n
#&
! ! !
,
2
f (x) C[x] deg f (x) = 2
!
,
(b b2 4c)/2a .
'" " 6! '
3
' 3' z C &/ :
"
( C 0 z = rei , r R+
rei/2 C "
"
( ! z
$ C
5
,
[E : C] = 2
a E \ C
' E = C(a)7
" !"! ! a !" ! C " 3 !' '
" "" 4 " " 0(
! $%
&'( ) !(
&*
.
Galois
$
2
f (x) R[x]
"
(
! !
f (x) R[x]
,
t=1+
i=n1
|ai |.
i=0
'
t1 =
i=n1
|ai | |ai | t 1, i = 1, . . . , n 1
i=0
L/R
*
,
2
, f (x) C[x] " f (x) " !"! !
"
" !"" ! f (x) ! ! ! ! C '
' !"& ! f (x)f (x) " ! ! ! !
[L : C] = 17 ( L = C
%
;
3 '
" &"
" Q B E ( " 6( " "" " !9
E &
Galois !" ! B7 B &
Galois !" !
Q E " " " &
Galois !" ! Q7
E '/ &
Galois !" ! B 7 B &
Galois !"
! Q
E &
Galois !" ! Q7
E &
Galois !" ! B 7 B " " " &
Galois
!" ! Q
E " " &
Galois !" ! Q
f (x) !"! f (x) = x4 4 Q[x]7 E "!
! f (x) !" ! Q
G = Gal(E/Q)
E ! E
E 5 / G / ! S4
E 6 ' G
= Z2 Z2
! $%
&'( ) !(
&*
Galois
$
3)
G = Gal(E/Q)7 '! = e2i/5
E 6 "!
' !" : E E 7 (b) = b2 "
!4' ! E
G
$.