Professional Documents
Culture Documents
Moderna
Moderna
î À “•
¥I‰ÆEâŒÆ
êƉÆÆ
1˜Ù + Ä Vg†5Ÿ 1
1 8܆N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 8Ü ½Â . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 8Ü Ä $Ž . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 ˜ ~^ 8ÜPÒ . . . . . . . . . . . . . . . . . . . . 4
1.4 N , ܤÆÚ(ÜÆ . . . . . . . . . . . . . . . . . . . 4
1.5 d'X, da†© . . . . . . . . . . . . . . . . . . 6
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 + Ä VgÚ~f . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1 + ½ÂÚ~f . . . . . . . . . . . . . . . . . . . . . . . 8
2.2 f+Ú+ †È . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 GLn f+: ;.+ . . . . . . . . . . . . . . . . . . . . 15
2.4 + Ó †Ó . . . . . . . . . . . . . . . . . . . . . . . 18
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 f+† 8©) . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1 ƒ †Ì‚+ . . . . . . . . . . . . . . . . . . . . . 23
3.2 8Ú 8©) . . . . . . . . . . . . . . . . . . . . . . . 26
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4 5f+†û+ . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1 Ù +38Üþ Š^ 43
1 ˜†+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.1 ˜†9ÙL« . . . . . . . . . . . . . . . . . . . . . . . . 43
1.2 Û˜††ó˜† . . . . . . . . . . . . . . . . . . . . . . . 46
1.3 †+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2 +38Üþ Š^ . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.1 ; †-½f+ . . . . . . . . . . . . . . . . . . . . . . . 51
i
ii 8 ¹
1nÙ ‚Ú• 81
1 ‚Ú• ½Â . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.1 ‚ Vg Ú\ . . . . . . . . . . . . . . . . . . . . . . . 81
1.2 ½ÂÚ~f . . . . . . . . . . . . . . . . . . . . . . . . . 81
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2 ‚ Ó †Ó . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
2.1 ½Â†{ü~f . . . . . . . . . . . . . . . . . . . . . . . 89
2.2 ‚Ó Ø†nŽ . . . . . . . . . . . . . . . . . . . . . 91
2.3 ‚Ó •õ;.~f . . . . . . . . . . . . . . . . . . . 93
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3 ‚ Ó Ä ½n . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.1 nŽ†û‚ . . . . . . . . . . . . . . . . . . . . . . . . . 96
8 ¹ iii
3.2 ‚Ó Ä ½n . . . . . . . . . . . . . . . . . . . . . . . 97
3.3 Ó Ä ½n A^ . . . . . . . . . . . . . . . . . . . . 98
3.4 ¥I•{½n . . . . . . . . . . . . . . . . . . . . . . . . 99
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4 ⠥ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.1 ƒnŽ†4ŒnŽ . . . . . . . . . . . . . . . . . . . . . 103
4.2 ‚ ÛÜz . . . . . . . . . . . . . . . . . . . . . . . . 105
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
3 “êÄ ½n . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
4 k•• nØ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
SK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
¢ Ú 177
1˜Ù + Ä Vg†5Ÿ
§1.1 8܆N
§1.1.1 8Ü ½Â
1
2 1˜Ù + Ä Vg†5Ÿ
§1.1.2 8Ü Ä $Ž
A ∩ B := {x | x ∈ A … x ∈ B}.
A ∪ B := {x | x ∈ A ½ x ∈ B}.
A − B := {x | x ∈ A … x ∈
/ B}.
A = (A ∩ B) t (A − B).
A 3 U ¥ Ö8•
Ac := {x ∈ U | x ∈
/ A}.
§Œ^ã 1.5 L«.
d½ÂŒ•, XJ A, B •k•8, P |A| • A ƒ‡ê, K A∪B, A∩
B þ•k•8, …
|A ∪ B| = |A| + |B| − |A ∩ B|. (1.1)
•?˜Ú/, ·‚k
y². é8܇ên^8B{.
y². ·‚k
\
x∈ Aci ⇐⇒ x ∈ Aci é?¿i ∈ I ¤á
i∈I
/ Ai é?¿i ∈ I ¤á
⇐⇒ x ∈
[ [ c
⇐⇒ x ∈
/ Ai , = x ∈ Ai .
i∈I i∈I
ª y.
A × B := {(a, b) | a ∈ A, b ∈ B}.
•?˜Ú/, 8Üx Ai (i ∈ I) (k È•
Y
Ai := {(ai )i∈I | ai ∈ Ai }.
i∈I
4 1˜Ù + Ä Vg†5Ÿ
5P. ·‚Œ±^˜‡{ü~f5n)8Ü.
• •? ←→ 8Ü,
• •þ Æ) ←→ ƒ,
• •þ ˜‡ÆS | ←→ f8Ü,
• Æ ¤k•? ←→ 8Ü ¤ 8x.
§1.1.3 ˜ ~^ 8ÜPÒ
3 Ö¥, ·‚ò²~¦^Xe8Ü:
• Z+ : ê8Ü;
• N = Z ∪ {0}: g,ê8Ü;
• Z: ê8Ü;
• Q: knê8Ü;
• R: ¢ê8Ü;
§1.1.4 N , ܤÆÚ(ÜÆ
f : A → B, a 7→ b = f (b).
g ◦ f : A → C, a 7→ g(f (a))
½Â1.7. 8Ü S þ $ŽXJ÷v^‡é¤k a, b, c ∈ S,
ab = ba, (1.5)
(1.5) = ª
f (a, b) = f (b, a).
ddŒ±wѦ^¦{PÒL« $Ž {'5.
N´wÑ, þ¡~f¥ $Žþ÷v(ÜÆ, N EÜ¿Ø÷
v †Æ. ¯¢þ, ·‚kXeÄ ¯¢:
(ÜÆ´•˜„ 5Æ.
(2) (é¡5) XJ a ∼ b, K b ∼ a.
(3) (D45) XJ a ∼ b … b ∼ c, K a ∼ c.
A Œ± •Ø ¿
G
A= [a]. (1.6)
a∈A
§1.1 8܆N 7
a ∼ b XJ a, b áuÓ˜‡ Ai ,
a b XJ a, b áuØÓ Ai .
·‚kXe½n
·‚¡•8ÜA dN f û½ © . T© û½ d'X=
a ∼ a0 ⇐⇒ f (a) = f (a0 ).
S K
SK1.1. B, A (i ∈ I)þ´8ÜΩ f8, Áy:
\ [i [ \
(1) B ( Ai ) = (B Ai ).
i∈I i∈I
8 1˜Ù + Ä Vg†5Ÿ
[ \ \ [
(2) B ( Ai ) = (B Ai ).
[ i∈I \ i∈I
(3) ( Ai )c = Aci .
i∈I
\ i∈I
[
c
(4) ( Ai ) = Aci .
i∈I i∈I
SK1.3. XJ f : A → B, g : B → C þ´˜˜éA, K g ◦ f : A → C •
´˜˜éA, … (g ◦ f )−1 = f −1 ◦ g −1 .
SK1.8. A, B ´ü‡k•8Ü.
(1) A B ØÓN kõ ‡?
(2) A þØÓ $Ž kõ ‡?
§1.2 + Ä VgÚ~f
§1.2.1 + ½ÂÚ~f
‚Äk‰Ñ+ ½Â.
a · 1 = 1 · a = a.
ü •¡•N .
a · b = b · a = 1.
ã 1.6: ³Û ”
y². (1) XJ b, c • a ∈ G _ ,K
b = b · 1 = b(ac) = (ba)c = 1 · c = c.
ã 1.7: é%‰¦þ C ”
·‚Äk‰ÑC + ˜ ~f.
·‚25wš †+ ~f.
Mn (F ) = {F þn • },
GLn (F ) = {F þn Œ_• }.
K Mn (F ) 3Ý \{¿Âe´C +, 3¦{¿Âe´¹NŒ+, Ø
´+. GLn (F ) 3Ý ¦{¿Âe ¤+, ·‚¡ƒ•F þ ˜„‚5+
(general linear group). XJ n = 1, K GLn (F ) = F × , = F ¦{+,
§´˜‡ †+; XJ n > 1, K GLn (F ) Ø´ †+. 8 XJØrN•
F , ·‚P˜„‚5+• GLn .
§1.2.2 f+Ú+ †È
k + VgÚ~f, ·‚F"
(1) ïÄ+ ( ,
Ï•
! !−1 !
1 a 1 b 1 a−b
· = .
0 1 0 1 0 1
(a) ^= (b) ‡
(I) AÏ‚5+
F ••, K F þ1 ª• 1 n • 8Ü
(i) Tn (F ) •é ‚ •1 n þn ;
(ii) Diagn (F ) • n Œ_é 8Ü;
(iii) Bn (F ) • n Œ_þn 8Ü.
K§‚þ• GLn (F ) f+, … Tn (F ) 6 SLn (F ), Diagn (F ) 6 Bn (F ).
32 ˜„‚5+ SL2 (R) ¥, ¤k XêÝ ¤f+ SL2 (Z), = Z
þ 2 AÏ‚5+. aq/, N •Œu 1 ê. ·‚E,Œ±3
Z/N Z Xê 2 Ý þ½Â1 ª, Ù¥1 ª• 1 Ý 8Ü
n o
SL2 (Z/N Z) = a b a, b, c, d ∈ Z/N Z, ad − bc = 1 (1.9)
c d
(II) +†AÏ +
3 Rn þ‰½IOSÈ
hX, Y i = X T Y,
hAX, AY i = X T AT AY = X T Y,
½=
AT A = AAT = I. (1.10)
~1.34. n = 2 ž, ·‚k
( ! )
cos θ − sin θ
SO2 (R) = θ∈R ,
sin θ cos θ
( ! )
cos θ − sin θ
O2 (R) = θ∈R .
± sin θ ± cos θ
(III) j+ÚAÏj+
V ´ n ‘E‚5˜m, Q ´ V þšòzHermite V‚5., K•3
V ˜|Ä, ¦ Q 3dÄeŒL«Xe:
T
Q(u, v) = Q(X, Y ) = X Y.
(IV) "+
V ´¢‚5˜m, Q(x, y) ´ V þ šòz‡é¡V‚5.. d Q
šòz5, ·‚• dim V = 2n •óê, …•3 V ˜|Ħ
Q(u, v) = X T 0 In
−In 0 Y,
Sp2n (R) = A | AT 0 In 0 In
−In 0 A= −In 0 , (1.18)
§1.2.4 + Ó †Ó
·K1.37. f : G1 → G2 •+Ó , K
(1) +Ó o´òü N ü , =f (1G1 ) = 1G2 .
(2) +Ó o´ò_ N _ , =éug ∈ G1 , f (g −1 ) = f (g)−1 .
f (g −1 ) = f (g)−1 , (2) y.
·‚5w˜ +Ó ÚÓ ~f.
K Aσ = (aij ) • (0, 1) Ý ,…
(
1 ej = σ −1 (i),
aij =
0 eØ,.
~1.43. R×
+ •¤k ¢ê ¤ ¦{+, K•ê¼ê
exp : R → R×
+, x 7→ ex
´+Ó . Ù_•éê¼ê
log = ln : R×
+ → R, y 7→ ln y.
S K
SK2.1. - A ´?¿˜‡8Ü, G ´˜‡+, Map(A, G) ´ A G ¤
kN 8Ü, é?¿ü‡N f, g ∈ Map(A, G), ½Â¦È f g ´ù N
: é?¿ α ∈ A, f g(α) = f (α)g(α). Áy Map(A, G) ´+.
SK2.9. - G ´ n k•+, a1 , a2 , . . . , an ´+ G ?¿ n ‡ ƒ, ؘ
½üüØÓ. Áy: •3 ê p Ú q, 1 6 p 6 q 6 n, ¦
ap ap+1 · · · aq = 1.
SK2.14. A, B ´+ G ü‡f+. Áy AB ´ G f+ …=
AB = BA.
22 1˜Ù + Ä Vg†5Ÿ
(2) G = Bn (F ), H = Diagn (F ), K = Tn (F ).
(3) G = C× , H = S 1 , K = R×
+.
Áy G ´+.
(2) y² G Ó u GL2 (R) f+
H = ( a 1b ) | a ∈ R× , b ∈ R
§1.3.1 ƒ †Ì‚+
(i) g k = g · · · g, k ‡ g ƒ¦.
(ii) 1 = g 0 .
(iii) g −k = g −1 · · · g −1 , k ‡ g −1 ƒ¦.
Ún1.48. X g • k k• , K gn = 1 …= n ≡ 0 mod k, g i = g j
…= i ≡ j mod k. dž, g )¤ f+ hgi = {1, g, . . . , g k−1 } ´k
k•+.
X g •Ã• , Kéu êi 6= j, þk g i 6= g j .
24 1˜Ù + Ä Vg†5Ÿ
y². X g • k k• , n = kq + r, 0 ≤ r < k. X r 6= 0, K g r 6= 1.
g n = g kq+r = (g k )q · g r = g r 6= 1. X r = 0, K g n = g kq = 1. nþ=y²
gn = 1 …= n ≡ 0 mod k. du g i = g j …= g i−j = 1, •
du i ≡ j mod k. dué?¿ n, n = kq + r, g = g , n r
1, g, · · · , g k−1
ü
üØÓ, hgi = {g n | n ∈ Z} = {1, g, . . . , g k−1 }.
g •Ã• ž, g i = g j ⇔ g i−j = 1 ⇔ i − j = 0, = i = j.
½n1.50. G •Ì‚+.
(1) X G •k•+, Ù • n, K G ∼
= Z/nZ.
(2) X G •Ã•+, K G ∼
= Z.
y². g•G )¤ . ½Â
ϕ : Z → G, k 7→ g k .
´• ϕ •÷Ó .
G •Ã•+ž, dÚn 1.48, X i 6= j, K g i 6= g j , ϕ •üÓ . Ï
d ϕ •Ó .
G•n k•+ž, ϕ p Ó Z/nZ → G, k mod n 7→ g k . dÚ
n 1.48, dÓ Qüq÷, •Ó .
½n1.51. G •Ì‚+, g • G )¤ ,K
(1) X G •Ã•+, K G )¤ • g ½ g −1 .
(2) X G • n k•+, K G )¤ 8Ü•
(3) G gÓ +
Z/2Z, X G •Ã•+;
AutG ∼
=
(Z/nZ)× , X G • n k•+,
(i) X G •Ã•+,
1, X f (g) = g;
ϕ : AutG → {±1}, f 7→
−1, X f (g) = g −1 .
(ii) X G •n,
ù´Ì‚+ƒm Ó , =k
§1.3.2 8Ú 8©)
H ´+ G f+.
ah = ah1 (h−1 −1
1 h) = bh2 (h1 h) ∈ bH,
bh = bh2 (h−1 −1
2 h) = ah1 (h2 h) ∈ aH,
•G ˜‡© .
•G © .
y². Ï•Š•8Ü
Ún y.
X X
|G| = |ai H| = |H| = |H| · |I| = |H| · (G : H).
i∈I i∈I
½n y.
28 1˜Ù + Ä Vg†5Ÿ
ã 1.9: .‚KFƒ2
.‚KF½n´+Ø¥1˜‡-‡½n, §kéõ-‡íØ.
íØ1.61. ƒê +þ´Ì‚+.
ã 1.10: ¤ê 2
ap−1 ≡ 1 mod p.
y². ù´du a ∈ F×
p ØF×
p p − 1.
n n
y². Äk´ y {1, x d , . . . , x d (d−1) } ´ G d Ì‚f+. ,˜•¡,
H ´G d f+, y ∈ H. P y = xa , du y ê Ø d, y d = xad = 1.
n
¤± ad = kn, y = x d k .
íØ1.64. éu?¿ ê n, ke ð ª:
X
n= ϕ(d). (1.24)
1≤d|n
y². du x • 1 ½ 2, K x = x−1 , é a, b ∈ G,
Ïd G •C +.
ã 1.11: Ž4Ï”
½n1.67. šC + • ê• 6.
·‚k•?˜Ú A^.
½n1.68. + K 6 H 6 G, … (G : K) k•, K
(G : K) = (G : H) · (H : K).
K
[
G= gi hj K.
(i,j)∈I×J
(G : K) = (G : H) · (H : K).
½n y.
S K
SK3.1. ! !
0 −1 0 1
A= , B= .
1 0 −1 −1
SK3.5. y² f = x1 , g = x−1
x
)¤˜‡¼ê+, ܤ{K´¼ê ܤ, §
Ó u ¡N+ D3 .
n
G = {x ∈ C | •3 n ∈ N ¦ xp = 1}
?¿ýf+Ñ´k• Ì‚+.
§1.4 5f+†û+
·‚3þ!½Â + G 'uÙf+ H † 8©)
G
G= gi H = {gH | g ∈ G}.
i∈I
V /W = {v + W | v ∈ V },
dž38Ü¿Âþ,
·‚5w˜‡~„ 5f+~f.
½Â1.73. ϕ : G → H ´+Ó .
(1) N ϕ Ø (kernel)•
(2) N ϕ ” (image)•
a, b ∈ ker ϕ, K
ϕ(ab−1 ) = ϕ(a)ϕ(b)−1 = 1,
g ∈ G, a ∈ ker ϕ, K
¤± g −1 ag ∈ ker ϕ,
g −1 (ker ϕ)g ⊆ ker ϕ,
¤± h1 h−1
2 ∈ imϕ, imϕ ´ H f+.
y3 N C G, K G 'u N † 8•
…
aN bN = a(bN )N = abN.
P a = aN, ½Â¦{
a · b = ab.
K π ´+ ÷Ó , … ker π = N. ·‚kXe-‡5P:
y3·‚?Ø+Ø¥•-‡½n:
ϕ : G/ ker ϕ → imϕ
ϕ(g) = ϕ(g)
•+Ó .
íØ1.78. ϕ : G → H •+Ó ,K
(1) ϕ ´üÓ …= ker ϕ = {1}.
(2) ϕ ´÷Ó …= G/ ker ϕ ∼
= H.
•÷Ó , ÙØ•
n o
Γ(N ) = a b ∈ SL2 (Z) a ≡ d ≡ 1 mod N, b ≡ c ≡ 0 mod N , (1.26)
c d
M = {M | N 6 M 6 G},
M = {M | M 6 G = G/N }.
KN α : M → M, M 7→ M/N •˜˜éA.
αβ(M ) = M , βα(M ) = M
=Œ, ù´w, .
40 1˜Ù + Ä Vg†5Ÿ
½n1.82. XJ N C G, H 6 G, K
(H ∩ N ) C H, N C NH 6 G
…
N H/N ∼
= H/H ∩ N.
y². du N C G, Kéu a1 h1 , a2 h2 ∈ N H,
N H 6 G, … N C N H.
y3·‚½ÂÓ
ϕ : H → N H/N, h 7→ h = hN,
g, ϕ •÷Ó , …
ker ϕ = {h | ϕ(h) = 1} = {h | h ∈ N } = H ∩ N.
dÓ Ä ½n
(H ∩ N ) C H
…
N H/N ∼
= H/H ∩ N.
½ny..
½n1.83. XJ N C G, M C G … N 6 M , K
G/N
G/M ∼
= .
M/N
y². Äk½ÂÓ
d N 6 M • ϕ •÷Ó , …
dÓ Ä ½n,
G/N
G/M ∼
= .
M/N
½ny..
§1.4 5f+†û+ 41
S K
SK4.1. - G = {(a, b) | a ∈ R× , b ∈ R}, ¦{½Â•
SK4.3. G ´+, N C M C G.
(1) XJ N C G, K N C M ;
(1) XJ N C M , K N ´Ä˜½´ G 5f+?
SK4.4. Áy:
(1) + G ¥% Z(G) ´ G 5f+.
(2) + G •ê• 2 f+˜½´ G 5f+.
SK4.7. Gi (1 ≤ i ≤ n) •+, K
(1) C(G1 × G2 × · · · × Gn ) = C(G1 ) × C(G2 ) × · · · × C(Gn );
(2) G1 × G2 × · · · × Gn •C + …= z‡ Gi þ•C +.
SK4.8. G •+.
(1) éu x ∈ G, y²N σx : g 7→ xgx−1 ´ G gÓ . σx ¡•S
gÓ (inner automorphism).
(2) - I(G) L«¤k σx : x ∈ G |¤ 8Ü. ÁyI(G) ´Aut(G)
f+. I(G) ¡•SgÓ +.
(3) y²I(G) ∼
= G/Z(G).
SK4.9. f : G → H ´+Ó , M 6 G. Áy f −1 (f (M )) = KM , ùp
K = ker f .
42 1˜Ù + Ä Vg†5Ÿ
÷v^‡
(1) é?¿ x ∈ X, 1 · x = x.
(2) ((ÜÆ) é?¿ x ∈ X, g, h ∈ G,
g(hx) = (gh)x.
§2.1 ˜†+
·‚Äk±˜†+ (é¡+) Sn Š•~f5•Ä˜e+38Üþ Š
^. - Xn = {1, . . . , n}, K Sn = SXn g,Š^3 Xn þ.
§2.1.1 ˜†9ÙL«
阆 σ ∈ Sn , ·‚˜•¡Œ±^ü1ª5L« σ, =
!
1 2 ··· n
σ= . (2.1)
σ(1) σ(2) · · · σ(n)
43
44 1 Ù +38Üþ Š^
• éu i ∈ Xn − {a1 , . . . , ak }, σ(i) = i.
džP σ = (a1 , . . . , ak ).
AO/, 2 Ó†•¡Šé† (transposition).
στ = τ σ.
(2) éu σ ∈ Sn , ½ i, K8ÜTi = {σ k (i) | k ∈ Z} ⊆ Xn ´k•8,
•3 σ k1 (i) = σ k2 (i), k1 6= k2 , ¤± σ k1 −k2 (i) = i. - mi •• ê¦
σ (i) = 1, K
mi
du Xn = Ti •Ø ¿, …ù«•ª•˜. ·‚k
F
i∈I
Y
σ= (i σ(i) · · · σ mi −1 (i)),
i∈I
§2.1 ˜†+ 45
…•ª•˜.
!
1 2 3 4 5 6
~2.5. éu σ = , K σ = (1 6)(2 4 3)(5) = (1 6)(2 4 3).
6 4 2 3 5 1
~2.6. éu n, ˜†+Œ±Xe•[‰Ñ.
(1) éu n = 2, S2 = {1, (12)}.
(2) éu n = 3, S3 = {1, (12), (13), (23), (123), (132)}.
(3) éu n = 4, K
d. ½Â, ê λ1 , . . . , λn ≥ 0, ÷v•§
n
X
iλi = n. (2.2)
i=1
§ .† σ ˜—.
‡L5, X σ = (i1 · · · ik )(j1 · · · jl ) · · · ), σ 0 = (i01 · · · i0k )(j10 · · · jl )0 · · · ). -
!
i1 · · · ik j1 · · · jl · · ·
τ=
i01 · · · i0k j10 · · · jl0 · · ·
K τ στ −1 = σ 0 , = σ † σ 0 Ý.
§2.1.2 Û˜††ó˜†
f = f (x1 , . . . , xn ) ´ Zn Z n Cþ¼ê, éu σ ∈ Sn ½Â
σ(f ) •´ Zn Zþ n Cþ¼ê.
Ún2.13. ·‚k
(1) X σ = 1, K σ(f ) = f .
(2) X σ, τ ∈ Sn , K στ (f ) = σ(τ (f )).
(3) X f, g • n Cþ¼ê, c • ~ê, K
σ(τ (f ))(x) = f (xσ(τ (1)) , . . . , xσ(τ (n)) ) = f (xστ (1) , . . . , xστ (n) ).
στ (f ) = σ(τ (f )).
ε(τ ) = −1.
e¡·K‰Ñ˜†Ûó5 ˜‡{ü ½:
n
·K2.16. XJ˜† σ ∈ Sn .•1λ1 2λ2 · · · nλn , Kσ Ûó5†
P
λi (i−1)
i=1
Ûó5˜—.
§2.1.3 †+
!•{SNò—åuy²eãͶ½n:
g,•´ A4 5f+.
Galois |^½n 2.20 y² Êg±þõ‘ªvk¦Šúª, ù´+Ø
) I“. ·‚ò318Ù ã Galois Ͷ(J.
Ún2.21. An d 3 Ó†)¤.
Ún y.
γ(ijk)γ −1 = (i0 j 0 k 0 ).
§2.1 ˜†+ 49
γ(ijk)γ −1 = (i0 j 0 k 0 ).
σ = (a1 a2 )(a3 a4 ) · · · .
- τ = (a3 a4 a5 ), K
τ στ −1 σ −1 = (a3 a4 a5 ) ∈ N.
• σ = (a1 a2 a3 a4 ) · · · . - τ = (a2 a3 a4 ), K
τ στ −1 σ −1 = (a1 a2 a3 ) ∈ N.
• σ = (a1 a2 a3 a4 a5 · · · ) · · · . - τ = (a2 a3 a4 ), K
τ στ −1 σ −1 = (a2 a3 a5 ) ∈ N.
τ στ −1 σ −1 = (a1 a4 a2 a3 a5 ) ∈ N,
…•õCÄ 5 ‡ ƒ.
50 1 Ù +38Üþ Š^
nþ¤ã, ½n y.
S K
SK1.1. r˜† σ = (456)(567)(761) ¤Øƒ Ó† È.
SK1.3. ?ؘ† !
1 2 ··· n
σ=
n n − 1 ··· 1
Ûó5.
SK1.10. Áy A4 vk 6 f+.
§2.2 +38Üþ Š^ 51
SK1.11. ÁOŽ:
(1) S6 ¥ 2 ‡ê.
(2) A8 ¥ •Œ ƒ‡ê.
§2.2 +38Üþ Š^
§2.2.1 ; †-½f+
G × X → X, (g, x) 7→ g · x,
…÷v^‡
(1) é?¿ x ∈ X, 1 · x = x.
(2) ((ÜÆ) é?¿ x ∈ X, g, h ∈ G,
g(hx) = (gh)x.
½Â2.24. XJ X • G-8, x ∈ X. K
Ox = Gx = {gx | g ∈ G} ⊆ X (2.4)
¡• x ¤3 ; (orbit). XJ•3 x ∈ X ¦ Ox = X, ¡ G 3 X þ
Š^Œ[ (transitive).
x∼y XJ •3 g ∈ G, y = gx, = y ∈ Ox .
52 1 Ù +38Üþ Š^
é x ∈ X, -
Gx = {g ∈ G | gx = x}, (2.6)
²£• ! ! !
x x x0
τP : 7−→ + , Ù¥ P = (x0 , y0 ); (2.9)
y y y0
‡ • ! !
x x
r: 7−→ . (2.10)
y −y
K M Š^3²¡þ :8þ, ²¡þ †‚8þ, Ú²¡þ n /8þ.
XJ X ´²¡þ :8, K M 3 X þ Š^´Œ[ , … : O
-½f+´ MO = O2 (R), = +.
§2.2 +38Üþ Š^ 53
a ◦ f (x) = f (x + a).
K\{+ R Š^3ëY¼ê8Üþ. 5¿ :
(1) f -½f+ Gf = R …= f ´~Š¼ê.
(2) f -½f+ Gf = tZ (t > 0) …= f •• ±Ï t ëY
±Ï¼ê.
ϕ : G/H → Ox , aH 7→ ax.
·K2.32. X • G-8, x ∈ X, x0 = ax ∈ Ox , K
(1) {g ∈ G | gx = x0 } = aGx .
(2) Gx0 = aGx a−1 = {g ∈ G | g = aha−1 , h ∈ Gx }.
X ´ G-8, éu g ∈ G,
ρg : X −→ X, x 7−→ gx
dÓ Ä ½n, ·‚ üÓ
.\
ρ̄ : G Gx −→ SX . (2.14)
x∈X
§2.2 +38Üþ Š^ 55
ρ : GL2 (F2 ) → S3 .
S K
SK2.1. + G 38Ü Σ þ Š^´D4 ,N ´G 5f+, K Σ
3 N Š^e z‡; kÓ õ ƒ.
a ◦ f (x) = f (ax) (a ∈ R× )
N C K, G 6 K, K = N G, N ∩ G = {1},
dž H 3 N þ Š^•SgÓ .
(3) y² G/N ∼
= H.
(4) y² Sn = An o h(12)i, Ù¥ n > 3.
§2.3 +3g þ Š^
§2.3.1 †¦Š^
G •+, K+ ¦{g,p G 3g þ Š^
·‚‡y² (G : H) = 2, = G ¥•3Û˜†.
¯¢þ, du G ¥÷v x2 = 1 ƒ•óê, G ¥•3 2 σ,
§3 G †¦Š^e ; 7• {a, σ(a)} /ª,
§2.3.2 ÝŠ^
• Cx = Ox = {x0 ∈ G | x = gxg −1 }.
·K2.39. G •k•+, K
(1) |G| = |Cx | · |Z(x)|.
(2) a•§¤á:
X X
|G| = |Cx | = |Z(G)| + |Cx |. (2.18)
G ¥ Ýa |Cx |6=1
·‚e¡‰Ña•§ ˜ A^.
·K2.41. p + ¥%š²….
·K2.43. p2 + G 7•C +.
XH = {H} …= H C G. (2.19)
G 3 XH þ ÝŠ^•
G × XH −→ XH
(g, aHa−1 ) 7−→ gaHa−1 g −1 = (ga)H(ga)−1 .
·‚N´ y, G 3 XH þ Š^Œ[.
=• H 3 ÝŠ^e -½f+.
dúª (2.19)k
NG (H) = G …= H C G. (2.21)
- π : G → SXH • G 3 XH þ ÝŠ^p Ó ,K
\ \
ker π = GaHa−1 = aNG (H)a−1 . (2.22)
a∈G a∈G
y². •Ä G 3 N † 8L«, ·‚ +Ó
ρN : G → Sp .
• |G| vk u p ƒÏf;
• p = (G : N ) ´ (G : ker ρN ) Ïf.
p = (G : ker ρN ) … N = ker ρN .
S K
SK3.1. (½ GL2 (F5 ) ¥ ( 10 02 ) Ýa .
§2.4.1 Sylow ½n
y². X • G ¥¤k pr f8 ¤ x, =
X = {U ⊆ G | |U | = pr }.
62 1 Ù +38Üþ Š^
K
mpr mpr · (mpr − 1) · · · (mpr − pr + 1)
N = |X| = = .
pr 1 · 2 · · · pr
du i † mpr − i(1 6 i 6 pr − 1) p Ø gê˜ , ·‚k (p, N ) = 1.
•Ä G 3 X þ†¦Š^, 7•3˜‡; , Ø” • OU (U ∈ X),
|OU | † p pƒ. dOêúª (2.11), U = GU x ´ GU ˜ 8 ¿,
S
x∈U
|GU | ´ p •˜. dúª (2.11), |GU | · |OU | = |G|, du |GU | ´ p ˜,
|OU | † p pƒ, |GU | = p , ¤± GU ´ G
r
Sylow pf+.
K N (p) ≡ 1 mod p.
§2.4 Sylow ½n9ÙA^ 63
§2.4.2 Sylow ½n A^
y². h ∈ H, k ∈ K, K
ã 2.1: Fâ”
ϕ : H × K → G, (h, k) 7→ hk,
ϕ ´+Ó . d HK = G, ϕ •÷Ó . e hk = 1, K h = k −1 ∈
H ∩ K, h = k = 1, ϕ •üÓ , ¤± ϕ •Ó .
G ¥ p ˜g •õk p2 ‡, = N (p) = 1.
½n2.56. • k•šC ü+ G Ó u A5 , =
(1) XJ |G| < 60, G Ø´šC ü+.
(2) XJ |G| = 60 … G •šC ü+, K G ∼
= A5 .
S K
SK4.1. e p ´ |G| ƒÏf, K+ G 7k p ƒ.
SK4.4. y² 6 šC +•k S3 .
K N ≡ 1(mod pr ).
SK4.13. + G ´ 24 +…Ù¥%²…, y² G Ó u S4 .
§2.5 gd+†+ Ly
§2.5.1 gd+
w1 · w2 = x1 xn y1 · · · ym .
ùp„k˜‡¯K. d(ÜÆ•/X
w = · · · xaa−1 y · · ·
·K2.60. XJ w ∼ w0 , u ∼ u, K wu ∼ w0 u0 .
½Â2.61. +
y². é w = a1 · · · an , ai ∈ S ∪ S −1 , •I½Â
…
f (ai ), e ai ∈ S,
ϕ(ai ) =
f (a−1 )−1 , e a ∈ S −1 .
i i
K ϕ ••˜ òÿ f +Ó .
§2.5.2 + Ly
hS | r = 1, Ù¥ r ∈ N i.
σ n , τ 2 , (στ )2 )¤ 5f+, K K ⊆ N , =k
F (S)/K F (S)/N Dn .
·‚e¡5?Ø+ G † f+.
ϕ : G → G/G0 → G/ ker ϕ → A,
p Ó ϕ : G/G0 → A.
y². ·‚kÓ
ϕ : F (S) → G → G/G0 ,
2d·K 2.68(2) á .
G = hS | r1 = r2 = · · · = rn = 1i,
KG/G0 Ly•
·‚ò3e!•[?Ød+.
S K
72 1 Ù +38Üþ Š^
SK5.2. F ´ x, y )¤ gd+.
(1) y²ü‡ ƒ u = x2 Ú v = y 3 )¤ F ˜‡f+, §Ó u u, v
þ gd+.
(2) y²n‡ ƒ u = x2 , v = y 2 Ú z = xy )¤ F ˜‡f+, §Ó
u u, v, z þ gd+.
SK5.7. y² 5 · 7 · 13 +˜½´Ì‚+.
§2.6 k•)¤C + (
§2.6.1 k•)¤gdC +
½Â2.70. +
M
Z = {(ax )x∈S | ax ∈ Z …•kk•‡ ax 6= 0}.
x∈S
y². -
M
f : S −→ Z, x 7−→ ax = (ax,y )y∈S
x∈S
M
ϕ : Z(S) −→ Z.
x∈S
74 1 Ù +38Üþ Š^
∼
Zm /(kZ)m −→ Zn /(kZ)n .
d½n 2.72, á•
α α
yj = x1 1j x2 2j · · · xαnnj (αij ∈ Z)
…
β β
xj = y1 1j y2 2j · · · ynβnj (βij ∈ Z).
§2.6.2 k•)¤C + ( ½n
y². -8Ü
·‚5¿ XJ H 6= 0, K I 6= 0 …
• XJ s ∈ I, n ∈ Z, Kns ∈ I. l I ¥k ê.
• du {y2 , y1 , · · · , yn } •´˜|Ä, k2 ∈ I. Ón ki ∈ I.
α = d1 (y1 + q2 y2 + · · · qn yn ) + r2 y2 + · · · rn yn .
du {y1 + q2 y2 + · · · qn yn , y2 , · · · , yn } „´˜|Ä, ri ∈ I. d d1 •
5• ri = 0. =•3 α ∈ H, Ä {x1 , x2 , · · · , xn } ¦ α = d 1 x1 .
·‚y3é G •Š8B. XJ n = 1, ½nw,¤á. b é• < n
ž½n¤á, é H 6 G, - G1 = hy2 , · · · , yn i, ·‚äó
H = hαi ⊕ (H ∩ G1 ).
du k1 , · · · , kn ∈ I, d1 | k1 , x ∈ hαi + (H ∩ G1 ), äóy..
y3XJ G1 ∩ H = {0}, K H = hd1 x1 i, ½n¤á. XJG1 ∩ H 6= {0},
K G1 ∩ H ´k•)¤gd+ G1 f+. du rankG1 = n − 1, d8Bb ,
76 1 Ù +38Üþ Š^
A∼
= Zr ⊕ Z/m1 Z ⊕ · · · ⊕ Z/ms Z,
Ù¥ m1 | m2 | · · · | ms • ê.
½ny..
At = {a ∈ A | a k•}. (2.27)
Zr ⊕ Z/m1 Z ⊕ · · · Z/ms Z,
y². ϕ:A∼
= Zr ⊕ T, - Af = ϕ−1 (Zr ), At = ϕ−1 (T ), K At • A Û
f+, … Af ••• r gd+.
(2) d(1)á .
§2.6 k•)¤C + ( 77
d A •˜(½.
Z/mZ ∼
= Z/pα1 1 Z ⊕ · · · Z/pαs s Z.
A∼
= Z/pβ1 Z ⊕ · · · ⊕ Z/pβr0 Z (β1 6 · · · 6 βr0 ). (2.29)
0
•Ä A/pA, (2.28)`² |A/pA| = pr , (2.29)`² |A/pA| = pr , r = r0 . ·
‚é k Š8By² αk = βk . XJ α1 = β1 , · · · , αk−1 = βk−1 αk < βk , K
d(2.28), |p A/p
αk αk+1
A| 6 p r−k
, d(2.29), |p A/p
αk αk+1
A| = p r−k+1
, gñ.
αk = βk , =(2.28)†(2.29)/G˜ , (2) •˜5y..
éu(1) •˜5, é?Û p, •Ä A Sylow pf+. d(2)
Ap ∼
= Z/pα1 Z ⊕ · · · ⊕ Z/pαr Z, α1 6 · · · 6 αr .
d(1),
Ap = (Z/m1 Z)p ⊕ · · · ⊕ (Z/ms Z)p
du m1 | m2 | · · · | ms , … (Z/mZ)p •Ì‚+, 7k
·‚Œ±nÜþã½n
A∼
= Zr ⊕ Z/m1 Z ⊕ · · · Z/ms Z
∼
= Zr ⊕ Z/pα1 1 Z ⊕ · · · Z/pαt t Z
Ù¥
(i) r ¡• A •, d A •˜(½.
(ii) 1 < m1 | m2 | · · · | ms d A •˜(½.
(iii) {pα1 1 , · · · , pαt t } d A •˜(½.
(2) k•)¤C +A†B Ó …= Ù•ƒÓ, …ÙÐ Ïf
½ØCÏf•ƒÓ.
~2.82. ·‚5?ؘe8 +G ( .
(1) C +. džÐ ÏfŒUk3 «œ¹: {8}, {2, 4} Ú{2, 2, 2},
k3 «8 C +: Z/8Z, Z/4Z ⊕ Z/2Z ÚZ/2Z ⊕ Z/2Z ⊕ Z/2Z.
(2) šC +. XJG¥k8 , KG ´Ì‚+; XJÙ ƒ •
•1 Ú2, KG •C +(Ún 1.65). ·‚Œ±b x ´G ˜‡4 ,
K(G : hxi) = 2, hxi ´G 5f+(·K 2.38). -y ∈ G − hxi, KG =
{xi , xi y | i = 0, 1, 2, 3}.
•Ä ƒy −1 xy ∈ hxi. du§†x Ó , y −1 xy = x ½öx3 . dux
−1 −
†y Ø †, y xy = x = x . XJy
3
•2, K
XJy •4, K
G = hx, y | x4 = y 4 = 1, y −1 xy = x−1 i.
§2.6 k•)¤C + ( 79
·‚•Ä4 ê+
( ! ! !)
i 0 0 1 0 i
Q8 := ±I, ± , ± , ± . (2.30)
0 −i −1 0 i 0
KG †Q8 ÏLN x 7→ ( 0i −i
0
0) Ó
0 1
), y 7→ ( −1 .
nþ¤ã, 3Ó ¿Âe 8 šC + kü‡: D4 ÚQ8 .
S K
SK6.1. ò 33 +©a. ò18 +©a.
SK6.11. n• ê, ¯kõ ‡n C +?
SK6.14. G, A, B þ•k•C +. XJ G ⊕ A ∼
= G ⊕ B, K A ∼
= B.
§3.1 ‚Ú• ½Â
§3.1.1 ‚ Vg Ú\
§3.1.2 ½ÂÚ~f
81
82 1nÙ ‚Ú•
·‚e¡ Þ•õ~f.
~3.5.
H = {a + bi + cj + dk | a, b, c, d ∈ R},
H(Q) = {a + bi + cj + dk | a, b, c, d ∈ Q}
~3.6. -
n o
α β
H0 = −β̄ ᾱ | α, β ∈ C ,
•´š †‚.
§3.1 ‚Ú• ½Â 83
ã 3.1: M— îVg1
·K3.7. R •‚, K
(1) é?¿ a ∈ R, 0 · a = a · 0 = 0.
(2) éu n • ê, a ∈ R, P na • n ‡ a ƒÚ, P −na • na
\{_ . Ké n ∈ Z, a, b ∈ R, ·‚k (na)b = a(nb) = nab.
(3) éuR ¥ ƒai (1 ≤ i ≤ m) Úbj (1 ≤ j ≤ n), K
X X XX
ai bj = ai b j .
i j i j
84 1nÙ ‚Ú•
íØ3.8. XJ 1 = 0, K R = 0.
y². a ∈ R, K a = a · 1 = a · 0 = 0.
dþã·K, ·‚á•k
d½Âw,••7• ‚, ·‚k•¹'X:
•( ‚( †‚ ( ‚.
½Â3.20. ‚ R f8Ü T ¡• R f‚ ´• T = 0 ½ö T 3 R \
{Ú¦{¿Âe ¤‚.
Ó ,•F f8Ü E ¡• F f• ´• E 3 F \{Ú¦{¿
Âe ¤•.
y². d½Âá .
5P. duéu?Ûx ∈ R1 , y ∈ R2 , þk
(x, 1) · (1, y) = 0.
S K
§3.1 ‚Ú• ½Â 87
SK1.1. n>2´ ê.
(1) ‚ Z/nZ ¥ ƒ a Œ_ ¿‡^‡´ (a, n) = 1.
(2) e p •ƒê, K Z/pZ ••. e n > 2 Ø•ƒê, K Z/nZ Ø´
‚.
SK1.6. - R = {a = (a1 , a2 , . . .) | an ∈ Z, 0 6 an 6 pn − 1, an ≡
an+1 mod pn }. a, b ∈ R, ½Â
a + b = c, 0 6 cn 6 pn − 1, cn ≡ an + bn mod pn ,
88 1nÙ ‚Ú•
a + b = d, 0 6 dn 6 pn − 1, dn ≡ an bn mod pn .
A − B = {c ∈ U | c ∈ A, c ∈
/ B},
A + B = (A − B) ∪ (B − A), A · B = A ∩ B.
§3.2 ‚ Ó †Ó
§3.2.1 ½Â†{ü~f
X f Š•8ÜN •ü , ¡ f •üÓ
, •¡•i\. X f •÷ ,
¡ f •÷Ó . X f •V , K¡ f •Ó , P• f : R1 ∼
= R2 .
÷v^‡(2) Ø÷v^‡(1).
3˜ ©z¥, ‚ؘ½¹N, dž‚Ó ½Â¥•b (2). Œ±y
², XJ R1 , R2 ¹N, f : R1 → R2 •÷ , …(2)¤á, K f (1) = 1.
f : H −→ H0
a + bi + cj + dk 7−→ −αβ̄ ᾱβ ,
~3.27. m, n • ê, R •‚, K
•‚ üÓ . XJ R • †‚, K f p + üÓ
√
ϕ(x − y) = ϕ( x − y)2 > 0,
§3.2.2 ‚Ó Ø†nŽ
ϕ : R1 → R2 •‚Ó .
½Â3.29. Ó ϕ Ø (kernel)•8Ü
·K3.30. XJ ϕ : R1 → R2 Ø ker ϕ = R1 , K R2 = 0.
x •‚ R ¥ ƒ, enŽ I •¹ x, dnŽ½Â, 7k
Rx ⊆ I, xR ⊆ I, RxR ⊆ I,
du g ∈ I, f q ∈ I, r = g − f q ∈ I. d f gê•$5• r = 0, = g ∈ (f ).
I = (f ) •ÌnŽ.
§3.2.3 ‚Ó •õ;.~f
(I) Z R ;‰Ó .
‚ R 6= 0. 3 R ¥, XJ ê n > 0, ·‚3 Ù1˜!½Â
nx = x + · · · + x • n ‡ x ƒ\; XJ n < 0, ½Â nx = −(−nx). K
ϕ : Z → R, n 7→ n · 1R
·K3.44. ϕ : R → R0 •‚Ó .
(1) é?¿ α ∈ R0 , •3•˜‚Ó Φ : R[x] → R0 , ¦ ϕ = Φ ◦ i, …
Φ(x) = α.
(2) •?˜Ú/, é α1 , . . . , αn , •3•˜‚Ó
Φ : R[x1 , . . . , xn ] → R0
¦ ϕ = Φ ◦ i, Ù¥ i •‚Ó R → R[x1 , . . . , xn ].
94 1nÙ ‚Ú•
R[X, Y ] ∼
= R[X][Y ].
S K
√
SK2.1. y² ‚ Z[ d] ?Û˜‡š"nŽÑ•¹˜‡š" ê.
§3.2 ‚ Ó †Ó 95
√
SK2.2. (½ Aut(Q[ d]), d ∈ Q× − (Q× )2 Ú Aut(Z/mZ).
SK2.4. ¦e ‚Ó Ø )¤ :
(1) R[x, y] → R : f (x, y) 7→ f (0, 0);
(2) R[x] → C : f (x) 7→ f (2 + i);
√
(3) Z[x] → R : f (x) 7→ f (1 + 2);
(4) C[x, y, x] → C[t] : x 7→ t, y 7→ t2 , z 7→ t3 .
SK2.7. I ´ †‚ R ¥ nŽ. ½Â
√
I = {r ∈ R | •3 n > 1, ¦ rn ∈ I}.
√
(1) I ´ R nŽ.
√
(2) I = R …= I = R.
p√ √
(3) I = I.
√ p√ √ √ √ √ √
(4) I + J = I + J, I ∩ J = I ∩ J = IJ.
§3.3 ‚ Ó Ä ½n
§3.3.1 nŽ†û‚
½n3.48. - I ´‚ R nŽ, K
(1) R̄ = R/I þ•3•˜ ‚( ,¦ π : R → R̄, a 7→ ā = a + I ´
‚ ÷Ó .
(2) ker π = I.
§3.3.2 ‚Ó Ä ½n
½n3.49. f : R → R0 •‚Ó , K
(1) ker f ´ R nŽ, imf ´ R0 f‚.
(2) Ó f = i ◦ f¯ ◦ π, =
π f¯ i
f: R −→ R/ ker f −→ imf −→ R0 , (3.4)
Ù¥ π •g,÷Ó , i •g,üÓ ,
•Ó .
I 7→ π(I), I¯ 7→ π −1 (I).
¯
(2) XJ I éA R̄ ¥ ¯ K R/I ∼
nŽ I, ¯
= R̄/I.
¯ = I,
(iii) ππ −1 (I) ¯ π −1 π(I) = I.
98 1nÙ ‚Ú•
K ϕ ◦ π •÷Ó , …
¯ = π −1 (I),
ker(ϕ ◦ π) = {r ∈ R | π(r) ∈ ker ϕ = I} ¯
π −1 (I) ¯ ∼
¯ • R ¥nŽ, … R/π −1 (I) ¯ =·‚y²
= R̄/I, (ii)9½n (2).
(iii)d8ÜN 5Ÿ, ·‚Äkk π −1 (π(I)) ⊇ I … π(π −1 (I))¯ ⊆ I.
¯ = I.
2d π ´÷ , • π(π −1 (I)) ¯ •Iy² π −1 (π(I)) ⊆ I.
x ∈ π −1 (π(I)), K•3 y ∈ I, π(x) = π(y), π(x − y) = 0, =
−1
x − y ∈ J ⊆ I, ¤± x = y + (x − y) ∈ I, = π (π(I)) = I.
§3.3.3 Ó Ä ½n A^
éuA p ‚, ·‚k
p
qdu p | é 1 6 i 6 p − 1 ¤á, ·K y.
i
íØ3.54. R •A p ‚, K σ : R → R, x 7→ xp •‚ R gÓ ,
… σ •üÓ .
§3.3 ‚ Ó Ä ½n 99
Ø• (xy), Ù”= I.
§3.3.4 ¥I•{½n
y². ·‚Äky²
I1 + I2 · · · In = R.
d I1 + I2 = R 9 I1 + I3 = R, K
d8B• I1 + I2 I3 · · · In = R.
1 ∈ R, K•3 a ∈ I1 , b ∈ I2 I3 · · · In , a + b = 1,
y3•ÄÓ
Y
ϕ : R −→ R/Ii
i
d){=²ŠêÆ[§Œ 35Ž{Úm6(1593c)¤ó:
§3.3 ‚ Ó Ä ½n 101
n<Ó1Ô›D,
Êärsö˜{,
Ôfì Œ ,
Øz"ÊB •.
S K
SK3.1. y² †‚ R ¥ ܘ" ƒ|¤ 8Ü N = Nil(R) ´‚ R
nŽ, ¿…û‚ R/N ¥•k" ƒ´˜"nŽ.
Mn (R)/Mn (I) ∼
= Mn (R/I).
SK3.3. f : R → S ´‚ Ó . I Ú J ´‚ R Ú S nŽ, ¿…
f (I) ⊆ J, UXe•ªŠû‚ƒm N :
a ⊕ b = a + b + 1, a b = ab + a + b.
SK3.7. D • ‚, m Ú n •pƒ ê. a, b ∈ D, XJ am = bm ,
an = bn , y² a = b.
SK3.8. I1 , . . . , In ´‚ R nŽ…
(1) I1 + · · · + In = R;
(2) éuz‡ i(1 6 i 6 n), Ii ∩ (I1 + · · · + Ii−1 + Ii+1 + · · · + In ) = (0).
n
y² R ∼
Q
= Ii .
i=1
SK3.9. ‚ R ¥ ƒ e ‰˜ ƒ, ´• e2 = e. XJ e qáu‚ R
¥%, K¡ e •¥%˜ ƒ. R ´¹N‚, e • R ¥%˜ ƒ. y
²
(1) 1 − e •´¥%˜ ƒ.
(2) eR Ú (1 − e)R þ´ R nŽ, ¿… R ∼
= eR × (1 − e)R.
SK3.10. I, J ´‚ R nŽ,÷v I + J = R, 9 IJ = 0.
(1) y²: R ∼
= R/I × R/J;
(2) £ãéAuù‡†È©) ˜ ©
SK3.11. ‚ R ¥˜ 8Ü {e1 , . . . , en } ‰ , ´• i 6= j ž,
ei ej = 0. R, R1 , . . . , Rn Ñ´¹N‚. Ke ü‡^‡ d:
(1) R ∼
= R1 × · · · × Rn ;
(2) R äk ¥%˜ 8Ü {e1 , · · · , en }, ¦ e1 + · · · + en = 1R ,
∼
¿… ei R = Ri (1 6 i 6 n).
§3.4 ‚†•
§3.4.1 ƒnŽ†4ŒnŽ
·K3.59. R• †‚, Ke ^‡ d:
(1) p ´ R ƒnŽ;
(2) XJnŽ I1 I2 ⊆ p, K I1 ⊆ p ½ I2 ⊆ p;
(3) R/p ´ ‚.
·K3.60. R • †‚, Ke ^‡ d
(1) m ´ R 4ŒnŽ.
(2) R/m ´•.
104 1nÙ ‚Ú•
Spec F [x] = {0} ∪ MaxF [x] = {0, (f (x)) | f (x)•F [x]þĘ، õ‘ª}.
§3.4.2 ‚ ÛÜz
·‚3Ùþ½Â'X
½n3.67. 8Ü K 3$Ž
r r0 rs0 + r0 s r r0 rr0
+ 0 = , · 0 = 0 (3.7)
s s ss0 s s ss
e ¤•, § " 0 = 10 , ü 1 = 11 , …
(1) f : D → K, a 7→ a
1
´üÓ (i\).
(2) ϕ ´‚ D •F i\, K•3•˜ • i\ ψ : K → F
¦ ϕ = ψ ◦ f.
106 1nÙ ‚Ú•
S K
SK4.1. R ´¹N †‚, p1 , . . . , pm • R ƒnŽ A•R nŽ.
XJ A ⊆ p1 ∪ · · · ∪ pm , K7•3,‡ i(1 6 i 6 m), ¦ A ⊆ pi .
SK4.5. f : R → S ´‚ ÷Ó , K = ker f .
(1) e p ´ R ƒnŽ¿… p ⊇ K, K f (p) •´ S ƒnŽ;
(2) e q ´ S ƒnŽ, K f −1 (q) •´ R ƒnŽ;
(3) S ¥ ƒnŽÚ R ¥•¹ K ƒnŽ´˜˜éA . ò“ƒn
Ž”U¤“4ŒnŽ”KdØ䕤á.
§4.1 •˜Ïª©)‚
3 Ù, ·‚b R ´(¹N) †‚.
! 8 ´ò Z þ ÏfVgÿÐ R þ, ¿&?Ù¥ ƒ Ϫ
©).
·K4.2. a, b ∈ R, u ∈ U (R) = R× , K
(1) a | b …= (b) ⊆ (a), a ∼ b …= (b) = (a).
(2) u ∼ 1 ´¤k r ∈ R Ïf. XJ r Ø´ü , K u ´ r ýÏf.
(3) XJ a = bu, K a ∼ b. XJ R • ‚, K‡ƒ½,.
(4) e R • ‚, a • b ýÏf, K (b) $ (a). ‡ƒ½,.
109
110 1o٠Ϫ©)
·K4.5. R• ‚, K
(1) p •ƒ …= (p) •ƒnŽ.
(2) a •ØŒ …= nŽ (a) • R ¥ÌnŽ8Ü¥ 4Œ .
(3) ƒ 7´ØŒ .
(4) XJ R • PID, KØŒ •´ƒ .
§4.1.2 •˜Ïª©)‚
½Â4.6. R • ‚, …÷vXeü^‡
x1 = x22 = x43 = · · · .
Ϫ©)Ø•3.
√ √ √
~4.8. R = Z[ −5], K 6 = 2 · 3 = (1 + −5)(1 − −5). ·‚5`² 2,
√ √
3, 1 + −5, 1 − −5 þ´ R ¥ ØŒ .
√ √ √
N : R → N, N (a + b −5) = (a + b −5)(a − b −5) = a2 + 5b2 , K
Ún4.10. 3 ‚ R ¥•ŒúÏf•3. a, b, c ∈ R.
(1) c(a, b) ∼ (ca, cb).
(2) XJ (a, b) ∼ 1, (a, c) ∼ 1, K (a, bc) ∼ 1.
112 1o٠Ϫ©)
Úny..
a = c1 · · · cm , b = d1 · · · dn ,
d©)•˜5 ti 6 ei . Ón ti 6 fi , ti 6 gi , ¤± d0 | d, = d • a † b
•ŒúÏf.
½n4.12. e R • ‚, Ke ^‡ d
(1) R • UFD.
(2) ½n 4.11 ¥ (1) Ú (3)¤á.
(3) ½n 4.11 ¥ (1) Ú (2)¤á.
y². ·‚•Iy²ìA5Ÿ, =e
½ny..
114 1o٠Ϫ©)
§4.1.3 îAp ‚
ϕ : R − {0} → N+ ,
1
ϕ(γ) = ϕ(β)((x − x0 )2 + (y − y0 )2 ) 6 ϕ(β) < ϕ(β).
2
√
Z[ −1] ´ ED.
116 1o٠Ϫ©)
S K
SK1.1. R • UFD , a, b, c • R ¥š" ƒ. y²:
(1) ab ∼ (a, b)[a, b];
(2) e a | bc, (a, b) = 1, K a | c.
SK1.4. R• ‚, a, b ∈ R − 0, a ∼ b. ¦y:
(1) e a •ØŒ , K b ••ØŒ ;
(2) e a •ƒ , K b ••ƒ .
§4.2 pd ê† ²•Ú¯K
√
½Â4.17. ‚ Z[ −1] ¡•pd ê‚ (domain of Gauss integers), Ù¥
ƒ¡•pd ê (Gauss integer), Ùƒ ¡•pdƒê (Gauss prime).
√
dþ!Œ•pd ê‚ Z[ −1] ´ ED, • PID. 3 !¥, ·‚P
√
ϕ : Z[ −1] −→ N
√
a + b −1 7−→ a2 + b2 .
§4.2 pd ê† ²•Ú¯K 117
√ √
Ún4.18. pd ê‚ ü + U (Z[ −1]) = {±1, ± −1}.
√ √
y². ƒ x ∈ U (Z[ −1]) …= ϕ(x) = 1, x = a + b −1 •ü
…= a2 + b2 = 1, = a = ±1, b = 0 ½ a = 0, b = ±1.
K p ≡ 0, 1, 2 mod 4, = p 6≡ 3 mod 4.
(4) (i) ⇐⇒ (ii). w,.
(ii) =⇒ (iii). XJ p = a2 + b2 , K 0 < b2 < p. c̄ = b̄−1 ∈ Fp , K
a2 c2 ≡ −1 mod p.
p−1
(iii) ⇐⇒ (iv). XJ p •Ûƒê, K ( −1
p
) = (−1) 2 , ( −1
2
) = 1,
( −1
p
)=1 du p ≡ 1 mod 4 ½ p = 2.
118 1o٠Ϫ©)
√ √ √
(iii) =⇒ (i). d p | x2 + 1 = (x + −1)(x − −1), ´ p - x + −1,
√
p - x − −1, ·‚• p Ø´ƒ . d(1), p 7´ ÝpdƒêƒÈ.
Ù¥ ε •ü . òa ¤pdƒêƒÈ, Kk
0 γ0 γ0
a = ε1 (1 + i)α π1β11 π̄1β12 · · · πsβs1 π̄sβs2 · q1 1 · · · qt t ,
0 γ0 γ0
ā = ε̄1 (1 − i)α π1β12 π̄1β11 · · · πsβs2 π̄sβs1 · q1 1 · · · qt t ,
S K
SK2.1. p ´Ûƒê, p ≡ 1 (mod 4). XJ (a, b) ´Ø½•§ x2 + y 2 = p
˜| ê), K§ Ü ê)• (x, y) = (±a, ±b), (±b, ±a).
√ √
SK2.2. ò 60 Ú 81 + 8 −1 3‚ Z[ −1] ¥©)¤ØŒ ƒÈ.
SK2.4. |^ © •{ïÄXe¯K:
(1) éu ê n, x2 + 2y 2 = n Ûžk ê)? kõ | ê)?
(2) éu ê n, x2 + xy + y 2 = n Ûžk ê)? kõ | ê)?
§4.3 õ‘ª‚† Gauss Ún 119
f = qg + r,
c • f (x) Š …= (x − c) | f (x).
y². d f (u) = 0 •
n
X
ai ci dn−i = 0.
i=0
¤± c | a0 dn … d | an cn . d (c, d) = 1 • c | a0 … d | an .
§4.3 õ‘ª‚† Gauss Ún 121
… g(c) = bn 6= 0.
(2) d(1)á .
122 1o٠Ϫ©)
§4.3.2 Gauss Ún
n
D • UFD, f (x) = ai xi (an 6= 0) ´ D þš"õ‘ª.
P
i=0
d½ÂŒ•
n
X m
X
f1 = ai x i , g1 = b j xj ,
i=1 i=1
K f1 g1 = ck xk , Ù¥ ck = ai bj . éu D þƒ p, d p - c(f1 ), •
P P
k i+j=k
3 s, ¦ p | ai é i < s ¤á p - as . Ó •3 t, p | bj éu j < t ¤á
p - bt . éu
y². e f = αg, α ∈ F × , - α = a
b
, a, b ∈ D pƒ, K bf = ag,
124 1o٠Ϫ©)
b = c(bf ) ∼ a = c(ag), = α ∈ D× .
•˜5: e
c(f ) = c1 · · · cr = d1 · · · dr0
- D = Z, F = Q, KGauss ÚnkXe¢SA^
S K
SK3.1. y²·K 4.21.
X+∞
R[[x]] = { an xn | an ∈ R(n = 0, 1, 2, . . .)},
n=0
§4.3 õ‘ª‚† Gauss Ún 127
+∞
z‡ ƒ an x n ‰ R þ'u x /ª˜?ê. ½Â
P
n=0
X X X
an x n + bn x n = (an + bn )xn ,
X X X X
( an xn )( bn x n ) = ( ai bj )xn .
i+j=n
p - an , p - ak , p | ai (0 ≤ i ≤ k − 1), p2 - a0 .
§5.1 •*ÜÄ nØ
§5.1.1 ~„ • ~f
§5.1.2 “ê*܆‡ *Ü
3Ú?Vgc, ·‚Äkw˜‡~f. - F = Q, K = C. éu α ∈ C, k
ü«œ¹: (i) α = e ½ π 9aqœ/. džé¤kš"õ‘ª f (x) ∈ Q[x],
√
f (α) 6= 0; (ii) α = 2 ½ ζn 9aqœ/. dž•3š"õ‘ª f (x) ∈ Q[x],
f (α) = 0. ùü«œ¹`² •*Ü¥ü« ƒ: ‡ †“ê („1n
Ù§3.1.1).
129
130 1ÊÙ •*ÜnØ
3œ/(i), ϕ p • üÓ
g(x) g(α)
ϕ : F (x) → K, 7→ .
h(x) h(α)
∼
d imϕ = F (α), F (x) −→ F (α). 3œ/(ii), ϕ p •Ó
∼
F [x]/(f (x)) −→ F (α), x 7→ α.
dž
F (α) = F [α] = {g(α) | g(x) ∈ F [x]}.
dþã©Û, ·‚á•k
∼
·K5.6. XJ α 3 F þ‡ , K F (α) −→ F (x). XJ α 3 F þ“ê, K
•3 F [x] þĘ، õ‘ª f (x),
∼
F [x]/(f (x)) −→ F (α) = F [α].
§5.1.3 “ê*Ü 5Ÿ
d‚5“ênØ, ·‚á•k
[K : F ] = [K : M ] · [M : F ]. (5.1)
m Pn n
K ( aij βj )αi = 0. d {α1 , . . . , αm } ‚5Ã'•é¤k
P P
i, aij βj = 0.
i=1 j=1 j=1
d {β1 , . . . , βn } F -‚5Ã'• aij = 0.
nþ¤ã {αi βj | 1 6 i 6 m, 1 6 j 6 n} ´ K Š• F -‚5˜m Ä,
[K : F ] = mn = [K : M ] · [M : F ].
íØ5.11. [K : F ] = n, α ∈ K, K [F (α) : F ] | n, = α 3 F þ • õ
‘ª gê n Ø.
íØ5.12. XJ p •ƒê, [K : F ] = p, α ∈ K, α ∈
/ F , K K = F (α).
·K5.13. k•*Ü=•k•)¤“ê*Ü.
·Ky..
αn + an−1 αn−1 + · · · + a1 α + a0 = 0, ai ∈ M.
=α3F þ “ê.
§5.1.4 • Ó †Ó
½Â5.16. K, K 0 • F *•. •Ó ϕ : K → K 0 ¡• F -Ó (F -
isomorphism), ´• ϕ 3 F þ •›•ð N . XJ K = K 0 , ¡ ϕ ••
K F -gÓ (F -automorphism).
n
X n
X
i
0 = ϕ(f (α)) = ϕ(ai α ) = ai ϕ(α)i = f (ϕ(α)).
i=1 i=1
·Ky..
∼
·K5.18. XJ ϕ : F (α) −→ F (β), Ù¥ϕ(α) = β … ϕ|F = id, K α † β
3F þkƒÓ ØŒ õ‘ª.
§5.1.5 “ê4•†“êµ4•
ϕ : L(α) → ϕ(L)(β) ,→ K2 , α 7→ β
S K
SK1.1. F/K •• *Ü, u ∈ F ´ K þ Ûg“ê ƒ. ¦y K(u) =
K(u2 ).
2πi
SK1.2. p •ƒê, ¦*Ü Q(ζp )/Q Ú Q(ζ8 )/Q gê, Ù¥ ζn = e n
SK1.16. F •A p •, p •ƒê. c ∈ F .
(1) y² xp − x − c 3 F [x] ¥ØŒ …= xp − x − c 3 F ¥ÃŠ.
(2) echarF = 0 ž, Á¯(1) ¥(Ø´ÄE,¤á?
√
SK1.17. F •A Ø• 2 •, y² F z‡ g*Üþk/ª F ( a), a ∈
F . XJ charF = 2, K(شĤá?
§5.2 º5Šã¯K
3 !, ·‚A^•*Ü•£5£‰ ;AÛ¥ º5Šã¯K. ^5
‰Šó5`:
y². ©ü«œ¹:
(i) A ∈ l. - B • l þ,˜Œ E:, ± A • %L B Š l u
: C. ± B, C • %©OL C, B Š u: D, K†‚ AD † l R†(ã
5.1).
/ l. ± A •
(ii) A ∈ %, Œ E•Ý•Œ»Š l u B, C, ± B, C
• %©OL C, B Š u: D, K†‚ AD † l R†(ã 5.2).
y². L A Š l R‚ l0 , L A Š l0 R‚ l0 , K l0 † l ²1.
138 1ÊÙ •*ÜnØ
Ún5.26. ‰½ B 9L B †‚ l. éuE²¡þ?üŒ E: O, A, Œ
3lþ E: C, ¦ |BC| = |OA|.
ã 5.3: E½•‚ã
·K5.28. Œ Eê 8Ü F ¤R f•.
ã 5.4: ¦ÈÚ_
√
Ún5.29. XJ ¢ê α ∈ F , K α ∈ F.
y². Xã 5.5.
ã 5.5: ¦²•Š
Ún5.30.
Ai = (ai , bi ) (i = 1, 2, 3, 4) ´E²¡4:…Ù‹I3• K ¥.
√
KÏL§‚Š†‚† :‹I‡o3 K ¥, ‡o3 K( r) ¥, Ù
¥ r ∈ K.
y². L Ai † Aj †‚•
± Ai • %L Aj •
(x − ai )2 + (y − bi )2 = (aj − ai )2 + (bj − bi )2 .
?ا‚ := Ún.
Q = F0 ⊆ F1 ⊆ · · · ⊆ Fn = K,
Ù¥
140 1ÊÙ •*ÜnØ
(1) K ⊆ R.
(2) a1 , . . . , am ∈ K.
√
(3) Fi+1 = Fi ( ri ), ri ∈ Fi \Fi2 .
‡ƒ, e Q ⊆ F1 ⊆ · · · ⊆ Fn = K, …(3) ¤á, K K ¥ ƒŒ E.
íØ5.32. XJ a ∈ R Œ E, K a 3 Q þ“ê…•3 ê r ≥ 0,
[Q(a) : Q] = 2r . (5.2)
íØ5.33. ØŒU^º5Šã5?¿n © .
y². - ζp = cos 2π
p
+ i sin 2π
p
, ζp + ζp−1 = 2 cos 2π
p
,K
n
2r + 1 | p, = p Ø•ƒê. p = 22 + 1 • Fermat ƒê.
S K
SK2.1. e = þŒ±º5ŠÑ?
p4
√ √ √
(1) 3 + 5 8; 5
(2) √37−4 ; (3) 2 + 5 7; (4) x5 − 3x2 + 6 Š.
SK2.4. 3 6 n 6 10 • ê, K n >/´ÄŒº5ŠÑ?
§5.3 “êÄ ½n 141
§5.3 “êÄ ½n
3 !, ·‚y²Xe ½n, =¤¢“êÄ ½n.
αk = −a, ò x ^ αx “O, K
¤± xv ž,
Ún y.
|f (x)| an−1 a0
lim n
= lim |an + + · · · + n | = |an |,
|x|→+∞ |x| |x|→+∞ x x
142 1ÊÙ •*ÜnØ
S K
SK3.1. y² C[x] 4ŒnŽ†E²¡þ :˜˜éA. R[x] 4ŒnŽ
Œ±g,/éA E²¡þ Ÿo?
§5.4 k•• nØ
¤¢k••, = ƒ‡êk• •. dž¡k•• ƒ‡ê•k••
(order of finite field). e K •k••, K K A 7,´,‡ƒê p,
k Fp ,→ K • K f•. [K : Fp ] = n, K K ´ Fp þ n ‘•þ˜m,
n
|K| = p . ·‚kXeÚn:
eã½n´k••nØ Ä ½n.
½n5.41. •þ k•¦{+þ´Ì‚+.
G∼
= Z/n1 Z ⊕ · · · ⊕ Z/nk Z, n1 | n2 | · · · | nk ,
(2) •˜5d(3)á .
(4) du K × ´ q − 1
Ì‚+, éu α ∈ K, αq = α. du xq − x •õ
k q ‡Š, α ∈ K •Ù¤kŠ, xq − x =
Q
(x − α).
α∈K
144 1ÊÙ •*ÜnØ
(6) XJ K ⊇ K 0 , K K 0× ´ K × f+, pk − 1 | pr − 1. d
(pm − 1, pn − 1) = p(m,n) − 1 • k | r.
‡ƒ, e k | r, K
k r
K 0 = {x ∈ Fp | xp = x} ⊆ K = {x ∈ Fp | xp = x}.
(7) Äk σ : Fq → Fq , x 7→ xp •• Fq gÓ . Ùg, e ϕ : Fq → Fq
•gÓ , d ϕ(0) = 0, ϕ(1) = 1, ·‚• ϕ|Fp = id. - Fq = Fp (α), Ù¥ α
• F×
q )¤ . - f (x) • α • õ‘ª, deg f = r, …
r−1
= ϕ(α) •´ f (x) Š. qdu σ ∈ Aut(Fq ), σ(α) = αp , . . . , σ r−1 (α) = αp
r−1
•´ f (x) Š. du f (x) | xq − x Ã-Š, α, αp , . . . , αp • f (x) ¤k
Š, =
r−1
f (x) = (x − α)(x − αp ) · · · (x − αp ).
k
¤± ϕ(α) = αp = σ k (α), ϕ = σk .
§5.4 k•• nØ 145
(2) e Fp • Fp “ê4•, K
[
Fp = Fpr
r∈N
… Fp r ⊆ Fp m …= r | m.
~5.42. α, β • Fp [x] ¥ x2 − 2, x2 − 3 Š. Á¦ p = 5, 7 ž, α + β
÷v • õ‘ª.
g(x) = bk xk + · · · + b1 x + b0 , h(x) = cl xl + · · · + c1 x + c0 .
d p | b0 9 p | c0 • p2 | b0 c0 = a0 , †®•gñ.
146 1ÊÙ •*ÜnØ
S K
SK4.1. E˜‡ 8 •¿ ѧ \{LÚ¦{L.
Ún6.1. e Fe ••*Ü, … ϕ : K → K
K/F , K/ e ••Ó … ϕ(F ) ⊆ Fe.
e f (x) ∈ F [x], P ϕ(f (x)) = fe(x), Ke α ∈ K • f (x) Š, K α
e = ϕ(α)
7• fe(x) Š.
AO/, e F = Fe, σ • K
K = K, F -gÓ , Ke α ∈ K •
f (x) ∈ F [x] Š, σ(α) 7• f (x) Š.
α + α0 = −b, α · α0 = c,
149
150 18Ù Galois nØ
3 Ù¥, ·‚òAOy²Xe½n
§6.1.2 Œ©õ‘ª†Œ©*Ü
K
f 0 (x) = nxn−1 + (n − 1)an−1 xn−2 + · · · + a1 = 0,
~6.13. k••Ñ´ •.
·K6.14. XJ F ´ •, K F þ¤kõ‘ªÑ´Œ©õ‘ª.
y². XJ F ´ •, e
·‚òy²
½n6.17. k•Œ©*ÜÑ´ü*Ü.
§6.1.3 5*Ü
ϕ1 (α) = α
e, ϕ1 |F = ϕ. (6.2)
∼
ϕ1 : F (α) −→ Fe(e
α), e … ϕ1 |F = ϕ.
ϕ1 (α) = α
•˜5d(6.2)á .
·‚òy²Xe½n.
´˜˜éA, Ù_•
L 7−→ G(K/L)
…e H = G(K/L), K
[K : L] = |H|, [L : F ] = (G : H).
dže H = G(K/L), K
G(L/F ) ∼
= G/H.
S K
SK1.1. F = Fq • q k••, (n, p) = 1, E • xn − 1 3 F þ ©
•. y² [E : F ] u÷v n | q k − 1 • ê k.
§6.1 Galois nØ Ì‡½n 155
§6.2 •§ Galois +
·‚Äk¦^þ!nØ5?Ø•§ Galois +.
§6.2.1 ng•§ © •
K
α1 + α2 + α3 = 0
α1 α2 + α2 α3 + α3 α1 = p
= −q
ααα
1 2 3
·‚k•*Ü
F ⊆ F (α1 ) ⊆ K = F (α1 , α2 , α3 ),
Ù¥ [F (α1 ) : F ] = 3 [K : F (α1 )] = 1 ½ 2. G = G(K/F ), K G Š^
38Ü {α1 , α2 , α3 } þ. e σ ∈ G, σ(αi ) = αi , K σ Š^3 K þ•ð N ,
¤± G 3 {α1 , α2 , α3 } þ Š^´§¢Š^, ·‚kü i : G ,→ S3 .
du S3 ¥•˜ 3 f+´ A3 ,e K = F (α1 ), K G = {1, σ, σ 2 },
7 α3 . e [K : F (α1 )] = 2, K G ∼
Ù¥ σ : α1 7→ α2 → = S3 . -
Ke G ∼
= A3 , éu τ = (ij) ∈ S3 , τ ∆ = −∆. ·‚k F 6= F (∆) ⊆ K A3 .
d Galois nØÄ ½n, [K A3 : F ] = (S3 : A3 ) = 2, K A3 = F (∆). e
G = A3 , Ké?¿ σ ∈ A3 , σ∆ = ∆, ¤± ∆ ∈ F .
nþ¤ã, ·‚k
§6.2.2 ˜„œ¹
f (x) = (x − α1 ) · · · (x − αn ), αi ∈ K,
K = F (α1 , . . . , αn ).
y². -
Y √
∆= (αi − αj ) = D,
16i<j6n
Ún6.30. e f (x) = (x − α1 ) · · · (x − αn ), K
n
n(n−1) Y
D = D(f ) = (−1) 2 f 0 (αi ). (6.4)
i=1
y². d f (x) = (x − α1 ) · · · (x − αn ),
n Y
X
0
f (x) = (x − αj ),
i=1 j6=i
¤± f 0 (αi ) =
Q
(αi − αj ),
j6=i
n
Y n(n−1) Y
D(f ) = 2
(αi − αj ) = (−1) 2 f 0 (αi ).
16i<j6n i=1
§6.2.3 é¡õ‘ª
½Â6.34. õ‘ª
X
pk = xi 1 xi 2 · · · xi k (6.6)
16i1 <i2 <···<ik 6n
- F = E(p1 , . . . , pn ), K K ´õ‘ª
Gal(K/F ) ∼
= Sn .
·‚k
f (x1 , . . . , xn ) = g(p1 , . . . , pn ).
h(x1 , . . . , xn ) •é¡õ‘ª. 5¿
ai1 ,...,in = 0.
§6.2 •§ Galois + 161
Gal(K/F ) ∼
= Sn .
y². s1 , . . . , sn • f (x) Š, K
σ : E[t1 , . . . , tn ] → E[p1 , . . . , pn ], ti 7→ pi .
du x1 , . . . , xn •™½ , •3‚Ó
τ : E(x1 , . . . , xn ) → E(s1 , . . . , sn ), xi 7→ si .
[K : F ] = [F (s1 , . . . , sn ) : F ]
Yn
= [F (s1 , . . . , si ) : F (s1 , . . . , si−1 )] 6 n!,
i=1
S K
162 18Ù Galois nØ
§6.3 Galois *Ü ˜ ~f
3 !, ·‚ò•[ùã Galois *Ü ˜ ~f.
§6.3.1 © *Ü
•Œ©õ‘ª.
§6.3 Galois *Ü ˜ ~f 163
Gal(Q(ζpm ) : Q) ∼
= (Z/pm Z)× .
¯¢þ, ζpm ÷võ‘ª
m
xp − 1 m−1 m−1 m−1
Φpm (x) = pm−1 = xp (p−1) + xp (p−2) + · · · + xp + 1.
x −1
Gal(Q(ζn )/Q) ∼
= (Z/nZ)× .
K
p−1
Y
D(f ) = (−1) (p−1)/2
f 0 (ζpi ).
i=1
(p−1)i
d f (x)(x − 1) = xp − 1 • f 0 (ζpi )(ζpi − 1) = pζp , f 0 (ζpi ) = pζp−i /(ζpi − 1),
p−1
Y
D = (−1) (p−1)/2
f 0 (ζpi ) = (−1)(p−1)/2 pp−2 ∈
/ Q2 ,
i=1
√ p
M = Q( D) = Q( (−1)(p−1)/2 p).
n
·K6.38. p •ƒê, K p >/Œ±º5ŠÑ …= p = 22 + 1 •
Fermat Đ.
n
y². íØ 5.34 ®²y²Ù7‡5. ‡ƒ, e p = 22 + 1 • Fermat ƒ
ê, K Gal(Q(ζp )/Q) ∼
n n
= Z/22 Z • 22 Ì‚+. d Galois nØ, •3
Q = K0 ⊆ K1 ⊆ · · · ⊆ K2n = Q(ζp ), ¦ [Ki+1 : Ki ] = 2, ζp + ζp−1 Œ
E.
§6.3.2 Kummer*Ü
ϕ : Gal(K/F ) −→ Z/nZ
σ 7−→ i mod n.
§6.3.3 k•• *Ü
F = Fq • q k••, K q = pf , p •ƒê. X [K : F ] • n gk
•*Ü, K K ∼
n
= Fqn • q n •, §´õ‘ª xq − x © •, K/F ´
Galois *Ü. dk•• Ä ½n, K/Fp • nf gÌ‚+, § ˜‡)¤
´ Frobenius N σp : x 7→ x . ·‚k
p
S K
SK3.1. F ••, c ∈ F , p •ƒê.
(1) charF = p ž, y² xp − c 3 F [x] ¥ØŒ …= xp − c 3
F ¥ÃŠ.
(2) charF 6= p ž, y² F k p ‡ØÓ p gü Š. ddy²
xp − c 3 F [x] ¥ØŒ …= xp − c 3 F ¥ÃŠ.
SK3.3. E • x4 − 2 3 Q þ © •.
(1) Á¦Ñ E/Q Ü¥m•.
(2) Á¯= ¥m•´ Q Galois *Ü? = •*d Ý?
y²:
ζpa = 0.
P
(1)
a∈Fp
(2) g · g = p, Ù¥ g ´ g E Ý.
p
(3) g = ± (−1)(p−1)/2 p.
(4) Q(ζp ) k•˜ gf• K = Q(g).
§6.4 •§ ŠªŒ)5
Galois nØ •Ð•-‡ A^´^5£‰˜„ n g•§´Äk¦Š
úªù˜ ;êƯK. Galois •gŽ=´òd¯KÏL Galois nØ
Ä ½n, =†•+دK.
·‚Äkk½Â:
¦ K ⊆ Fn .
e•3Šª*ÜS , ¦ F1 = F, Fn = K, ¡ K/F kŠª*Ü©
(radical extension towel).
! ̇½n´:
Gn = {1} C Gn−1 C · · · C G1 = G
¦ Gi /Gi+1 þ´C +.
§6.4 •§ ŠªŒ)5 167
• Œ)+ f+Úû+þ´Œ)+.
3• F (t1 , . . . , tn ) þŠªØŒ).
di = c1 + c2 ζpi + · · · + cp ζp(p−1)i ∈ K,
du c1 , · · · , cp Ø3 F ¥, ˜½•3 di ∈ K di ∈
/ F. d = di , K
K = F (d), dp ∈ F .
168 18Ù Galois nØ
σ(αi ) = αj ∈ {α1 , . . . , αn },
σ(K) = K, ¤±
F = F1 ⊆ F2 ⊆ · · · ⊆ Fn
¦ Fn ⊇ E. Fi = Fi−1 (di ), dm
i
i
∈ Fi−1 . ·‚•Iy² Fn 3 F þ
54• M/F •3Šª*Ü©.
fi (x) ´ di 3 F þ ØŒ õ‘ª, di1 = di , . . . , dij •§ ¤kŠ,
K M = F (di j). - M1 = F1 , Mi = Mi−1 (di1 , . . . , dij ). •‡y² Mi /Mi−1
•3Šª*Ü©=Œ. éu i = 2, ·‚k
F1 = F (ζ) ⊆ F2 ⊆ · · · ⊆ Fn = E(ζ).
S K
◦
SK4.1. ò cos 20◦ Ú cos 360
7
L«¤Šª/ª.
170 18Ù Galois nØ
n‡Š•
t1
x1 = + α + β,
3
t1
x2 = + ωα + ω 2 β,
3
t1
x3 = + ω 2 α + ωβ,
3
Ù¥ p = − 31 t21 + t2 , q = − 27
2 3
t1 + 13 t1 t2 − t3 ,
r
q p
α = 3 − + (q/2)3 + (p/2)3 ,
2
r
q p
β = 3 − − (q/2)3 + (p/2)3 , αβ = −p/3.
2
SK4.3. ¦e •§3Eê• C ¥ Š:
(1) x3 − 2x + 4 = 0;
(2) x3 − 15x + 4 = 0;
(3) x4 − 2x3 − 8x − 3 = 0.
§6.5 ̇½n y²
3 Ö, ·‚ò‰Ñ1 §6.1 !¥¤ã A‡Ä ½n y².
y². - K = F (α1 , . . . , αn ).
e F •k••, K K •´k••. x •Ì‚+ K × )¤ , K K =
F (x). e¡·‚b F •Ã••. d8Bb , ·‚•‡y² F (α, β) = F (γ)
=Œ.
§6.5 ̇½n y² 171
αi + xβj = α1 + xβ1
αi + cβj 6= α1 + cβ1 .
|Gal(K/F )| | [K : F ].
|Gal(K/F )| 6 [K : F ] = |G|,
L = σL é¤k σ ∈ G ¤á. ·‚ +Ó
π : G → Gal(L/F )
S K
SK5.1. E = C(t) •kn¼ê•, σ, τ ∈ G = Gal(E/C), Ù¥ σ(t) = ζ3 t,
−1
τ (t) = t . y²:
(1) τ Ú σ )¤ + H ´ G 6 f+;
(2) Inv(H) = C(t3 + t−3 ).
Gal(LM/M ) ∼
= Gal(L/L ∩ M ).
177
178 ¢ Ú
+, 15 Bezout ‚, 114
;.+, 15 ü , 84
ü +, 85
é¡õ‘ª, 159
pd ê‚, 116
é¡+, 43
¹N‚, 81
õ‘ª gê, 119
†‚, 82
$Ž, 5
ŒØ‚, 82
© ,6 îAp ‚, 114
N û½ © , 7 •˜Ïª©)‚, 110
ê, 45 ‚, 85
© ¼ê, 45 ÌnŽ ‚, 92
© , 152 ‚Ó , 89
© •, 152 ‚Ó , 89
© Æ, 81 ü, 89
÷, 89
EÜÆ, 5 † f, 70
pdÚ, 165 Ä, 74
pdƒê, 116 Ä é¡õ‘ª, 159
pd ê, 116
ŠªŒ), 166 4ŒnŽ, 103
Šª*Ü©, 166 4ŒÌ, 103
4Œ , 109
Ý, 36 8Ü, 1
Ýa, 36, 57 Ø ¿, 2
Ý , 36 8Ü ¿, 2
ÝŠ^, 57, 59 8Ü Ö8, 2
; , 51 8Ü (k È, 3
8Ü ,2
¼ê, 4
,1
Ø, 36, 91
˜8, 1
z"õ‘ª, 130 Õ8, 1
‚ ƒ ,1
¢ Ú 179
Ω , 152
˜ ƒ, 102
Œ E, 137
, 102
Œ Eê, 137
¥%, 102
Œ)+, 166
Œ[Š^, 51 +, 38
SgÓ , 41
*Ü, 129
SgÓ +, 41
‡ *Ü, 131
_
“ê*Ü, 131
Œ_, 84
ü*Ü, 131
mŒ_, 84
g*Ü, 149
m_, 84
Šª*Ü, 166
†Œ_, 84
Œ©*Ü, 152
†_, 84
*Ügê, 131
ng*Ü, 150 Úî ‘ª½n, 84
V g*Ü, 150 ìA5Ÿ, 112
Õ*Ü, 131 îAp ‚, 114
180 ¢ Ú
, 10 ƒÌ, 103
_ ,9 ƒ , 109
+ ¦{, 9 A , 93
Ì‚, 24 N, 82
k•+, 10
k•)¤, 24 Ó
k•)¤gdC +, 73 ‚, 89
k•)¤gd+, 69 +, 19
˜†+, 13 Ó
¥%, 36 +Š^p , 54
gdC +, 73 Ó Ä ½n, 38
gd+, 69 •, 151
N ,9
-½f+, 52
+Ó , 19
+Ó , 19 ‚5 f, 126
ü, 19 ‚5+
÷, 19 Zþ AÏ‚5+, 16
NÈ, 122 Z/N Zþ AÏ‚5+, 16
¢ Ú 181
˜˜éA, 5 k Ó†, 43
ÌnŽ ‚, 92
ÌÓ{f+, 39
f‚, 86
f+, 14
† f+, 70
Ûf+, 76
²…f+, 14
ýf+, 14
5f+, 36
f•, 86
gÓ , 20
gÓ +, 20
•ŒúÏf, 111
• õ‘ª, 130
†¦Š^, 56
† 8, 26
†p L«, 53