传统的Galois理论在证明5次以及以上多项式无求根公式时所使用的群论并不直观,通常需要用一些特例去逐个构造证明过程,而且这些过程均是特异的,彼此之间并不可重用。这是因为Galois理论在应用时基于扩域操作,这一自底向上的操作通常是基于特定的目标多项式,并不具有普遍性。因此,在应用的时候非常不方便,且理解起来很晦涩难懂。
Galois理论之核心在于域与域的Galois群之间的同构关系。也就是说把对于无限的域的研究转换成对于有限的,域导出的群的,研究。那么一个关键问题就是,Galois群里面的元素到底是什么。
我们知道,韦达定理确定了根与系数的关系。然而这是一种对称多项式,也就是说,在系数域中,我们无法区分不同的根。而求根公式存在之意义就是要打破这种对称性。所谓打破对称性,简单的说,就是对于每个根找到一个symbolic expression,这个expression是唯一的,不同的根就是通过这个expression来区分的。如果可以找到这样一个东西,那就说明我们找到了求根公式。
就比如说根号这个符号,它的意义是什么呢?因为我们无法在系数域中区分不同的根,为什么呢?假设根,那么任意两个根
之间的对换并不会改变系数的值,它们只能改变求根公式