ガロア第一論文と乗数イデアル他関連資料スレ17

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

505: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/21(水) 07:53:04.30 ID:+3NhFfLb

>>502
>>>501 そこはガロア以前のガウスが見つけたことだからさ
>探すの面倒だから、命題1とその例示の10行、ここに書いてくれる？それが一番話早いからさ

うむ
ここを見ている他の人にも参考になるだろうから

『彌永 「ガロアの時代 ガロアの数学」 第二部 数学篇
第3章 ガロアの主著』P237より

命題I
定理 α,b,c,･･・を、m個の根としてもつ方程式が与えられたとしよう．
そのときいつも次の性質1,2をもつα,b,c,･･・の置換から成る群がある．
1. 根の関数でこの群の置換によって変わらないものは，必ず有理的に知られる．
2. 逆に有理的に決定される根の関数は，この群の置換によって変わらない．

（代数方程式の場合は，この群は1・2・・・・m(= m!)個のm個
の文字のすべての置換から成る群にほかならない．その場合，根
の有理的に知られる関数は対称関数だけであるからである.）

（方程式(x^m-1)/(x-1)＝0の場合は、gを(mod nの)原始根(γを1の
原始n乗根)としα=r,b=r^g,C =r^g^2,・・・とすれば，その群は
単に
a,b,c,d,･･･,k
b,c,d,･･･,k,a
c,d,･･･,k,a,b
　・・・
k,a,b,・・・,i
となる．この特別な場合には，順列の数は方程式の次数に等しい．
これと同じことは，すべての根が1つの根の有理関数として表さ
れる場合に対して成り立つであろう.）

証明 与えられた方程式がどんな方程式であっても，（上に示した
ように)根の(有理)関数Vであって，すべての根がVの有理関数
として表されるようなものを見出すことができる．そこでVを根
以下略す
(引用終り)

上記で、方程式(x^m-1)/(x-1)＝0 以下 成り立つであろう までの約10行がそれだよ
そして、命題は8番まである。命題Iは、当然ながら 冒頭部分にすぎない
繰り返すが 一度、ガロア第一論文を読んでみて(>>501)

”自分は、１のｐ条根を、べき根でどう解くか、書いてあるＨＰ読んで
　可解性ってそういうことだったんだぁと、理解しましたね
　まあ、たぶん教科書にもどっかに書いてあるんだろうけど"
が、滑っているのが分るよ
（なお 上記”方程式(x^m-1)/(x-1)＝0”が、1のべき根を求める式であることは 自明だが、中高一貫生のために 注意しておく）

追伸
　>>504 ID:4hfas3rf は、御大か
巡回ありがとうございます

http://rio2016.5ch.net/test/read.cgi/math/1746597368/505

856: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/26(月) 18:03:45.30 ID:Ca1KD/GB

>>851 追加
5次方程式から、6次、7次へ(下記)
全部、ガロア理論が元になっている

(参考)
https://en.wikipedia.org/wiki/Quintic_function
Quintic function (5次方程式)
　↓

https://en.wikipedia.org/wiki/Sextic_equation
Sextic function (6次方程式)
Solvable sextics
Some seventh degree equations can be solved by factorizing into radicals, but other septics cannot. Évariste Galois developed techniques for determining whether a given equation could be solved by radicals which gave rise to the field of Galois theory.
Some sixth degree equations, such as ax6 + dx3 + g = 0, can be solved by factorizing into radicals, but other sextics cannot. Évariste Galois developed techniques for determining whether a given equation could be solved by radicals which gave rise to the field of Galois theory.
It follows from Galois theory that a sextic equation is solvable in terms of radicals if and only if its Galois group is contained either in the group of order 48 which stabilizes a partition of the set of the roots into three subsets of two roots or in the group of order 72 which stabilizes a partition of the set of the roots into two subsets of three roots.
There are formulas to test either case, and, if the equation is solvable, compute the roots in term of radicals.[1]
References
1. R. Hagedorn, General formulas for solving solvable sextic equations, J. Algebra 233 (2000), 704-757
　↓
つづく

http://rio2016.5ch.net/test/read.cgi/math/1746597368/856

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.050s