||
[注:下文是群邮件的内容,标题出自内文。]
木马传说~
* * *
伽罗瓦引入的 Aa + Bb + Cc + ... ( 记作 t ) 可以看成 特洛伊木马。恰好,t 是 Trojan Horse 的首字母。(字母 t 是 Edwards 引入的,但不清楚他是否有前述观点)。
.
引入 t,使得 f(x) 的根发生了某种 “下沉” 效应:r = φr(t) —— 根 r 成了 t 的函数。特别地,f(x) 换个写法:f(φr(X)),使得 t 成了根,这比原来的根 r “下沉”了。这似乎暗示了一种 “哲学”:为了把问题 “连根拔起”,就要深入到比根更深的地方。
.
回到第一段。伽罗瓦造出更多木马 t, t', t'', ... 又给它们加上了 “壳”φr(t), φr(t'), φr(t''), ... 俨然组成一列纵队!现在它们可以进城了:f(φr(X)) ... 嘣 嘣嘣 嘣嘣 嘣嘣嘣 ... 壳裂开了... 变出了伽罗瓦群 ... 哗...
.
a(♘) b(♘) c(♘) ...
a(♘) b(♘) c(♘) ...
a(♘) b(♘) c(♘) ...
...
伽罗瓦群:带壳的木马纵队 (♘:= t, ♘:= t', ♘:= t'', ...)
* * *
命题1:Ψt ∈ K <==> Ψt = Ψt' = Ψt'' = ...。
.
此命题考察:依次用φ-阵列 的各行替换 n 元多项式 Ψ(U, V, W, ...) 中的变量之效应。此处 K 也称作 已知量 的集合。
.
通俗来讲,多项式也是一种函数,我把它看作 “城堡”(♖:= Ψ)。现在,带壳木马进城了:♖(a(♘) , b(♘), c(♘), ...) ,第一队进城;♖(a(♘) , b(♘), c(♘), ...) ,第二队进城;♖(a(♘) , b(♘), c(♘), ...) ,第三队进城;等等。
.
按照之前的论证,一个“木马” 对应着诸根的一个排列 (此排列就是木马的“编码”),从而对应着一个置换。可以认为,木马是含而不宣的自同构置换。这是一个有意思的地方。
.
接着前一段。进城以后的各队简记为:♖♘, ♖♘, ♖♘, ... 。它们呀,只不过是一些函数值:Ψt, Ψt', Ψt'', ... 。命题1说,Ψt 是 “已知量” 当且仅当 这些函数值全都相等。现在解释后半句——
.
眼睛盯着 Ψt ,把 t 依次替换为 t', t'', ...上面后半句是说:(在这个过程中) 函数值保持不变。进一步,由于每个 t 相当于 (含而不宣的) 自同构置换,这就意味着:函数值在这些置换下不变。
.
评论:更准确地说,t, t', t'', ... 是相应的自同构置换的 “表述” (presentation)。顺带,上图的“伽罗瓦群” 也是 “表述” 意义上的群。注:Edwards 的书里强调了后者。
.
* * *
命题1的证明 (见下文数字指示)
前文的证明里显示出两个技术(H.E. p.52):
---- 一是将函数值*还原为(自变量“下沉”的)函数;(把木马替换为 X)
---- 二是向该函数传输 G(X) 的根。(传输其它木马到该函数)
星号注:此处的函数值是 “木马进城” 后得到的。
.
1. 从进城后的各队中任取一队(见上文橙色字体),比如 ♖♘,它是函数值 Ψt。
2. Ψt 是简记,原形为 Ψ(a(t), b(t), c(t), ...)。
3. 将上述函数值还原为函数: Ψ(a(X), b(X), c(X), ...)。
4. 上述函数是 Ψ(U, V, W, ...) 的 “下沉版”,改记为 Ψ*(X)。
简记: Ψt ~ Ψ(a(t), b(t), c(t), ...) ~> Ψ(a(X), b(X), c(X), ...) ~ Ψ*(X).
(以上是证明的准备阶段)
5. 若 Ψt 在 K 中,则 Ψ*(X) - Ψt 为系数在 K 中的多项式且有根 t。
6. 由引理1,G(X) 整除 Ψ*(X) - Ψt。
7. 这意味着 t', t'', ... 都是 Ψ*(X) - Ψt 的根。
8. 即 Ψ*(t'), Ψ*(t''), ... 都等于 Ψt。
注:此处 Ψ*(t'), Ψ*(t''), ... 就是 Ψt, Ψt', Ψt'', ... 。
(以上是证明的正向部分)
9. 反之,若 Ψt, Ψt', Ψt'', ... 都相等 (假设有 k 个值)...
10. 则 Ψt = 1/k (Ψt + Ψt' + Ψt'' + ... ) = 1/k (Ψ(t)+ Ψ(t') + Ψ(t'') + ... )。
11. 这是 G(X) 的根的对称多项式,从而可用 G(X) 的系数表示。
12. 由于这些系数在 K 中,从而 Ψt 在 K 中。
(以上是证明的反向部分)
.
评论:以上证明的三个部分(准备、正向、反向) 各自都有关键构造,如绿色字体所示。
.
另注:命题1 也可以表述为 Ψ(a, b, c, ...) ∈ K <==> Ψ(a, b, c, ...) = Ψ(Sa, Sb, Sc, ...),其中 S ∈ G。(以上 Edwards 的处理不采用“置换”的概念有高明和方便之处)。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-26 14:40
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社