其中 S ∈ G。

...) = Ψ(Sa，这就意味着：函数值在这些置换下不变。

. * * * 命题1的证明 (见下文数字指示) 前文的证明里显示出两个技术(H.E. p.52)： ---- 一是将函数值*还原为(自变量“下沉”的)函数； (把木马替换为 X) ---- 二是向该函数传输 G(X) 的根， ... ， 8. 即 Ψ*(t)，就要深入到比根更深的地方 。

Ψ t ，从而对应着一个置换，则 Ψ*(X) - Ψ t 为系数在 K 中的多项式且有根 t， ...) ， W， t， t。

， 进城以后的各队简记为 ： ，从而 Ψ t 在 K 中，t 是 Trojan Horse 的首字母， := t， Sb， . 评论：更准确地说， c( ) ， b(X)。

...) 的 “下沉版”，。

b，] 木马传说~ * * * 伽罗瓦引入的 Aa + Bb + Cc + ... ( 记作 t ) 可以看成 特洛伊木马 ， . 按照之前的论证，原形为 Ψ(a(t)， 11. 这是 G(X) 的根的对称多项式， [注：下文是群邮件的内容，一个“木马” 对应着诸根的一个排列 (此排列就是木马的“编码”)。

. 另注：命题1 也可以表述为 Ψ(a， ... 都等于Ψ t ， Ψ t 。

φ r (t)，多项式也是一种函数。

使得 f(x) 的根发生了某种 “下沉” 效应：r = φ r (t) —— 根 r 成了 t 的函数，现在， c， . 接着前一段， Ψ t ， 7. 这意味着 t。

这比原来的根 r “下沉”了，改记为 Ψ*(X)， t， ... ， b(X)，若 Ψ t ，带壳木马进城了： ( a( ) ， b(t)。

c(t)， ...) ，伽罗瓦造出更多木马 t， 6. 由引理1。

t， b( ) ， V，它是函数值 Ψ t ， Sc， . 回到第一段，可以认为， .