从Galois理论谈起[共27页].docVIP

从 Galois 理论谈起 , 100190 : wwli@ : 2015-11-15 目录 1 域论回顾 2 2 Galois 对应 3 3 应用: 作图问题 4 4 拓扑学中的类比 5 5 范畴语言 7 6 线性常微分方程与单值作用 9 7 统合: 淡中对偶理论 11 8 微分 Galois 理论一瞥 12 参考文献 14 缘起 文 2014 12 12 学学 (中) 的一 , 的. Galois 理论程的. 一 Galois 理论, 常的题. 目的学应的, 顾, 的理论, 一. , ; 的, 理应. 的, 学, . Galois 理论起, 一程的, [11] 的分 . 学的, : “” , 的. 1 1 域论回顾 Galois 理论的域论语言, E. Steinitz 20 . 理论一 学, [11]. 单回顾. ? 域, , , (分) 的, 合, 分性; : xy = yx. 言, 一域 (F, +, · ) 一 的; 单 1. 用的: Q (理域) , R ( 域) , C (域) . ? 域 F X 的的 F[X], 理域 F(X), 的, F[X, Y ] . ? F E 的域 (: F 对 E 中的 +, ?, · ) , E/F. E F 的域, ? E, F 域, ? : F → 的域. E 单, ? 域的, ?(F) E ? 域 E/F 的 [E : F] dimF E, E F-. ? , 对 α ∈ E F- F[X] 中的 Q Q(α) = 0, α F 的: Q 的. P ∈ F[X] {Q ∈ F[X] : Q(α) = 0} = (P) := P · F[X], α 的; P F× 中的比常的一的. α ∈ 的, E/F . E F , 的问题的. , P ∈ F[X], “” 域 E/F P E 中; P F , 的 一: 考 F[X]/(P) c + (P) E := F[X]/(P) ∈ c ∈ F E 域, F 的域; α := X + (P) ∈ deg P. 作分的 L/F, E P(α) = 0, [E : F] = ? P L 分一的, ? L 作 F 的域 P 的. 的 L/F P 的分域. P 的分域一 F-的一. F-? F 的域的 ? : L → L′ 图 ? L L′ F , ? F-, 理 F-. 一一 { 域, 中 I , 一性. Pi ∈ F[X]} i∈I 的分 2 对的, 的的域 L/F ? L/F , L F 一的分域; ? L/F 分, 对 α ∈ L P ∈ F[X] P(α) = 0 , 的 Galois , 应的 Galois Gal(L/F) P . Gal(L/F) := {F- L → 中的的合. L} , 对 P ∈ F[X], Gal(L/F) P L 中的, 对 σ ∈ Gal (L/F) α ∈ L, P(α) = 0 ?? P(σ(α)) = σ(P(α)) = 0. L P 的分域, 作用 Gal(L/F) {P 的的} 的. Galois 的: Galois ≈ 的对 Galois 的理. 定理 1.1 P ∈ Gal(L/F) . F[X] , L, P(X) = 0 用. ? 一方程. P(X) = X5 ? 对 S3, . 6X + 3 ∈ Q[X] 的 Galois Gal (L/F) ? 一 n P(X) = Xn + a 0 的 (), n?1X n?1 + · · · + a “一” 的 a 1 , 论的 0, . . . , an? P ∈ k(a 0, . . . , an? 0, . . . , an? 1), 中 k 的域 F := k(a 1) n 理域. P F , Gal(L/F) ? Sn. , 方程一的. 2 Galois 对应 的, 性的, Galois 理论的的 Galois 对应. 定理 2.1 L/F Galois , [L : F] ∞; G := Gal(L/F), {H ? G : } ←→ {F ? E ? L : } H ?→ L H := {α ∈ L : ?σ ∈ G, σ(α) = α} Gal(L/E) ←? E. , H ? G E/F Galois . 注记 2.2 对 Galois L/F, E → Gal (L/E) 单. 理的一 G = Gal(L/F) 的拓扑, Krull 拓扑; [L : F] Krull 拓扑 拓