群论系列(二):数域的扩张

有了群的一些基础知识,下面我们就该来讨论n次方程的根的问题了。在具体讨论这个问题之前,我们还得引入一些新概念,这些概念很多已经不再局限于群,属于抽象代数的范围了。这篇文章的内容有点进阶了,但本文定位于让读者对伽罗瓦理论有一个感性的认识,所以一般性的结论和证明都尽量不讲,读者有兴趣可以参阅维基百科或抽象代数的书籍。

数域的扩张

我们先来看另一个类似群的代数结构——
简单来说,域就是定义了加减乘除四则运算的集合(群则只定义了乘法)。我们不给出严格的定义,这篇文章也只涉及数域,即上面的四则运算就是我们平时用的四则运算,而不是其他定义。

除了有限域之外,最小的数域是有理数域Q,因为它满足对除法封闭。(最小的域是只有两个元素{0,1}组成的有限域,但四则运算不是我们平时用的定义,如1+1=0,这里不讨论)当我们解方程ax+b=0;a,bQ时,所有解也落在这个域中,这很好,但到了二次方程,比如x22=0,我们知道解2是无理数,不在有理数域Q里了。这里初中老师说,我们扩充数域得到包括所有从负无穷到正无穷的数的新数域R。但这种方法简单粗暴,一下子让实数轴“充满”了。我们不妨先只让2和有理数参与四则运算,就能生成一个更大的域,记作Q(2),这个域中的每个数都能写作a+b2;a,bQ的形式,读者可以自行验证这个形式下的四则运算的封闭性。我们把给一个域k添加一些元素从而得到更大的域K的操作叫域扩张,记作K/k(其实意思就是kK)。扩域中的元素a+b2;a,bQ可以看成是原来域通过二维的线性组合得到的,我们把维数二叫做扩张的次数

域扩张Q(π)/Q的次数又是怎样的呢?由于乘法的封闭性,πn都应该在扩域当中。π2不一样,π超越数,所以πn不可能是有理数,所以数a0+a1π+a2π2+..得由无穷维线性组合得到。注意看似对于域Q(2)来说也有元素a0+a12+a222+a323..,但一旦角标大于1,就可以通过22=2来化简,因此这些线性组合不独立,虽然有无穷个向量,但最终只有两个线性独立的向量,对应向量空间的维数还是2。注意如果做除法导致分母也含有根式,我们可以进行分母有理化,但含π的超越数可不行。这种包含超越数的扩张会导致扩张的次数维无穷,我们叫无限扩张,比如QR也是无限扩张,而像Q(2)这种扩张叫有限扩张,我们只关心有限扩张。

中间扩张

回到我们关心的问题上来:我们希望五次方程的根有求根公式,这其实等价于五次方程的根能落在给定了一种结构的域扩张后得到的域中。在描述这些扩张前,我们先多看看一些简单的例子:

加入23生成的域K=Q(2,3),可以证明这个扩域K中的所有元素都能写成a+b2+c3+d6的形式。我们发现E1=Q(2)E2=Q(3)E3=Q(6)都是这个域的子域。由于这些域都是Q的扩域,所以E1E2E3就是在域Q和域K间的中间域。中间域在一定意义上代表了域扩张的结构。那给一个域扩张我们有什么通用的方法求中间扩张呢?

答案是:用群论!!

域扩张的自同构群(伽罗瓦群)

之所以能用群论研究五次方程根的问题,是因为研究域扩张的问题能转化成研究域扩张的自同构群的问题。什么是域扩张的自同构群?简单地说就是我们规定一些自同构映射,然后它们通过复合操作组成群,而域扩张K/k的自同构映射f定义为:

  • K到自身的双射(K中元素的一个置换操作,参看上一篇文章);
  • 保持域结构不变,结构即域上面的四则运算。比如f(a)+f(b)=f(a+b)f(a)f(b)=f(ab)等;
  • 额外要求(不然就和一般的域自同构群没区别了):置换操作必须保持原域k不变,即对所有akf(a)=a

为纪念数学家伽罗瓦,我们把满足一定条件(这里条件先暂时不管)的域扩张K/k的自同构群叫伽罗瓦群,并记为Gal(K/k)

