数学吧 关注:841,266贴子:8,575,831
  • 35回复贴,共1

对於可解群和多项式根式解的两个问题

只看楼主收藏回复

起源于我好奇五次以上方程是怎麼没有根式解的,故看了一下在网上找到的一篇关於Galois理论的文章。

第一个问题,对於可解群的这个定义于各种文献上的不同。对一般群的定义是Gi/G(i+1)为阿贝尔群即可,而对於有限群,也要求Gi/G(i+1)为素数阶循环群。但这个文章又用这个定义了,确证明了:多项式根式可解iff它的Galois群可解到底这个定义符不符合wiki上的呢:(eng wiki: solvable group)

另一个问题,红色部分估计错了,当i=4和-1时,这两个对换就是一样的了,所以这样是确定不了galois群就是S5吧,因为这样只有5个相异的对换,不是5C2=10个还有确定一般的galois群有没有好方法呢


IP属地:中国香港通过百度相册上传1楼2014-12-24 21:10回复
    吃我大膜拜orz


    来自iPhone客户端2楼2014-12-24 21:11
    收起回复
      3楼


      来自iPhone客户端3楼2014-12-24 21:11
      回复
        definition of solvable group: http://en.wikipedia.org/wiki/Solvable_group
        还有此文章的link: http://documents.kenyon.edu/math/FranzSenEx2010.pdf
        貌似不是很正规


        IP属地:中国香港4楼2014-12-24 21:12
        收起回复
          终于看到高端一点的讨论贴了。。感动。


          IP属地:上海来自Android客户端5楼2014-12-24 21:12
          回复
            @Bruik
            @饼饼饼饼酱
            @习惯性暴走
            @KeyTo9
            不知道大神有何见解


            IP属地:中国香港6楼2014-12-24 21:14
            收起回复
              1.和wiki上定义相同,具体可见


              IP属地:美国9楼2014-12-24 21:59
              收起回复
                之前看错= =
                一般可解群的定义是Gi/G(i+1)为交换群。。还有一种定义是,存在正整数n,使得G的n阶导群为{e},则称G为可解群。。这两个定义是等价的。。从这两个定义出发可以证明,有限群可解的充分必要条件是存在满足那个条件的递降子群列,且Gi/G(i+1)为素数阶循环群。。这里没强调素数阶所以似乎不太对的样子= =
                这个多项式的galois群确实是S5。。
                一般的galois群的求解推荐用软件。。magma什么的。。代码是
                > Z:= Integers();
                > P<x>:= PolynomialRing(Z);
                > G := GaloisGroup(某多项式);
                > G;


                星座王
                点亮12星座印记,去领取
                活动截止:2100-01-01
                去徽章馆》
                IP属地:北京10楼2014-12-24 22:08
                收起回复
                  对于你第二点疑问,可以这么说,就是
                  (12)和(123...n)生成了S_n,当然作者写的有点小问题,不过无伤大雅,应该是i从0到4.
                  因为这样即生成了(12),(23),(34)...(51)然后显然这些会生成所有的置换。
                  其他计算Galois群的方法可见K.Conrad的网页,不过不知道是不是我自己网络的原因,我现在暂时上不上去,http://www.math.uconn.edu/~kconrad/blurbs/


                  IP属地:美国11楼2014-12-24 22:18
                  收起回复


                    IP属地:广东来自Android客户端12楼2014-12-24 22:29
                    回复


                      IP属地:美国13楼2014-12-24 22:30
                      收起回复
                        想象力 童鞋们 不要总是想着 逻辑 逻辑 逻辑。逻辑是来骗你们的 是用来把你们引到相反方向的假的路标


                        14楼2014-12-24 22:32
                        收起回复
                          有什么问题?


                          15楼2014-12-25 06:12
                          回复
                            全是英文!!!!


                            IP属地:广东16楼2015-01-02 00:24
                            回复