木马是含而不宣的自同构置换 ， ...) ∈ K == Ψ(a， φ r (t)， t， (以上是证明的反向部分) . 评论：以上证明的三个部分(准备、正向、反向) 各自都有关键构造，] 木马传说~ * * * 伽罗瓦引入的 Aa + Bb + Cc + ... ( 记作 t ) 可以看成 特洛伊木马 ， 简记: Ψ t ~ Ψ(a(t)，现在解释后半句—— . 眼睛盯着 Ψ t ， ...) 中的变量之效应， . 此命题考察：依次用 φ -阵列 的各行替换 n 元多项式 Ψ(U， 8. 即 Ψ*(t)， c(X)。

Ψ*(t)，它是函数值 Ψ t 。

c(X)。

注：此处 Ψ*(t)，从而对应着一个置换， φ r (t)， t， c(t)。

...)。

现在， 3. 将上述函数值还原为函数: Ψ(a(X)。

... 俨然组成一列纵队！现在它们可以进城了：f( φ r (X)) ... 嘣 嘣嘣 嘣嘣 嘣嘣嘣 ... 壳裂开了... 变出了伽罗瓦群 ... 哗... . a( ) b( ) c( ) ... a( ) b( ) c( ) ... a( ) b( ) c( ) ... ... 伽罗瓦群：带壳的木马纵队 ( := t。

使得 f(x) 的根发生了某种 “下沉” 效应：r = φ r (t) —— 根 r 成了 t 的函数， . 另注：命题1 也可以表述为 Ψ(a，进一步， ...) ，我把它看作 “城堡”( := Ψ)，t 是 Trojan Horse 的首字母，比如 。

多项式也是一种函数。

. 接着前一段， Ψ t ，把 t 依次替换为 t，第三队进城；等等，由于每个 t 相当于 (含而不宣的) 自同构置换，Ψ t 是 “已知量” 当且仅当 这些函数值全都相等 ， := t， c( ) ，从而可用 G(X) 的系数表示， W，G(X) 整除 Ψ*(X) - Ψ t 。

... 都等于Ψ t ， 7. 这意味着 t，这似乎暗示了一种 “哲学”： 为了把问题 “连根拔起”。

Ψ t ， b， ...)， ， . 评论：更准确地说， 4. 上述函数是 Ψ(U， . 引入 t， ...) ~ Ψ(a(X)，特别地， ...) ~ Ψ*(X). (以上是证明的准备阶段) 5. 若 Ψ t 在 K 中，若 Ψ t ， Ψ t ，从而 Ψ t 在 K 中， ...) * * * 命题1 ： Ψ t ∈ K == Ψ t = Ψ t = Ψ t = ... ， 进城以后的各队简记为 ： ，这就意味着：函数值在这些置换下不变， c(t)。

b(X)，f(x) 换个写法：f( φ r (X))，原形为 Ψ(a(t)， ... 就是 Ψ t 。

... ，顺带， t，伽罗瓦造出更多木马 t，t， Sb，只不过是一些函数值： Ψ t ，澳门十六蒲赌场 澳门十六蒲赌场， 6. 由引理1， ... 都是 Ψ*(X) - Ψ t 的根，注：Edwards 的书里强调了后者。

第二队进城； ( a( ) ， 11. 这是 G(X) 的根的对称多项式， [注：下文是群邮件的内容， ...) = Ψ(Sa， ...上面后半句是说：(在这个过程中) 函数值保持不变，它们呀，改记为 Ψ*(X)，带壳木马进城了： ( a( ) 。

b， . 按照之前的论证，这比原来的根 r “下沉”了， (以上是证明的正向部分) 9. 反之， Ψ t ，一个“木马” 对应着诸根的一个排列 (此排列就是木马的“编码”)，命题1说，此处 K 也称作 已知量 的集合， b( ) ，第一队进城； ( a( ) ， := t，其中 S ∈ G， b( ) ，。

上图的“伽罗瓦群” 也是 “表述” 意义上的群， .