定义有点抽象,我们多看几个例子(以下例子均来自于维基百科):最简单的例子,求Gal(Q(2)/Q):首先得找出自同构映射f:Q(2)Q(2)。注意不是随便给每个Q(2)中的元素指定不相同的元素就行,因为按定义置换操作必须保持原域k不变,而且要保持原域的结构:我们有22=2,就必须有f(2)2=f(22)=f(2)=2,所以解出f(2)可以取±2,这对应了两个自同构映射,其中f1(2)=2是恒等映射,f2(2)=2则把a+b2映射为ab2。它们通过复合操作形成的群同构于S2,即Gal(Q(2)/Q)=S2

再来一个稍微复杂点的:Q(2,3)。有了上次的经验,我们可以快速地给出四个映射(其核心是利用x2=x,xQ):

  • ee(2)=2e(3)=3(即恒映射)
  • aa(2)=2a(3)=3
  • bb(3)=3b(2)=2
  • abab(2)=2ab(3)=3

可以证明这就是所有自同构映射了。我们看到这四个元素构成了一个群,这个群的特点是所有元素都是二阶的,且任意两个非单位元的乘积等于另一个非单位元(比如aba=b),并且是交换群。它叫克莱因四元群

子群与中间扩张

我们现在看看不同中间扩张对应的自同构群之间有什么联系,现在有两个可能的思路:

  • 从下往上扩张:以最小的域Q为基准,考虑群Gal(Q(2,3)/Q)Gal(Q(2)/Q)Gal(Q(3)/Q)Gal(Q/Q)之间的关系;
  • 从上往下扩张:以最大的域Q(2,3)为基准,考虑群Gal(Q(2,3)/Q(2,3))Gal(Q(2,3)/Q(2))Gal(Q(2,3)/Q(3))Gal(Q(2,3)/Q)之间的关系。

由于从下往上扩张即一直以最小的域Q为基准,导致我们研究Gal(Q/Q)时根本没有23什么事,无法将它们作为一个整体连起来,所以我们选择考虑从上往下扩张,即以最大的域Q(2,3)为基准。

上图每个域K旁都标出了伽罗瓦群Gal(Q(2,3)/K)中的元素。我们看到一个域对应的伽罗瓦群是其子域对应伽罗瓦群的子群!这就是伽罗瓦理论基本定理。这很好理解:伽罗瓦群由保持原域不变的映射组成,所以原域扩大后,映射就会减少,从而形成原来群的子群。比如从QQ(2,3)本来能操作23,但从Q(2)Q(2,3)的伽罗瓦群中就不能再操作2了,所以仅剩{e,b}两个操作。

伽罗瓦扩张

我们再来看扩张Q(23)/Q。由于(23)3=2,所以我们要求映射f满足f(23)=2,但这个方程还有两个根是虚根,不会出现在扩域Q(23)中。这导致了满足要求的映射只有恒等映射,伽罗瓦群是平凡群{e}。感觉伽罗瓦群没有像我们期待的那样反映出扩张Q(23)/Q的三次结构,这正是前面我们略过的:只有满足一定条件的域扩张的自同构群才叫伽罗瓦群:我们不应考虑那种加入随便的数来扩充的域,而应该考虑恰好把一个多项式方程(多项式系数都取有理数)的所有根都加进去,(这种恰好添加一个多项式方程所有根而得到的域叫做分裂域,因为我们可以在扩域里完全分解开因式)我们把满足以上条件的扩张叫正规扩张,也叫伽罗瓦扩张(注:还好我们只研究数域,不然正规扩张不等价于伽罗瓦扩张,还需要可分扩张的条件。)可以证明,只有伽罗瓦扩张才能让域扩张与子群一一对应

回到前面,由于23是方程x3=2的根,这个方程还有两根23ω23ω2(其中ω=1/2+i3/2ω3=1)。所以我们最好考虑把问题换成求添加这三个根的扩域Q(23,23ω, 23ω2)Q的扩张,这样的扩张才“有利可图”。
为书写简便,记23=θ,下面我们写出联系θωQ的方程:

