<head> <script src="https://cdn.plot.ly/plotly-latest.min.js"></script> </head> <body> <div id="myDiv"><!-- Plotly chart will be drawn inside this DIV --></div> <script> lab=[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15] aa=[20077.61,20095.1,20102.8,20111.9,20118.4,20124.6,20131.7,20136.9,20144.7,20151.0,20151.0,20167.2,20175.9,20185.1,20191.4,20206.8,20213.1,20219.4,20226.9,20232.6,20239.0,20246.3,20253.,20260.0,20266.7]; bb=[6384.45,6422.97,6436.34,6449.49,6461.66,6474.22,6486.48,6498.26,6509.95,6522.84,6522.84,6547.15,6559.51,6578.08,6590.92,6614.86,6626.82,6638.81,6650.74,6662.82,6674.35,6685.57,6698.3,6709.93,6723.5]; aa=[20301.3,20331.8] bb=[6775.49,6829.56] ll=aa.length; tt1=aa[ll-1]-aa[0]; document.write('<br> '+tt1+' '); tt2=bb[ll-1]-bb[0]; document.write(' '+tt2+' '); tt3=tt1+tt2; document.write(' '+tt3+' ooooooooooo<br>'); cc=[];cc.push(0); dd=[];dd.push(0); for(i=1;i<ll;i++){ cc.push(aa[i]-aa[0]); dd.push(bb[i]-bb[0])} tt1=aa[ll-1]-aa[0]; document.write('<br> '+tt1+' '); tt2=bb[ll-1]-bb[0]; document.write(' '+tt2+' '); tt3=tt1+tt2; document.write(' '+tt3+' ooooooooooo<br>'); var trace1 = {x: lab, y: cc,type: 'bar'}; var trace2 = {x: lab, y: dd,type: 'bar'}; var data = [trace1, trace2]; layout = {width:800,height:600}; Plotly.newPlot('myDiv', data,layout); </script> </body>
L/Kが有限ん時ガロア拡大
L/K のガロア群Gを方程式ｆ（ｘ）＝０のガロア群と呼ぶ Gは根の置換を引き起こす、s違って対照群Snの部分群として記述できる。
ｎ変数多項式体K(ｘ１、x２、。。。ｘｎ）Ｓｎを
ｆσ（）＝ｆ（σ１（ｘ１）、。。。のように作用させる
ｋおれは自己同型群となりその不変体ｆ（Ｓｎ）大正子規全体を作る部分体
基本対称式うきｋｋ分離的多項式Ｓ（ｘ）の分解体
ｋ（ｘ１、ｘ２、・・・ん）／Ｋ（ｓ１、ｓ２、。。。ｓん）はガロア拡大でそのガロア群はＳｎである
ｋ
命題 ｎ次一般方程式のガロア群はｎ次対称群 Sｎ
ガロア群とは
分離的規約多項式 ｆ（ｘ）の分解体であるとき
L／Kが有限次ガロア拡大であることは同値
L／Kのガロア群を方程式ｆ（ｘ）＝０のガロア群と呼ぶ
テキストです。