純粋・応用数学・数学隣接分野（含むガロア理論）11
レス数が950を超えています。1000を超えると書き込みができなくなります。
元の体Qに対して定義上矛盾したxで拡張した拡大体(x)は定義できますか?
方程式の実数に虚数で拡張したら複素数の解を新たに定義する
i=sqr(-1)
と定義したものを拡大体(i)は{sqr(x)|x>=0に矛盾}定義できますか?
仮に定義できれば拡大体(i)の計算法則の定義の{sqr(x)|x>=0}はどう扱えばいいですか?
高校数学レベルの初学者で申し訳ない... >>845
＞既約で可解な5次方程式のガロア群は、
＞位数20のフロベニウス群F20⊃位数10の二面体群D5⊃位数5の巡回群C5
＞（念のため書き直すが F20⊃D5⊃C5）
＞この順に正規部分群の列を成す（可解列でもある）
で、以下の記述だけど
＞対応する拡大体は、
＞基礎体をQ(ζ)（＝1のべき根が必要なだけ添加されているQの拡大体）
＞で、Q(ζ)(√a)⊂Q(ζ)(√a)(√b)⊂Q(ζ)(√a)(√b)(c^1/5)となる
＞（注：Q(ζ)(√a)(√b)(c^1/5)は、Q(ζ)に順に(√a)と(√b)と(c^1/5)とを添加した拡大体。a,b,cは適当な定数）
基礎体をQとしたら、どうなる？ 例えば
Q(√a)⊂Q(√a)(√b)⊂Q(√a)(√b)(c^1/5)
とできる？
自分で考えてみ
（ヒント １の5乗根をζとしたとき、Q(ζ)をQ(√a)(√b)で表せる？ そのときのa,bは？） >>843
>一番体感できる方法は
>3次方程式のカルダノの解法で得られる3つの根から
>加減乗除で3乗根の部分を取り出せないことを
>泥臭い計算で確かめること。
>それが工学部卒、数学実質高卒の1=雑談が納得する方法。
さすが、出木杉クン いい提案ですね
いい例がありますよ 雑談クンが>>832でドヤ顔で示したものですが
https://mathlog.info/articles/3161
2Cos(2π/7)は、
3次方程式 x^3+x^2-2x-1=0の根の一つで
以下の式で表されます
1/3(-1+((7+21√3i)/2)^(1/3)+((7-21√3i)/2)^(1/3))
で、当然ながらこれは実数です
他の２根は上記の根からCosの2倍角、4倍角の式（当然整数多項式）で求められます
で、これら３つの実数を有理数体Qに追加した体の演算で、
どうやって、複素数である
((7+21√3i)/2)^(1/3) と ((7-21√3i)/2)^(1/3))
をひねくりだすのか？
まあ、無理ですね
Qに実根３つを添加した体は、実数体の部分体ですから
（また、「これが還元不能の例だ！」と叫びそうですけど･･･
どう言い訳しても、間違ったのは雑談クンであって
出木杉クンではないですね 先生が保証します）
工学部卒でもわかることですが、
雑談クンは実は工学部行ってないんじゃないかな？
工業高校を1年の夏で中退したって聞いてますよ >>851
ちょっと質問の意味がわからないですが、
例えばQ上では、x^2+1=0の根も、x^2-2=0の根も存在しませんが
根をQ上に添加した体は考えられますよ >>850
＞カルダノの公式
＞Q(ξ1^(1/3), ξ2^(1/3), ω) の中で解くことができる
853の x^3+x^2-2x-1=0 で考えてみましょう
上記の方程式は、確かに
ξ1=(7+21√3i)/2
ξ2=(7-21√3i)/2
とすれば、Q(ξ1^(1/3), ξ2^(1/3), ω) の中で解けますね
一方、
Q(1/3(-1+((7+21√3i)/2)^(1/3)+((7-21√3i)/2)^(1/3)))は
Q(ξ1^(1/3), ξ2^(1/3), ω)とは一致しません（上が下の部分体です）
「解く」という観点では、ωを添加した体で、3乗根を求めて
その線型結合として解を表してますね
ただし、線型結合からどう頑張っても元の3乗根は取り出せないんですよ
＞三次方程式の解の公式で、
＞当然クンマー拡大を使っているのだが
＞例えば、3乗根3√ξ2を使った解の公式で ξ2＝1のとき、
＞解の公式が不成立になるのではなく、
＞そのまま解の公式が使えるってこと
ξ1、ξ2が、1どころか実数じゃなくてもいいんですよ
でも1/3(-1+ξ1^(1/3)+ξ2^(1/3))だけから、体の計算だけで
どう頑張っても ξ1^(1/3)、ξ2^(1/3) は取り出せない
そういうことです
わかりましたか？ 雑談クン >>855
線形結合から元の3乗根を取り出すには、その数のラグランジュリゾルベントを取ればいい
ラグランジュリゾルベントを作るにはζ_3が必要。
だから、体にζ_3が含まれてるか否かがクリティカルなんですね。
で、なんで線形結合のラグランジュリゾルベントを取ると
べき根が成分ごとに出て来るかというと、それが「直交関係」なわけです。 >>856
出木杉クンは、さすがにいつも的確ですな
＞なんで線形結合のラグランジュリゾルベントを取ると
＞べき根が成分ごとに出て来るかというと、それが「直交関係」なわけです。
いま、ふと思ったんですが、
例えば以下って特殊なヴァンデルモンド行列ですよね？
１ １ １
１ ω ω＾２
１ ω＾２ ω
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A1%E3%83%B3%E3%83%87%E3%83%AB%E3%83%A2%E3%83%B3%E3%83%89%E3%81%AE%E8%A1%8C%E5%88%97%E5%BC%8F
ああっ、またエクスタシーがっ！ >>857
さすがに鋭いですね。
確かにそういう話もあったように思います。
でもなぜそうなのかちょっと思い出せない... >>858
ま、１，ω、ω＾２が異なる数なら
ヴァンデルモンド行列は正則行列になるから
線形方程式系は唯一の解を持ちますよね
ということで、正則行列は大事だぞ 雑談クン！（ビシッ） 今日の私
人__人__人__人__人__人__人__人__人__人__人
Σ て
Σ びっくりするほどｳﾞｧﾝﾃﾞﾙﾓﾝﾄﾞ！ て人__人_
Σ びっくりするほどｳﾞｧﾝﾃﾞﾙﾓﾝﾄﾞ！ て
⌒Ｙ⌒Ｙ⌒Ｙ) て
Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒
＿_＿＿＿＿＿
＿＿ ヽ(゜∀゜）ノ
＼＿〃´￣￣ ヽ..ヘ( )ミ
＼,.-〜´￣￣ ω > （∀゜ ）ノ
＼∫＼ _,. - 、_,. - 、 ＼ ( ヘ)
＼ ＼＿＿＿＿＿＿ _＼<
＼ ￣￣￣￣￣￣￣
＼＿＿＿＿＿＿＿ さて、10年前のスレに戻ろうか
現代数学の系譜11 ガロア理論を読む
https://uni.5ch.net/test/read.cgi/math/1328016756/
10年前の雑談クンは、ガロア分解式（リゾルベント）の虜だったようだ
ただ、これをどう扱えば代数的に解けるのか、理解してなかった
群論の言葉を使えば、
置換を、「正規部分群の同値類」でまとめることで
巡回置換を剰余群としてくくり出す操作を反復して単位群まで縮小できれば、
ガロア分解式から各段階の巡回置換に関するラグランジュ分解式が構成でき、
これを反復適用することで解が求められる
（実際、３次、４次の代数方程式の解法はその形で理解できる）
だから、ガロア分解式はラグランジュ分解式の子孫である
しかし、残念ながら、５次以上の対称群は、交代群までは潰せるけど
交代群は自身と単位群以外の正規部分群を持たないから、
「巡回群を剰余群としてくくり出す作戦」が使えない
これが結末である
Ｑ．方程式を代数的に解く方法とは何か？
Ａ．ラグランジュ分解式によって、ベキ根と線型代数で解く
謎は解けたよ 雑談クン（シャーロック・ホームズかいｗ） 方程式論におけるガロア理論の役割は、
数学理論におけるゲーデルの不完全性定理の役割と
同じかもしれん
一般の方程式が代数的に解けない
一般の論理式が論理的に充足判定できない
しかし、決して否定的結果で終わったわけではない
解ける方程式の研究は続けられ結実した
定理の証明の営みも続けられている 方程式論における重要テクニックがラグランジュの分解式なら
論理学における重要テクニックは何か？
私ならこう答える 「タブローの方法」
但し、述語論理では充足不能でない論理式のタブローは
延々と開いたままで閉じない
閉じないことが判定できるかどうかが問題だった
そしてそれは不可能だとわかった
だからといってこのテクニックが無意味なわけではない
充足不能ならタブローは閉じる
つまりある定理の証明が存在するなら
その定理の否定は充足不能であり
タブローを閉じることで証明が得られる
なんでこんな基本的なことを数学科で教えないのか理解できない
（物理学者が、自分が利用する数学の定理を知らなくても別に構わんが
数学者が、証明の意味を知らんというのはよろしくないと思う） 雑談クンは、整数論には全く興味がないようだ
円分方程式なんてヲタク的対象としか思ってないんだろう
まあ、全然ハズレというわけでもないが
（個人的にはガウスは最高の数学ヲタクだと思ってる）
そもそもヲタク精神がないなら、数学板に来てもつまらんだろう
数学板はヲタクの巣窟なのだから 雑談クンは、安直な解決法しか興味ない人のようだから
きっとこう尋ねるだろう？
「ラグランジュの分解式によらず、
いきなりガロアの分解式から解を求める方法はないのか？
そういえば、トマエの公式とかいうのがあるらしいが
それって、そういう方法じゃないのか？」
https://en.wikipedia.org/wiki/Thomae%27s_formula
上記に対する回答は下記
「知らん」 >>1投稿者の集合A、SetAは
『有限小数だけの数学なら0.999…≠1になるよね。』発言が既成事実のSetA
『ωを自然数に含める考え方をしてもいい』発言も既成事実のSetA
いつだったか線形代数初歩の行列の初歩の話でも自殺に等しいと言っても過言ではない名誉自損発言をしてたな
確か、真ん中の脚の長さが16.8kmも有るアナーキー日吉大明神猿魔大王他化自在天摩羅波旬オッパッピーが覚えてるだろ >>866
ええと、あなたはどなたでしたっけ？
最近、健忘症がひどくって
>16.8km
それは何の長さですかな >>866
＞『有限小数だけの数学なら0.999…≠1になるよね。』
有限小数だけの数学なら、そもそも0.999…が存在しないのではないですかな？
＞『ωを自然数に含める考え方をしてもいい』
それはω+1だけでなく、ω-1も存在するとしてもよい、という意味ですかな？
それならありですか、その場合のωは、極限順序数ωではありませんよね １の原始ｎ乗根を ζ
ｎ次巡回方程式の根を θ0,θ1,θ2,･･･,θ[n-1]
方程式の(n-1)次の係数/n次の係数 の値を c
n-1個のラグランジュのリゾルベントを L1,L2,･･･,L[n-1]
とする
θ0＋ θ1＋ θ2・・・＋ θ[n-1]=C
θ0＋ ζθ1＋ ζ^2θ2・・・＋ ζ^ (n-1)θ[n-1]=L1
θ0＋ ζ^2θ1＋ ζ^4θ2・・・＋ ζ^ (n-2)θ[n-1]=L2
･･･
θ0＋ζ^(n-1)θ1＋ζ^(n-2)θ2・・・＋ ζθ[n-1]=L[n-1]
したがって、方程式の係数からC,L1,L2,･･･,L[n-1]のn乗が求まれば
n乗根でL1,L2,･･･,L[n-1]を求めることができ、
そこから、ζによって構成されるヴァンデルモンド行列の逆行列で
根θ0,･･･,θ[n-1]が求まってしまう
ヘイ！なんてこったベイビー／(^o^)＼ >>868
他化自在天は欲界第六天の天神にして魔王の天魔。高位であればあるほど巨大となる故に真ん中の脚も長大｡
当人は謙虚にも『16.8cm』と単位の接頭辞を代えて言っていたが実際は『16.8km』だろう｡
この巨大物が淫術『♪やまたのおろちんぽっぽ〜！』にて多茎増殖し世界を蹂躙する｡ ２次方程式の場合
θ０＋θ１＝-b/a
θ０−θ１＝√((θ0+θ1)^2-4θ0θ1)＝√(b^2/a^2-4c)=(√(b^2-4ac))/a 平面 R^2 上の半径1の円と原点を通る周期2πの三角関数 f(x)=sin(x)、g(x)=cos(x) のグラフを眺めていました
平面 R^2 上の半径1の円と原点を通る周期2πの幾何的構造や
三角関数 f(x)=sin(x)、g(x)=cos(x) の独立変数xの値と従属変数 f(x) の値との対応
に関する解析的特性上、実代数的数全体からなる体K上πと線形従属な 0＜x＜π なる超越数は存在しないとのこと
或るπとは異なる超越数xが存在して、xに対して両方共に或る0とは異なる
実代数的数a、b (a≠0,b≠0) が存在して、xが x=aπ+b と表されるとする
ここに、πとは異なる超越数xのみの存在性を仮定した時点では、
直後にxに対して存在性が仮定される実代数的数a、b (a≠0,b≠0) を
用いてxが x=aπ+b と表されてはいないものとする。仮定から 2x/a=2π+2b/a であり、
f(2x/a)=sin(2x/a)=sin(2π+2b/a)=sin(2b/a)、g(2x/a)=cos(2x/a)=cos(2π+2b/a)=cos(2b/a)
また、2x/a-2π=2b/a は実代数的数であり、
f(2x/a-2π)=sin(2x/a-2π)=sin(2b/a)、g(2x/a-2π)=cos(2x/a-2π)=cos(2b/a)
よって、平面 R^2 上の半径1の円周上の2点 (f(2x/a)、g(2x/a))、(f(2x/a-2π)、g(2x/a-2π)) は
どちらも平面 R^2 上の半径1の円周上の2点 (sin(2b/a)、cos(2b/a)) に等しい
複素平面C上において、実数体R上実数1と純虚数iは線形独立であるから、
平面 R^2 から複素平面Cへの写像 h:R^2→C (y,z)→y+zi は加法+に関して同型である
故に、f(2x/a)+ig(2x/a)＝f(2x/a-2π)+ig(2x/a-2π)=sin(2b/a)+icos(2b/a) であり、
オイラーの公式から exp(i2x/a)=exp(i(2x/a-2π)) を得る
仮定から、2x/a=2π+2b/a は実数の超越数であり、2x/a-2π=2b/a は実代数的数だから、
exp(i2x/a)=exp(i(2x/a-2π)) の両辺に対して多価の対数関数の値を取れば、
或る p≠0 なる整数pが存在して 2x/a=2x/a-2π+2pπ が成り立ち矛盾が生じる
この矛盾は、或るπとは異なる超越数xが存在して、xに対して両方共に或る0とは異なる
実代数的数a、b (a≠0,b≠0) が存在して、xが x=aπ+b の形で表されると仮定したことから生じたから、
背理法が適用出来て、背理法を適用すれば、如何なるπとは異なる超越数xに対しても
両方共に如何なる0とは異なる実代数的数a、b (a≠0,b≠0) が存在して、xが x=aπ+b と表わされることはない >>875
＞平面 R^2 上の半径1の円と原点を通る
＞周期2πの三角関数 f(x)=sin(x)、g(x)=cos(x)
＞のグラフを眺めていました
そんな時もある >>878
＞平面 R^2 上の半径1の円と原点を通る周期2πの幾何的構造や
＞三角関数 f(x)=sin(x)、g(x)=cos(x) の
＞独立変数xの値と従属変数 f(x) の値との対応に関する解析的特性上、
＞実代数的数全体からなる体K上
＞πと線形従属な 0＜x＜π なる超越数は
＞存在しないとのこと
そうなんですか？知りませんでした
で、どこに書いてあるんですか？ >>879
＞或るπとは異なる超越数xが存在して、
＞xに対して両方共に或る0とは異なる
＞実代数的数a、b (a≠0,b≠0) が存在して、
＞xが x=aπ+b と表されるとする
もしかして、いきなり背理法による証明が始まってます？
いきなり、パンツ脱いで挿入してます？今、ここで？ >>880
＞ここに、πとは異なる超越数xのみの存在性を仮定した時点では、
＞直後にxに対して存在性が仮定される
＞実代数的数a、b (a≠0,b≠0) を用いて
＞xが x=aπ+b と表されてはいないものとする。
え？でも仮定してるんですよね？
もしかして挿入しようとしたけど、勃起してなかったって感じ？ >>881
＞仮定から 2x/a=2π+2b/a であり、
＞f(2x/a)=sin(2x/a)=sin(2π+2b/a)=sin(2b/a)、
＞g(2x/a)=cos(2x/a)=cos(2π+2b/a)=cos(2b/a)
なんだやっぱり入っちゃってるじゃないですか >>882
＞また、2x/a-2π=2b/a は実代数的数であり、
＞f(2x/a-2π)=sin(2x/a-2π)=sin(2b/a)、
＞g(2x/a-2π)=cos(2x/a-2π)=cos(2b/a)
なるほど >>879
平面 R^2 上の原点を中心とする単位円周上の点の原点またはx軸、y軸に関する対称性から >>883
＞よって、平面 R^2 上の半径1の円周上の2点
＞(f(2x/a)、g(2x/a))、(f(2x/a-2π)、g(2x/a-2π))
＞は、どちらも平面 R^2 上の半径1の円周上の2点
＞(sin(2b/a)、cos(2b/a)) に等しい
なるほど、いい感じですよ
その調子でどんどん腰振ってみてくださいね >>884
＞複素平面C上において、実数体R上実数1と純虚数iは線形独立であるから、
＞平面 R^2 から複素平面Cへの写像
＞ h:R^2→C (y,z)→y+zi
＞は加法+に関して同型である
そらそやろな
ま、どんどん腰振って ＞故に、
＞ f(2x/a)+ig(2x/a)
＞＝f(2x/a-2π)+ig(2x/a-2π)
＞=sin(2b/a)+icos(2b/a)
＞であり、オイラーの公式から
＞ exp(i2x/a)=exp(i(2x/a-2π))
＞を得る
そらそやろな
ま、どんどん腰振って ＞仮定から、
＞2x/a=2π+2b/a は実数の超越数であり、
＞2x/a-2π=2b/a は実代数的数だから、
＞exp(i2x/a)=exp(i(2x/a-2π)) の両辺に対して
＞多価の対数関数の値を取れば、
＞或る p≠0 なる整数pが存在して
＞2x/a=2x/a-2π+2pπ が成り立ち
＞矛盾が生じる
んー、多価なんだから
exp(a)＝exp(b)だけどa=bでなくても
よくないですか？
もしかして、すっぽ抜けた？ >>889
>或る p≠0 なる整数pが存在して
は
>或る p≠0 かつ p≠1 なる整数pが存在して
の間違い >>888
＞この矛盾は、
＞或るπとは異なる超越数xが存在して、
＞xに対して両方共に或る0とは異なる実代数的数a、b (a≠0,b≠0) が存在して、
＞xが x=aπ+b の形で表されると仮定したことから生じたから、
＞背理法が適用出来て、背理法を適用すれば、
＞如何なるπとは異なる超越数xに対しても
＞両方共に如何なる0とは異なる実代数的数a、b (a≠0,b≠0) が存在して、
＞xが x=aπ+b と表わされることはない
うーん、違うんじゃないかな
exp(a)=exp(b)なら、a=b、っていう「誤解」によるものですよね
あー、ごめん、それじゃイケないわ
なんていうかな、奥にあたってない感じ
やっぱり硬さと太さが足んないかな
あなた、高校生？大学で複素数の対数を勉強したほうがいいかな
うん、そんな感じ >>891
杉浦解析入門にもそういうことが書いてあった >>892
読み間違いですね
残念ですけど
大学生なら即座に誤りに気づけますけど
・・・高校生じゃ仕方ないかな
ｘが虚数のexp、扱ったことないのよね？
はじめはみんな間違うのよ ダイジョウブ ま、KUUXaCSxちゃんのおかげで
このスレッドも埋葬できるんで
そこはよかったかな
ありがと KUUXaCSxちゃん >>893
何というか、杉浦解析入門はアールフォルスを参考に書いたようで、
複素変数zの指数関数 e^z の取り扱いの式は書いてあった >>869
所が此のスレの>>1投稿者の集合A、SetAは、ωを最初極限順序数の意味で用い
『ωを自然数に含める考え方をしてもいい』 と述べていた。つまり
『最初極限順序数ωを自然数に含める考え方をしてもいい』と述べていたに等しいと同時に
『最初極限順序数の一つ前の順序数ω-1も存在する』と述べていた事にも等しいが
頭の本人はω-1の存在性是非を詰問されるも、その是非認識について回答する事から知らんぷりしている｡
中身空っぽのハッタリだらけのハリボテ主張だからだ｡
もしかしたらSetAの真ん中の脚も中身空っぽハリボテのハリボテ擬態なのかも知れない｡ >>896
言い訳はいいよ
真理を知りたいんだろ？
だったら間違いは認めなくちゃ
誰のためでもない 自分のためにさ >>897
極限順序数は自然数ではないね
そこ間違う初心者は実に多いけど
間違いは間違いだね
ま、みんな間違うとおもえばいい
自分だけは間違わない、なんて思うのは大間違いさ
どう これで気楽になっただろ？ みんな と、いうことで900
次のスレッドのタイトルからは
（含むガロア理論）を外そう
もういいだろ
かわりにコイツを入れてくれ
（まず整数論）
円分体論もこれでガンガンやれる
文句ないだろ？ 数論
https://ja.wikipedia.org/wiki/%E6%95%B0%E8%AB%96
数論（すうろん、英語: number theory）は、
数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について
研究する数学の一分野である。整数論とも言う。 整数論は通常代数学の一分野とみなされることが多い。
おおむね次の四つに分けられる。
・初等整数論
・代数的整数論
・解析的整数論
・数論幾何学 初等整数論
他の分野の数学的手法を使わずに問題に取り組む、数論の中で最も基礎的な土台をなす。
フェルマーの小定理やオイラーの定理、平方剰余の相互法則などはこの分野の成果である。 代数的整数論
扱われる対象は整数というよりも代数的整数である。
従って、代数的な整数論と読むよりも代数的整数の論と読む方が正しいと考えられる。
ガウスの整数を研究したカール・フリードリヒ・ガウスが
おそらくこの分野の創始者である。
体論はこの分野の基礎的根幹であって、
ガロア理論は（他の数学においてもそうだが）基本的な道具である。
代数体のアーベル拡大の統制を記述する類体論も、この分野の大きな成果である。
元来の岩澤理論もここに分類されよう。 解析的整数論
微積分や複素関数論等の解析学的手法を用いて問題に取り組む。
この分野は初めて解析的な手法を系統的に数論に応用したディリクレに始まるとされる。
その弟子であるベルンハルト・リーマンによって
すでにこの分野の（ひいては数論）の最大の未解決問題である
リーマン予想（1859年）が提示されたのは興味深い。
素数定理の証明（1896年）はこの分野の一里塚である。
ゼータ関数、保型関数を研究するのもこの分野であって、超越数論とも関係が深い。 数論幾何学
整数論の問題を、代数幾何の手法で研究する、あるいは代数幾何の主対象である
代数多様体（もっと広くスキーム）の整数論的な性質を研究する分野である。
ディオファンタスによる研究（初等整数論の範疇）から考えても、その起源は古いが、
現代的な意味での数論幾何学の始祖はアンドレ・ヴェイユ
（合同ゼータ関数に関する研究、モーデル・ヴェイユの定理の証明のほか、
任意の体上での代数幾何学の研究など）といえるだろう。
1950年代後半以降のアレクサンドル・グロタンディークらによるスキーム論および
それに関連する各種理論の発展により、爆発的な発展を遂げ、
現在では数論の中核に位置しているといえる。 フェルマーの最終定理のように、数論のいくつかの問題については、
他の数学の分野に比して問題そのものを理解するのは簡単である。
しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。
「数学は科学の女王であり、数論は数学の女王である」 整数論は、永らく実用性は無いと言われてきたが、
近年暗号（RSA,楕円曲線暗号）や符号により
計算機上での応用が発達しつつある。 ということで、
代数的整数論ならガロア理論使うし文句ないだろ
目標は類体論の理解ってことで
とかいうと、他の人が
「俺は解析的整数論やりたい」
とかいいだすんだよな
まあ、当人は、そういうだけで実は全然詳しくないんだけど・・・ 歴史
古代ギリシア
数論はヘレニズム後期（紀元3世紀）のギリシア人数学者らに最も好まれた研究対象で、
エジプトのアレクサンドリアで活動したアレクサンドリアのディオファントスは、
自らの名が（後に）冠されたディオファントス方程式の
様々な特殊ケースを研究したことで知られている。
ディオファントスはまた、線型不定方程式の整数解を求める方法について考察した。
線型不定方程式とは、解の単一の離散集合を得るには情報が不足している方程式を指す。
例えば、x+y=5 という方程式は、x と y が整数だとしても解が無数に存在する。
ディオファントスは多くの不定方程式について、
具体的な解はわからなくとも解のカテゴリがわかっている形式に
還元できることに気づいた。 インド
中世インドでも数学者らはディオファントス方程式を深く研究しており、
線形ディオファントス方程式の整数解を求める体系的手法を初めて定式化した。
アリヤバータは著作『アーリヤバティーヤ』（499年）の中で
線型ディオファントス方程式 ay+bx=c の整数解の求め方を初めて明確に記している。
これを「クッタカ法」と呼び、ディオファントス方程式の解を連分数を使って表すもので、
アリヤバータの純粋数学における最大の貢献とされている。
アリヤバータはこの技法を応用し、重要な天文学上の問題に対応する
連立線型ディオファントス方程式の整数解を求めるのに使った。
彼はまた不定線型方程式の一般的解法も見つけている。
ブラーマグプタは著書『ブラーマ・スプタ・シッダーンタ』（628年）で
さらに難しいディオファントス方程式を扱っている。
彼が使ったのは、61x^2+1=y^2 のようなペル方程式に代表される
二次のディオファントス方程式を解く「チャクラバーラ法」 (Chakravala method) である。
この著書は773年にアラビア語に翻訳され、
そこから1126年にラテン語に翻訳された。
フランス人数学者ピエール・ド・フェルマーは1657年に
この方程式 61x^2+1=y^2 を問題として提示している。
この方程式そのものは70年以上後にレオンハルト・オイラーが解いたが、
ペル方程式全般の解法が見つかけたのはジョゼフ＝ルイ・ラグランジュで、
フェルマーが問題を提示してから100年以上たった1767年のことだった。
一方それより何世紀も前の1150年、バースカラ2世がペル方程式の解法を記述している。
彼はブラーマグプタのチャクラバーラ法を改良した解法を使っており、
同じ技法を応用して不定二次方程式や二次ディオファントス方程式の一般解も見つけている。
バースカラ2世のチャクラバーラ法によるペル方程式の解法は、
600年後のラグランジュが使った手法より単純だった。
バースカラ2世は他にも様々な二次/三次/四次など高次の不定多項方程式の解を求めている。
このチャクラバーラ法をさらに発展させたのがナーラーヤナ・パンディトで、
他の不定二次多項方程式や高次多項方程式の一般解を求めている。 中世イスラム
9世紀以降、アラビア数学は数論を熱心に研究するようになった。
先駆者とされる数学者はサービト・イブン＝クッラで、
友愛数を求めるアルゴリズムを発見したことで知られている。
友愛数とは、2つの異なる自然数の組で、
自分自身を除いた約数の和が互いに他方と等しい。
10世紀にはイブン・タヒル・アル＝バグダディが
サービト・イブン＝クッラの手法を若干変えた手法を見つけている。
10世紀のイブン・アル・ハイサムは
偶数の完全数（その数自身を除く約数の和がその数自身と等しいもの）
を世界で初めて分類しようと試みたと見られ、
2^k-1 が素数のとき、2^(k-1)(2^k-1) が完全数となることを発見した。
またアル・ハイサムはウィルソンの定理を最初に発見した。
これは、p が素数ならば 1+(p-1)! が p で割り切れるという定理である。
彼がこの定理の証明を知っていたかどうかは不明である。
ウィルソンの定理という名称は、エドワード・ウェアリングが
1770年にジョン・ウィルソンがこの定理に気づいたと記したことに由来する。
ウィルソンも証明を知っていた証拠はなく、
ウェアリングも確実に証明法を知らなかった。
この定理を証明したのはラグランジュで、1773年のことである。
イスラム数学では友愛数が大きな役割を果たした。
13世紀のペルシア人数学者アル・ファリシは、
因数分解と組合せ数学の新たな重要な方法を導入して、
サービト数と友愛数の関係について新たな証明を見出した。
彼はまた、17296 と 18416 という友愛数も発見している。
通常これらはオイラーが発見したとされているが、アル・ファリシの方が早いし、
サービト・イブン・クッラ自身も知っていた可能性がある。
17世紀にはムハンマド・バキル・ヤズディが
友愛数 9,363,584 と 9,437,056 を発見しており、
これもオイラーより先である。 ヨーロッパ
13世紀、レオナルド・フィボナッチは著書の1つとして
『平方の書』 (Liber Quadratorum) を書いた。
その中でピタゴラス数を扱っている。
彼は平方数が奇数の和として記述できると記している。
彼は合同数の概念を定義し、ab(a + b)(a - b) という形で表される数は
a + b が偶数ならば合同数であり、
a + b が奇数ならばそれを4倍したものが合同数だとした。
フィボナッチは x^2+C と x^2-C が共に平方数ならば
C が合同数であることを示した。
また、平方数は合同数となりえないことも証明した。
フィボナッチの数論への貢献は大きく、
「『平方の書』だけでフィボナッチはディオファントスと
17世紀のフランス人数学者ピエール・ド・フェルマーの間で
最大の貢献者に位置づけられる」とされている。
16世紀から17世紀には、フランソワ・ビエト、クロード＝ガスパール・バシェ・ド・メジリアクらが
数論の発展に貢献し、特にピエール・ド・フェルマーは無限降下法を用いて
ディオファントスの問題について初めての一般的証明を与えた。
1637年にフェルマーが提示したフェルマーの最終定理については、
1994年まで証明できなかった。
フェルマーは1657年に 61x^2+1=y^2 という方程式も問題として提示している。
18世紀にはオイラーとラグランジュが数論の分野で重要な貢献をした。
オイラーは解析的整数論の研究も行い、方程式 61x^2+1=y^2 の解法を見出した。
ラグランジュはさらに一般化したペル方程式の解法を見出した。
オイラーやラグランジュのペル方程式の解法は連分数を使うものだが、
インドのチャクラバーラ法に比べると複雑である。 近代数論の始まり
18世紀の終わりにルジャンドルの『数の理論に関する試作』
（Essai sur la Théorie des Nombres、1798年）が出版される。
19世紀に入って出版されたガウスの『算術研究』
（Disquisitiones Arithmeticae、1801年）は、
近代数論の扉を開いたとされている。
合同についての理論はガウスの著作『算術研究』が始まりである。
彼は次のような記法を導入した。
a ≡ b (mod c)
そして、合同算術について広く考察している。
1847年にチェビシェフはロシア語で合同算術についての著作を出版し、
フランスではジョゼフ・アルフレッド・セレがそれを広めた。
ルジャンドルはそれまでの成果をまとめただけでなく、
平方剰余の相互法則についても記している。
この法則はオイラーが数値計算に基づき帰納的に発見し発表したもので、
ルジャンドルが自著『数の理論に関する試作』（1798年）で証明を試みた。
オイラーやルジャンドルとは別にガウスも1795年にこの法則を独力で発見し、
1796年4月8日に最初の完全な証明を完成させた。
他にその発展に貢献した数学者として、コーシー、
数論の古典とされている『整数論講義』で知られるディリクレとデーデキント、
ヤコビ記号を導入したヤコビ、リウヴィル、アイゼンシュタイン、クンマー、クロネッカーらがいる。
この理論はさらに3次剰余の相互法則、4次剰余の相互法則へと発展した。
アイゼンシュタインは最初に3次剰余の相互法則の証明を発表した。
ガウスは数を二元二次形式で表現する理論の創始者でもある。 19世紀
コーシー、ポアソン（1845年）、そして特にエルミートも数論に貢献している。
3次形式の理論についてはアイゼンシュタインが先駆者であり、
彼と H. J. S. Smith が形式論全般について注目に値する進展をもたらした。
Smithは3元2次形式を完全に分類し、ガウスの実数の2次形式を複素数へと拡張した。
4個から8個の平方数の和で表せる数の探求はアイゼンシュタインが進展させ、
Smithが理論として完成させた。
ディリクレはこの問題についてドイツの大学で初めて講義を行った。
彼は他にもフェルマーの最終定理
x^n+y^n≠z^n (x,y,z≠0,n>2)
の n = 5 と n = 14 の場合の証明に貢献している
（オイラーとルジャンドルが n = 3 とn = 4 の場合を既に証明しており、
それによって n が3または4の倍数の場合も含意されていた）。
19世紀後半から活躍した他のフランス人数学者として、
ボレル、貴重な回想録を数多く著しているポアンカレ、スティルチェスらがいる。
ドイツでは、レオポルト・クロネッカー、エルンスト・クンマー、デーデキントらがいる。
オーストリアではオットー・シュトルツ、
イギリスではジェームス・ジョセフ・シルベスターも知られている。 20世紀
20世紀の数論における大きな出来事として次のようなことが挙げられる。
・1920年代には、高木貞治、エミール・アルティン、フィリップ・フルトヴェングラーらが
類体論を創始し、1930年代にヘルムート・ハッセやクロード・シュヴァレーが発展させた。
・1940年代にアンドレ・ヴェイユがヴェイユ予想を発表し、
バーナード・ドゥワーク、アレクサンドル・グロタンディーク、ピエール・ルネ・ドリーニュらが
その証明に取り組んだ。
・1961年の M. B. Barban の成果に基づき、1965年にエンリコ・ボンビエリらが
「ボンビエリ＝ヴィノグラドフの定理」を定式化した。
・1960年代後半にロバート・ラングランズがラングランズ・プログラムを提唱し、
そこから他の数学者により様々な発展が得られた。
・陳景潤の定理が1966年に発表され、1973年に証明された。
・アンドリュー・ワイルズによるフェルマーの最終定理の証明（1994年）。
また、これと密接に関連する谷山・志村予想は1999年、
クリストフ・ブレイユ、ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラー
によって証明された。 ところでヒルベルトの第１０問題の解決は論理学と考えられているようである
FRACTRAN
https://en.wikipedia.org/wiki/FRACTRAN 此処に来て中島みゆきか。だが、時代は回らない
∵ 痴情で枯死
♪流行りーばかりーを追ーってー コピペーばかりーを貼ーってー
♪SetAはーホーラーばーかーりー吹いーてるー どうも
出かけていたら
名古屋の新幹線のトラブルに巻き込まれてね
さっき帰ってきた
さて
>>841
>・まず、Q(a1,a2,a3,a4,a5)/Q（既約方程式の全ての根を添加した体）
>はガロア拡大である。
>・Q(a1,a2,a3,a4,a5)=Kとおくと、Kの数がQ上みたす既約方程式の根は
>すべてKに含まれる。（ガロア拡大の性質。）
>・もしa^{1/5}∈Kならば、a^{1/5}がQ上みたす方程式
>x^5-a=0の根はすべてKに含まれなければならない。
>・Kが実の体であれば矛盾、したがって、a^{1/5}\not∈K
１）
なるほど
それはそうだね
納得した
つづく >>921
つづき
２）
ところで
ついでに>>715
「1はa^{1/5}にガロア群を作用させるとζ_5が出てくることさえ分かってない。」
についても、けり付けて下さい
１）ガロア群Gの定義
２）作用域Λの定義
３）”群Gを作用させるとζ_5が出てくること”の証明
よろしく
３）
それから戻るけど>>381
"では、>>372の方程式の最小分解体にζ_5が含まれるか否か分かりますかね？
一般的な話として、可解な5次方程式でもいいですが。
つまり、5乗根を取る操作をガロア拡大（クンマー拡大）
にするなら、ζ_5は必然的に含まれますが
最小分解体（方程式が一次式の積に分解する最小の体）
には含まれるか否か？って質問です。"
だったよね
つまり、聞きたいのは、そもそもの一般的な話の方
くどいが、>>372の具体的な式で5実根限定( >>417Π_{k=1}^{5}(x-1/cos(2kπ/11)) )
ではない方
一般的な場合でも、ζ_5は含まれないということですかね？
４）
さらに、冒頭に戻るけど、一般的な場合（5つ全部が実根ではない場合）で、
5乗根a^{1/5}は、最小分解体には含まれないことの証明も頼んますよ
以上 >>921>納得した
と心から言うなら
>>922くらい自分で考えなよ。
自分で考えなきゃ、一生コピペバカのままだぞ？ >>875->>894
ワロタ。昨日は〇っちゃんまで来ていたのかｗ >>871
>ヴァンデルモンド行列の逆行列で
「そこ」がヴァンデルモンド行列になるという発想はなかった。
巡回方程式限定で考えたことがほとんどなかったので盲点になっていた。
本に書いてあるかもしれないが、あまり本は読んでないので。
で、n次巡回群に対してそのヴァンデルモンド行列をAとおくと
AA^*=nI が成立する。A^*はAの共役転置行列。これが「直交関係」。 ヴァンデルモンド行列というのはワクワクするんですよ。
なぜなら、和と積を結びつける公式は数論において貴重だから。
つまり、行列式というのは普通に計算すると和の形になる
それが綺麗な積の形にもなるという。それ自体が数論的な情報を含んでいる。 >>921
＞なるほど それはそうだね 納得した
それだけ？ま、雑談クンのジャンピング土下座なんて期待してないけど
で、「納得した」って書いてるけど、理解した？
理解せずにただしぶしぶ納得しても、また同じ誤り繰り返すよ 大丈夫？ >>922
＞一般的な場合でも、ζ_5は含まれないということですかね？
具体的に、ζ_5が含まれない例があるなら その瞬間
一般的に、ζ_5が含まれる、といえないと分かりますが、何か？
雑談クンは、述語論理の初歩からやり直したほうがいい
ド・モルガンの法則から
∃Ｐ．¬Ｐ（ｘ）ならば、¬∀Ｐ．Ｐ（ｘ）ですが
え？もしかして∀ｘ．¬Ｐ（ｘ）
つまり、どんな場合もζ_5が含まれないといえるか？って尋ねてる？
んなわけないでしょ！
もちろんｘ＾５−２＝０の最小分解体にはζ_5は含まれますね
５つの根がどうなってるか考えれば、直接計算でも確かめられますよ >>925
＞「そこ」がヴァンデルモンド行列になるという発想はなかった。
ご安心を、私も、形を見て気づくまで、全くなかったです
確かに、大学の線型代数でヴァンデルモンドの行列式は習いましたよ
そのときは
「なんでこんなもん考えたんだ？ワケワカラン」
と思ってましたｗ
改めて歴史を辿ったら、実はまさに代数方程式を解くために思いついたらしいです
松重豊が出てるＣＭじゃないけど
「それ、早く云ってよ~」
＞n次巡回群に対してそのヴァンデルモンド行列をAとおくと
＞AA^*=nI が成立する。A^*はAの共役転置行列。
＞これが「直交関係」。
ぬおおおお、そうでしたか！ >>926
なるほど！
ま、それとは全く別に名前がカッコいい
オランダ人ならよくある感じの苗字ですけどね
ファンデルモンド
ファンデルワールス
ファンデルヴェルデン
・・・
あ、スミマセン、クダラナイ感想で 今日の返答は遅くなります
スレ立ては950まで待ってね
あと、タイトルにはガロア理論じゃなくて代数的整数論と入れてね >>898
よく考えたら、そもそも示そうとしていた命題が間違っていたw
ま、昨日の証明を少し修正すれば通用するようにはなっている >>924
>>>875->>894
>ワロタ。昨日は〇っちゃんまで来ていたのかｗ
そうか
昨日の ID:KUUXaCSx氏は、おっちゃんか！
なるほど
そういわれてみれば・・
お元気そうで何よりです。！ >>921-922 補足ｗ
秘孔を突いたようだｗｗ
まともに答えられないみたいだなｗｗｗ
（参考）
https://www.nicovideo.jp/tag/%E7%A7%98%E5%AD%94
人気の「秘孔」動画 13本 - ニコニコ
北斗の拳 北斗神拳伝承者の道 秘孔突き対戦
おまえはもう死んでいる >>935
いや、雑談クン、君が肥壺に落っこちてるｗ
さて、雑談クンに問題だ
Π(i=1~n-1) 2*sin(iπ/n) はいくつになるかね？
試みにn=3で計算してみたまえ (n=2は自明すぎる）
そしてn=4,n=5と増やしてみたまえ
そのとき・・・君は驚愕のあまり脱💩する筈だ
＃なんでこんなことに気づいたかは・・・秘密 >>937
ガロア理論はもういいだろ
みんな理解したよ･･･1以外は 出木杉氏ご指摘の通り、
「巡回方程式」の解からラグランジュ分解式の値への写像は
離散フーリエ変換と考えることができる
つまり、ラグランジュ分解式の値が分かるなら
それを離散フーリエ逆変換することで解が求まる
その意味するところが何なのか？
誰か分かる人いたら教えて！ >>940
(引用開始)
出木杉氏ご指摘の通り、
「巡回方程式」の解からラグランジュ分解式の値への写像は
離散フーリエ変換と考えることができる
つまり、ラグランジュ分解式の値が分かるなら
それを離散フーリエ逆変換することで解が求まる
(引用終り)
１）数学が、ある種妄想に近いインスピレーションも必要だということは、認めるとして
２）しばしば、冷静に考えると、それほどでもないということが多いのでは
（いわゆる、千三つだが、そのような（ブレスト的＊）努力も結構必要ですけど）
３）離散フーリエ変換と逆変換ね（>>805や>>564)
個人的には、千三つの はずれクジの方と思うよ
４）例えば、幼少の子熊を見て、ネコに似ていると思うが如しかな？
いや、クンマーからクマを連想するが如しかもｗ
（参考）
https://makitani.net/shimauma/sen-mitsu
シマウマ用語集
千三つ（せんみつ）
千三つとは、マーケティングの領域においては「1000件のうち3件の確率」、つまり反応率が0.3％程度という意味の慣用句。読みは「せんみつ」。
不動産物件の成約率が1000件に3件程度だったことから、土地売買の職業のことをかつて「千三つ屋」と呼ぶことがあった。そこから派生して、商品開発の難しさやインターネットのバナー広告のクリック率なども概ねその確率であることから、「千三つ」と表現されることがある。
元々は「千回のうち3回ぐらいしか本当のことを言わない嘘つき」の意味の古い俗語である。江戸時代から用いられており、落語などでも登場する。
タレントでコメディアンのせんだみつお氏の芸名の由来でもある。
*）
https://next-sfa.jp/journal/others/brain-storming/
SFA JOURNAL
公開日：2020/07/29
ブレストとは？本質を理解して効率のよい進め方を解説
ブレストとは「ブレインストーミング」の略になります。
https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B
フーリエ変換
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%9E
クマ
(引用終り)
以上 べき根表示がフーリエ級数展開の類似だという話は
「ガロア群の作用」も分かってない1=雑談には理解できない。
逆に言えば、ガロア群の作用が分かっていれば自然な発想。
多分、数学者に訊けば「そりゃそうだね」と言われると思う。
自分で考えたが、数学的業績にはならないと思うからここに書いた。
「素人には自明でない」というのはどちらかといえば嬉しいｗ ガロア理論の解説書いてるひとも素人と言っては悪いが
少なくとも一流の数学者じゃないひとが多いよね。 >>943
>べき根表示がフーリエ級数展開の類似だという話は
>「ガロア群の作用」も分かってない1=雑談には理解できない。
>逆に言えば、ガロア群の作用が分かっていれば自然な発想。
笑えるんだけどｗ
１）方程式の根の表示を、フーリエ級数展開することの
利点とその目的（なんのために？）を述べよ
２）フーリエ級数展開表示に対する「ガロア群の作用」を記述せよ
これ
”ガロア群の作用が分かっていれば自然な発想”
だったよねｗ
しっかりやってくれよｗ
（多分、ツッコミどころ満載だろうねｗｗ）
がんばってくれよｗｗｗ ・「a^{1/5}へのガロア群の作用」さえ理解していない1=雑談に説明することは不可能。
・数学の彼岸さんは放っておいても自得するだろう。
・ここですべてのタネを明かしても、数学者には「自明」扱いの話でしかない。
・素人にとっては一定の意味のある話ではある。なぜなら
なぜ「べき根」による解法には一定の意味があるのか
「超べき根などは」ほぼナンセンスで話が広がらないのか
さらには正しい研究の方向性・可能性を示すことになるから。 >>946
縁無き衆生は度し難し
解の巡回関数をf(x)で表す
https://hooktail.sub.jp/algebra/SuccessiveExtentionGalois/
θ=1/nΣ[k=0~n-1]L(ζ^k,θ) として
f(θ)
=f(1/nΣ[k=0~n-1]L(ζ^k,θ))
=1/nΣ[k=0~n-1]L(ζ^k,f(θ))
=1/nΣ[k=0~n-1]ζ^(-k)*L(ζ^k,θ)
となる
実によくできている
しかし、検索結果の式が読めず計算もできず
ただ眺めてコピペするだけのサルには
生涯分からんだろう 嗚呼 >>947
＞彼岸さんは放っておいても自得するだろう。
まあ、一度でも自分で計算してみれば、ああそういうことか、と分かるよね
分からん人は、まあ、一度も計算してない、と断言する
ボクも、解の巡回関数に気づくまで、計算一つできなかったから
計算するには、解の巡回関数に気づく必要がある
「きっかけ」は大事だね
https://www.youtube.com/watch?v=6W8mmtgeOzY >>946 追い打ちｗｗ
１）はラグランジュの分解式 (Lagrange resolvent)
下記の大阿久より
h(α) = α + ζσ(α) + ・ ・ ・ + ζ^(n-1)σ^(n-1)(α) (∀α ∈ L)
1 の原始 n 乗根 ζ
２）ラグランジュの分解式の優れているところは、
1 の原始 n 乗根 ζを導入することで、
自然に、クンマー拡大・クンマー理論の土俵の上に上げていること
３）これにより、大阿久の定理 9.3 （実質クンマー理論）
「ガロア群 G 位数 n の巡回群」
「L は x^n - a の分解体と一致」
が導かれる
（これで、十分尽きているのでは？ それ以上何があるのかな？ｗｗ）
４）さて、では問う”フーリエ級数展開の類似”と主張する意図は何か？ｗ
（利点とその目的（なんのために？）また”「ガロア群の作用」を記述せよ”）
５）そもそも、ラグランジュの分解式の表式と、フーリエ級数展開の式とは
似て非なるもの（結構別物だろ？）と思うのは、私だけかな？ｗｗ
(参考)
https://www.lab.twcu.ac.jp/~oaku/galois.pdf
ガロア理論入門（体と群と方程式）
大阿久 俊則
9 2 項方程式と巡回拡大 34
P36
定理 9.3 K は C の部分体であり，ガロア拡大 L ⊃ K のガロア群 G := Gal(L/K) が位
数 n の巡回群であり，1 の原始 n 乗根は K に含まれると仮定する．このとき，ある a ∈ K
が存在して，L は x^n - a の分解体と一致する．さらに x^n - a は K 上既約である．
証明: σ を G の生成元（の１つ）とすると仮定より G = ?σ? = {idL, σ, . . . , σn-1} となる．
1 の原始 n 乗根 ζ を１つ固定して，写像 h : L → L を
h(α) = α + ζσ(α) + ・ ・ ・ + ζ^(n-1)σ^(n-1)(α) (∀α ∈ L)
で定義する（h は体準同型とは限らない）．
h(α) はラグランジュの分解式 (Lagrange resolvent) と呼ばれる．
idL, σ, . . . , σn-1 は相異なる L の自己同型
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%B3%E3%83%9E%E3%83%BC%E7%90%86%E8%AB%96
クンマー理論
クンマー拡大
クンマー理論 レス数が950を超えています。1000を超えると書き込みができなくなります。