θ3=2     第一个方程的解为θθωθω2ω3=1     第二个方程的解为1ωω2

我们的自同构映射就是这些根的置换……但注意,1是有理数,我们必须保留不能置换1。所以自同构映射作用在θ上的结果有三种:θθωθω2,而作用在ω上的结果只能有两种:ωω2。这表明Gal(Q(23))/Q中元素有六个,可以表示为 {e, f, f2, g, gf, gf2}. 其中:
f(θ)=ωθ,;f(ω)=ω,g(θ)=θ,;g(ω)=ω2.注意这个群不是可交换群,因为fg=gf2
我们来画这个群的凯莱图:


眼熟吗?它同构于我们之前研究过的对称群S3
S3非平凡子群和陪集我们也在上一篇文章中讨论过了,这里再放一下结果:黑色表示子群,灰色为对应的陪集,只有第一个非平凡子群是正规子群黑色表示子群,灰色为对应的陪集,只有第一个非平凡子群是正规子群
这些非平凡子群与中间域的对应关系为:图片来自维基百科词条“伽罗瓦理论基本定理”图片来自维基百科词条“伽罗瓦理论基本定理”
注意平凡子群{e}对应平凡扩张,平凡子群{e, f, f2, g, gf, gf2}对应整个扩张,也不是中间扩张(我们也认为是平凡的中间扩张)。看来平凡子群刚好对应平凡扩张。
前面我们把恰好包含一个多项式所有根的扩张叫做正规扩张,它之所以叫“正规”难道是因为它跟正规子群对应?答案是肯定的!比如{e, f, f2}对应正规扩张Q(ω)/Q,有定理:

设域扩张kKE,其中K/kE/k都是正规扩张,则Gal(E/K)Gal(E/k)的一个正规子群,且Gal(E/k)/Gal(E/K)Gal(K/k)

等等!我们现在讨论了那么多,跟最初要研究的n次方程解的根式表示有什么关系?我们先把上面那个定理的证明放一边,看看怎样用域扩张的语言描述“n次方程解有根式表示”。

根式塔

首先,我们说一个数可以用有限的四则运算和不允许嵌套的平方根表示,其实等价于说一定存在一个数域K1=Q(u1,u2,..,un),(u1,..,unQ)使这个数落在其中。
说一个数可以用有限的四则运算和平方根表示,就默认了我们也可以嵌套平方根,如:
2+51+32+7 这时怎样构造扩域呢?答案是:一层一层的构造。比如我们先得到了包含只允许一层根号的域K1,然后我们在它的基础上再做一层根式扩张得到K2=K1(u1,u2,..,un),(u1,..,unK1)K2就代表能用两层平方根表示的数。这样层层扩张QK1K2Kn来描述根式嵌套的方法叫根式塔

n次方程解有根式表示的意思是说,解可以用系数有限的四则运算和根式表示。我们假定系数域为k,则它等价于解落在域塔
kK1K2Kn中,其中Ki+1=Ki(ui),uinKi,nZ,注意我们一次只添加一个元素,如2+3认为做了两次扩张,这种看法并不影响结果,甚至我们还能要求次数n为素数(质数),因为一个数的合数次方根可以用合数的质因数次方根的嵌套表示。
下面来看最大的域扩张Kn/k的伽罗瓦群:当然域扩张添加根uj时我们得把所有un=a,aKi的解加入使得扩张都是正规的(这并不影响我们希望的数落入其中或落入其它不希望的数)根据之前的定理,域塔的正规性对应着子群的正规性。如果一个域扩张对应的伽罗瓦群找不到对应结构的一系列正规子群,则这个域扩张肯定不是根式扩张,即这个扩张里的数无法用有限的四则运算和根式表示。

根式扩张的伽罗瓦群

