[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
107(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/07/12(日) 17:13:02.17 ID:/6i4k5qr(8/12) AAS
>>100
>この方程式の判別式Ｄは、
>Ｄ＝〔(β−α)(γ−β)(α−γ)〕^2である。
方程式論をやれば常識だが（いまどきの大学数学科では上滑りかもね）
”(β−α)(γ−β)(α−γ)”は、差積でね
そして、差積の二乗が、判別式になるんだ
（いまの場合、3次多項式で、３次の係数（をaとして） a=1 も効いている）
（参考）
https://ja.wikipedia.org/wiki/%E5%B7%AE%E7%A9%8D
差積
注意
この多項式が項の順番によって変化することに注意すべきである。すなわち、差積は交代式であって対称式でない。[注釈 1]
交代多項式
詳細は「交代式」を参照
差積を定義づける著しい性質はその変数の入れ替えに関する交代性である。つまり、変数 Xi たちのなす順序付けられた n-組に、奇置換を施したときには差積の符号が変わるが、その一方で偶置換を施しても差積の値は変化しない。実は差積は、もっとも単純な交代式（最簡交代式; the basic alternating polynomial) として特徴づけられる（後述）。
判別式
詳細は「判別式」を参照
差積の平方は（等しいものがあるかどうかを判別する）判別式として広く知られる（が、差積自身を判別式とする文献もある[要出典]）。
(-1)^2 = 1 に注意すれば、差積の平方である判別式 Δ := Vn^2 は、変数の入れ替えによって変化しない対称式であることは明らかである。すなわち、差積は与えられた変数の集合（非順序組）に対して定まる不変式となる。
https://ja.wikipedia.org/wiki/%E5%88%A4%E5%88%A5%E5%BC%8F
判別式
実数係数の代数方程式の実数解の個数は、二次方程式では、判別式の符号が正か零か負かにより2個、1個（重複度2）、0個と判別できるが、三次の場合にはそれぞれ3個、2個（片方は重複度2）あるいは1個（重複度3），1個となる。 このように三次以上では、判別式以外にも指標となる式が必要となる（詳しくは、三次方程式#解の様子、四次方程式#解の様子などを参照）。
"discriminant"（判別式） という用語は1851年にイギリス人数学者ジェームス・ジョセフ・シルベスター (James Joseph Sylvester) によって造り出された[3]。
110: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/07/12(日) 18:29:44.45 ID:/6i4k5qr(10/12) AAS
>>107 補足
分離多項式の場合
"D が P の判別式であれば、X^2 - D が交代群のレゾルベントである"
となります。
つまり、ｎ次 分離多項式の方程式を考えると
方程式のガロア群は、対称群Snになるが
X^2 - D を使って、交代群Anに落とすことができる
これは、ｎが5次以上でも可能です
（参考）
https://ja.wikipedia.org/wiki/%E5%88%86%E9%9B%A2%E5%A4%9A%E9%A0%85%E5%BC%8F
分離多項式
ガロワ理論における応用
D が P の判別式であれば、X^2 - D が交代群のレゾルベントである。このレゾルベントは P が既約であればつねに分離的（標数は2でないと仮定する）であるが、たいていのレゾルベントはつねに分離的というわけではない。
http://hooktail.sub.jp/algebra/SeparableExtension/
分離拡大体 [物理のかぎしっぽ]2006/06/25
https://ja.wikibooks.org/wiki/%E4%BB%A3%E6%95%B0%E6%96%B9%E7%A8%8B%E5%BC%8F%E8%AB%96
代数方程式論
目次
1 一次方程式
2 二次方程式
3 三次方程式
4 四次方程式
5 高次方程式
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s