[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net (718ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
170(16): 現代数学の系譜11 ガロア理論を読む 2016/02/20(土)08:59 ID:hcRZhugX(3/11) AAS
>>140
どうも。スレ主です。
書く前にリターンで投稿されてしまった
>p110で補助定理４を証明しているが、これは明らかに間違いではないのか。
補助定理４は、彌永本の書き方だね。倉田本も守屋本も、補題IVとしている
さて
（彌永2 P237より）
省11
172: 現代数学の系譜11 ガロア理論を読む 2016/02/20(土)09:16 ID:hcRZhugX(5/11) AAS
>>170 戻る
>実際， (a,b,c,・・・,dの)すべての順列につきV-ψ(a,b,c,・・・,d)
これ彌永本の誤植だ。守屋本では、「(a,b,c,・・・,d)の」となっている
まあ、(a,b,c,・・・,d)という書き方も、現代風じゃないけど。いまは、こうは書かない
>以上の原理が得られたところで，われわれの理論を述べることとしよう.
この一文は、守屋本では省かれている
が、Edwards本の英訳P104では、入っている
省1
174: 現代数学の系譜11 ガロア理論を読む 2016/02/20(土)09:33 ID:hcRZhugX(7/11) AAS
>>170 補足
守屋本、補題IVの数学的解説がないが
補題IVを使っている（守屋本P31の）順列に対して、数学的解説7)P89で、関連解説があるよ
200: 2016/02/23(火)12:38 ID:Hcu2kjk5(1) AAS
>>199
>>188などを書いた者だが、スレ主の>>170を読む限り、その説明してくれという補題Ⅳの文章が
>（彌永2 P237より）
>補助定理IV
>Vについての方程式を作って，その(左辺の)既約因数をとり，
>Vが既約方程式の根となったとしよう. その既約方程式の根をV，V'，V'',・・・とし，
>a=f(V)が与えられた方程式の根とすれば，f(V')も同じく与えられた方程式の根となる.
省8
215(4): 2016/02/26(金)01:19 ID:4Ngtp6Te(1/4) AAS
>>212
> 単にV＝f(a)のａにｂを代入せよということではない。
俺はそのようなことをしていない。
根の一次式Vを-3/2*a+0*bとおいたのだ。
このときaとbを置換したV'は-3/2*bだ。
全然分かっていないようなので一次式Vをa-bとして以下の流れに沿って説明する。
>>170
省12
226(1): 2016/02/26(金)20:43 ID:4Ngtp6Te(4/4) AAS
>>225
> 要するに補題４が成り立つのはVを根とする方程式が既約の場合だけである。
お前は完全に混乱している。
>>206でお前は
> 既約でない例なら簡単だ。
> たとえばａ＝２、ｂ＝５の根を持つ方程式が与えられたとする。
と書いている。つまり、お前が可約な例として挙げたのはVの方程式ではなく"与えられた方程式"である。
省12
230(2): 2016/02/27(土)00:45 ID:1+fqVkkU(1/2) AAS
>>228
根a,b(a≠bとする)が有理数であれ無理数であれ、
根の一次式VとしてV=a-b(≠V')を考えることにすれば、
>>170の方法に従ってV,V'を根とするVの方程式
Π{V-ψ(a,b)}={V-(a-b)}{V-(b-a)}=0
を構成することができる。左辺は根a,bを置換して掛け合わせたものだ。
このVの方程式がQ上可約だろうが既約だろうが、>>170の方法に従い、
省7
251(1): 2016/02/27(土)23:30 ID:1+fqVkkU(2/2) AAS
>>249
> Ｖを根とする方程式が既約でないなら補題４は成り立たないのだ。
> 一体いつになったら分るのか（笑
何度でも言うが可約なVの方程式を考えたのはお前だ。
俺は>>203でなぜ可約な方程式を考えるのかとお前に尋ねたのだ。
その答えがお前の>>206だ。
>>206に対して俺は>>170の方法に沿ってfを構成した。>>211
省27
253(3): 2016/02/28(日)00:08 ID:TRx0RPe2(1/9) AAS
>>250
> 与えられた方程式が有理数を根とする可約方程式なら、
> 根で作る有理式Ｖの値は有理数になってしまうわけで、
> Ｖを根とする既約方程式はＶ－ｑ＝０という式しか作れない。
> この方程式の値はＶだけでＶ´は存在しないから、
> 結局、他の根をf(V´)という式で表わすことはできないのである。
>
省21
261(1): 2016/02/28(日)09:43 ID:TRx0RPe2(3/9) AAS
>>259
お前ははっきりと間違えている。>>170をよく読めと言っただろう。
>>170
> Vについての方程式を作って，その(左辺の)既約因数をとり，Vが既約方程式の根となったとしよう.
ガロアは
『Vについての方程式を作って，その(左辺の)既約因数をとり，』
と言っているのだ。
省13
273(1): 2016/02/28(日)16:08 ID:TRx0RPe2(5/9) AAS
>>270
> その場合はＶを根とする既約方程式はV－ｑ＝０だけで、
> V´などは存在せず、他の根を表わすf(V´)に代入すべき V´が
> ないのだから、補題４が成立しようがない。
もしかしてお前は『A⇒B』という命題PにおいてAが偽だったとき、
Bの真偽によらずPが真となることを知らないのか？
> >>170
省17
278(1): 2016/02/28(日)20:59 ID:TRx0RPe2(6/9) AAS
>>277
> そこでもしかしたら私が間違っていたのかもしれないと思い、
> 三次方程式でも成り立つかどうか検証してみた。
> しかし計算が複雑でなかなか合わない（笑
俺は以下の例を実際に計算して確かめている。
貴方がやりたい計算とは違うかもしれないが、気が向いたらやってみてほしい。
----
省4
281(2): 2016/02/28(日)23:02 ID:TRx0RPe2(7/9) AAS
>>280
先に答えを言うと、>>170の構成方法により、a=f(V)かつ任意のVの置換V',V'',V''',・・・に対し、
f(V'), f(V''), f(V'''),・・・が与えられた方程式の根となるようにできる。
fの具体的な形も示せる。
どうする？まずは自分で考えてみるか？
283: 2016/02/28(日)23:20 ID:TRx0RPe2(8/9) AAS
>>282
俺は以下が真であることを示せる。お前は偽だと主張するか？
>>281
> 先に答えを言うと、>>170の構成方法により、a=f(V)かつ任意のVの置換V',V'',V''',・・・に対し、
> f(V'), f(V''), f(V'''),・・・が与えられた方程式の根となるようにできる。
285(8): 2016/02/28(日)23:44 ID:TRx0RPe2(9/9) AAS
与えられた方程式はh(x)=x^3-6x^2+11x-6=0である。
根をa=1,b=2,c=3とし、一次式V=2a+3b+5cを考える。
[根と係数の関係]
与えられた方程式の左辺は(x-a)で割り切れることから
x^3-6x^2+11x-6 = (x-a)(x^2-(6-a)x+(a^2-6a+11))と書ける。
根と係数の関係からb+c=6-a, bc=a^2-6a+11と書けることに注意する。
[Vの方程式Π{V-ψ(a,b,c)}=0]
省27
308(1): 2016/03/01(火)22:12 ID:5xrj7S94(3/5) AAS
>>304
> つまり与えられた方程式x^3-6x^2+11x-6=0と
> 7a^2+(4V-108)a+V^2-48V+584=0 の共通解が
> この方法で求められるということか。
>>170の補助定理Ⅳの後段を引用する。
> 与えられた方程式とF(V，a)= 0からa=f(V)が得られたように，
> 与えられた方程式とF(V,b)= 0から次の根b= f(V')となることが得られるであろう.
省5
313(1): チラ裏以下の素人 2016/03/02(水)10:19 ID:9qmWOakD(1/6) AAS
>>311
そういう意味なら分からなくもないが、訳文を読むと、
どうもそういう意味には受け取れないのである。
彌永の訳は>>170の通り。守屋の訳は
F(V、a)=0がVにおいて最初の文字[a]を除いたすべての文字に
順列を行って得られる方程式とせよ。そのときF(V´、b)=0となる。
ここで、ｂはａに等しいかもしれないが、もちろん与えられた方程式の
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s