下面我们来处理一些细节,比如对应结构的一系列正规子群到底需要什么结构?我们先看一层根式扩张的伽罗瓦群:Gal(k(u)/k),unk.
根据代数基本定理,方程un=a,ak,a0的根一定有n个,它们分别是{u,uω,,uωn1},ω=exp(2πi/n),ωn=1这里要分两种情况:ukuk

  • uk:这种情况说明能在数域k中开得尽方,所以u不能参与置换,我们只能对其余根置换。如果n是质数,我们就能证明
    所有映射fa(uω)=uωa,a<n组成了一个循环群Cn1:因为我们容易验证fafb(uω)=fbfa(uω)=uωa+b=fa+b(uω). (一个值得注意的细节是:如果n是合数,则这些映射的复合可能把uωa映射到uωn=1,这是我们不希望的,比如对应n=4,f2(uω2)=uω4=u,不符合映射固定u的要求。)
    比如我们取u=1,则表示添加了所有的n次单位根ω,..,ωn1的扩张。
  • uk:这种情况说明所有的根都能置换,但这里我们先假设单位根ω,..,ωn1已经被加进域k中了,我们就不做那些置换ωn但保留u不变的映射,只做u,uω,..,uωn1之间的映射。同样我们可以证明它们组成了循环群Cn.

总结一下就是:现在给定一个根式塔,我们先把所有根号拆成质数次方根式的嵌套,然后添加需要用到根式的所有n次单位根,再逐层添加根式得到最后的根式塔。根据前面的分析,*根式塔的每一步域扩张(它们都是正规扩张)的伽罗瓦群都是循环群

下面该用上我们还没证明的那个关于正规子群和正规扩张的定理了:

设域扩张kKE,其中K/kE/k都是正规扩张,则Gal(E/K)Gal(E/k)的一个正规子群,且Gal(E/k)/Gal(E/K)Gal(K/k)

(证明这个定理要用到群同构第一定理[+]显示详情

我们把这个定理用到根式塔上:kK_1..K_iE

Gal(E/K1)/Gal(E/K2)Gal(K2/K1)Gal(E/K2)/Gal(E/K3)Gal(K3/K2)Gal(E/Ki1)/Gal(E/Ki)Gal(Ki/Ki1)Gal(E/Ki)/Gal(E/E)Gal(E/Ki)

说明了Gal(E/K2)Gal(E/K1)的正规子群、Gal(E/K3)Gal(E/K2)的正规子群、……、Gal(E/E)={e}是Gal(E/Ki)的正规子群。我们得到了一个结论:Gal(E/K1)一定要有正规子群的正规子群的……的正规子群,最后得到平凡群{e},当然这些正规子群对应的商群都必须是循环群。我们把有这种结构的群叫可解群,也就是说添加可以用四则运算加根式表示的数得到的扩张的伽罗瓦群一定是可解群,如果不是,说明我们添加的数不是可以用四则运算加根式表示的数。

我们最后来看把一个五次方程的所有根都加入得到的域扩张的伽罗瓦群是怎样的:对于群元素f来说
f(x5+a4x4+..+a0)=f(0)=0f(x)5+a4f(x)4+..+a0=0
对于这个方程最一般的情况为5个不同的无理根。比如添加方程x54x+2=0所有根的域扩张的伽罗瓦群:它最多能置换所有的根,所以是群S5的子群,但容易验证方程x54x+2=0有两个共轭复根,说明我们至少可以交换这两根,即它包含阶数为二的群元,其实所有无有理根的五次方程的伽罗瓦群的元素个数一定是五的整数倍,(因为添加每个根z后的数域中的数都能唯一写成a+bz+cz2+dz3+ez4的形式[+]为什么?,说明了存在一个五次扩张。),而同时满足以上两个条件的子群就只能是S5自身了(我们将在下篇文章中分析S5的结构)。

我们将证明群S5不可解,即不存在前面叙述的那种正规子群列,到这里我们就成功把问题完全转化为了群论问题。因为只要能包含添加进一个根z的那些扩域对应的自同构群就一定能将z与其他四个根交换,说明这个群至少包含了S5。但由于S5不可解,将导致所有包含了S5的更大的群都不可解。
我们将通过共轭类来分析S5中为何没有相应的正规子群列。(未完待续)

/***
  注意,本文目的只是给读者呈现伽罗瓦理论的一个大概脉络,有很多细节我也没弄明白
  更多详情见《抽象代数基础教程》
***/