[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）11 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
813: わかるすうがく ◆nSGM2Czuyoqf 2022/12/17(土)09:21 ID:vkjQzDmx(7/19) AAS
>>812
>じゃ、さっさと、>>793答えてね 雑談クン
ほぼ、>>808で答えを書いてるけどね
５乗根の場合、〇乗ならＯＫで●乗はＮＧ
さあ、〇と●に入る数はそれぞれ何でしょう
ああ、もう、ここまで出かかってるわ
814(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)09:39 ID:EhW0UvWQ(2/13) AAS
>>771
>以上まあ、石井本をちゃんと読んでねってことかね
>（どのガロア本でも、似たことは書いてあるけどね）
年末忙しいので、結論を急ぐよ
下記の大阿久先生のPDFに、ちゃんと書いてあるね
（下記引用より原文の方が、圧倒的に見やすいよ）
下記大阿久より
１）”Fi = K(n1√a1, . . . ,ni√ai)”および
”Gal(Fi/Fi?1) =Gal(L/Fi?1)/Gal(L/Fi) = Hi?1/Hi は位数 ni:= [Fi: Fi?1] の巡回群である．定理 7.2 に
より，ある ai ∈ Fi?1 が存在して Fi は x^ni ? ai の Fi?1 上の分解体となる”
省20
815(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)09:40 ID:EhW0UvWQ(3/13) AAS
>>814
つづき
12 方程式のべき根による可解性
定義 12.1 K を C の部分体とする．f(x) ∈ K[x] に対して方程式 f(x) = 0 が K 上でべ
き根によって解けるまたは K 上可解であるとは，f(x) = 0 のすべての根が K の元から
出発して，べき乗根（2 項方程式の根）と 1 のべき乗根および四則演算を組み合わせて表
示できることと定義する．
定理 12.1 K をすべての 1 のべき乗根を含むような C の部分体，f(x) ∈ K[x] を 2 次以
上の多項式とする．このとき，方程式 f(x) = 0 が K 上べき根によって解けるための必要
十分条件は f(x) の K 上の分解体 L のガロア群 Gal(L/K) が可解群となることである．
省20
816: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)09:40 ID:EhW0UvWQ(4/13) AAS
>>814
つづき
(2) 十分性： Gal(L/K) は可解群であると仮定する．部分群の列
{id} = Hm ⊂ Hm?1 ⊂ ・ ・ ・ ⊂ H1 ⊂ H0 = Gal(L/K)
であって，すべての i = 1, . . . , m について，Hi は Hi?1 の正規部分群であり Hi?1/Hi は
アーベル群であるようなものが存在する．アーベル群の基本定理によって，Hi?1/Hi はい
くつかの（有限）巡回群の直和になる．従って Hi?1 の部分群の列
Hi = Gl ⊂ Gl?1 ⊂ ・ ・ ・ ⊂ G1 ⊂ G0 = Hi?1
が存在して，すべての j = 1, . . . , l について Gj は Gj?1 の正規部分群であって Gj?1/Gj
は巡回群であるようにできる．従って，最初から各 Hi?1/Hi は巡回群であると仮定して
省11
817(1): わかるすうがく ◆nSGM2Czuyoqf 2022/12/17(土)09:54 ID:vkjQzDmx(8/19) AAS
>>814
雑談クンは本当に探しものがヘタだねぇ
答えが書いてあるのはそこじゃないよ
ｐ３０の例１に書いてあるじゃない
x^3−2 = (x −2^(1/3))(x −2^(1/3)ω)(x −2^(1/3)ω^2)
これを、1の原始5乗根ζを使って書き換えれば以下の通り
x^5−2 = (x −2^(1/5))(x −2^(1/5)ζ)(x −2^(1/5)ζ^2)(x −2^(1/5)ζ^3)(x −2^(1/5)ζ^4)
省12
818(1): わかるすうがく ◆nSGM2Czuyoqf 2022/12/17(土)09:57 ID:vkjQzDmx(9/19) AAS
>>817
じゃ、同様に、>>793のQ2、答えてみて
大阿久氏のpdfにはそのままコピペできる箇所はないな
ま、答えの情報は書いてあるかもしれんけど
君は探し物が苦手だから見つけられないね
ということで自分で考えてみて
頑張って！
819(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)10:38 ID:EhW0UvWQ(5/13) AAS
>>811 追加
>自分の書いたこと＝「群の作用」
>について
>”群Gと作用域Λ 最低限この2つを定義してね”
>と言われて
>これが出来ない
>（多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなｗ）
>で、必死にゴマカスｗｗ
この人（ID:Yvnw5Kb3氏）は
ガロア理論を根本的に誤解していたんだね
省27
820(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)10:53 ID:EhW0UvWQ(6/13) AAS
>>800 追加
>ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
別に、私がガロア理論を理解しているとかいうつもりはないけど
分かってない人から、言われてもねｗ
「ガロア群の作用」ね
だから、”群Gと作用域Λ 最低限この2つを定義してね”と
ガロア群Gは、基礎体の取り方で違うよね。基礎体をどうするの？
作用域Λは？ 方程式の根とするのか、拡大体（の自己同型）とするのか？
これが、答えられないんだねｗｗｗ
省5
821(1): 2022/12/17(土)11:23 ID:Yvnw5Kb3(6/18) AAS
>>819
頭悪いね。
問は意味はなしているのだから、正しく答えればよかっただけ。
問が意味をなしていないなら、ナンセンスだけど、意味をなしているのだから。
それで、方程式を解く際にあらわれるべき根は
最小分解体に含まれないことは理解できましたか？
822(1): 2022/12/17(土)11:34 ID:Yvnw5Kb3(7/18) AAS
>>820
>ガロア群Gは、基礎体の取り方で違うよね。基礎体をどうするの？
>作用域Λは？ 方程式の根とするのか、拡大体（の自己同型）とするのか？
それが分からないのが、貴方がガロア理論を理解してないって証拠。
「ガロア群の作用」が何通りもあると思ってるんでしょ？
バカだねぇｗｗ
基礎体をどうしようが、「部分群になる」という制限が入るだけ。
>方程式の根とするのか、拡大体（の自己同型）
どちらも同じだよ。方程式の根とした場合、体のk自己同型を
根に制限したものになってるだけ。
省1
823(1): 2022/12/17(土)11:42 ID:Yvnw5Kb3(8/18) AAS
再掲>>797
10年以上ガロア理論勉強して、本も多数揃えているという1=雑談のバカ発言
>クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
アホかｗｗ
aが5乗数じゃないとき
x^5-a=0 の根たち、a^{1/5},a^{1/5}ζ_5,...,a^{1/5}ζ_5^4
はすべて共役で、ガロア群が推移的に作用している。
一方で、a=1のときa^{1/5}=1にどんなガロア群を作用させても不変ですよｗｗ
824(1): 2022/12/17(土)12:00 ID:Yvnw5Kb3(9/18) AAS
ガロアが定義したガロア群とデデキントが定義したガロア群の関係。
前者は後者の忠実な置換表現になっている。つまり同型。
本質的に同じ。特に考えている根に限ればまったく同じ。
825(1): 2022/12/17(土)12:29 ID:Yvnw5Kb3(10/18) AAS
このスレで最初にクンマー拡大の話を出したのはわたし。>>391
それに対して「論点ずらしだ〜」と泣いてるのが>>489 =1=雑談
全然論点ずらしじゃない。ど真ん中の核心を突いている。
自分が理解できない話だと「論点ずらしだ〜」と泣き喚くのが1=雑談。
826: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)13:19 ID:EhW0UvWQ(7/13) AAS
>>821-825
>>811より再録
くっさぁ～！ｗ
笑えるよ
>>800より
”説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと”
省24
827: 2022/12/17(土)13:48 ID:Yvnw5Kb3(11/18) AAS
1=雑談って、>>615で
>例えば、X^2=2 だとQ(√2)で2次だが、X^2=-2 だとQ(√2,i)と4次になる
と認知症レベルの間違いしてるじゃん。
垂れ流し老人じゃんｗ
828: 2022/12/17(土)14:01 ID:Yvnw5Kb3(12/18) AAS
クンマー拡大K=k(a^{1/5}), a,ζ_5∈k
に対して、G=Gal(K/k)
円分拡大 k=Q(ζ_5) , G'=Gal(k/Q)
作用域はそれぞれK, k.
はい書きましたよ。
829: 2022/12/17(土)14:07 ID:Yvnw5Kb3(13/18) AAS
では、「円分拡大=クンマー拡大のa=1のとき」の説明できますかね？
できるわけない。間違ってるからｗｗ
830: わかるすうがく ◆nSGM2Czuyoqf 2022/12/17(土)14:57 ID:vkjQzDmx(10/19) AAS
はい すうがくのせんせいですよ
すうがくでおちこぼれたみなさん おげんきですか？
きょうも たのしくすうがくをまなびましょうね
>>818
おやおや、雑談クンは、まだ、>>793のQ2に答えてないんだね
うーん、それじゃ、円分拡大がわからないままだよ
さて、Q2について
X^4+X^3+X^2+X+1=(X-ζ)(X-ζ^2)(X-ζ^3)(X-ζ^4)
だね。
省22
831: わかるすうがく ◆nSGM2Czuyoqf 2022/12/17(土)16:08 ID:vkjQzDmx(11/19) AAS
さて、2^xを5進法で表すことを考えてみようか
１→２→４ までは10進法と同じ 問題はこの後
8は5進法で表すと・・・13だね そして
16は5進法で表すと・・・31
1の位に着目すると、
1→２→4→3→1
ついでにいうと、3^xを5進法で表しても
3^2=9=14(5進法)
3^3=27=102(5進法)
3^4=81=311(5進法)
省3
832(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2022/12/17(土)16:11 ID:EhW0UvWQ(8/13) AAS
>>574 追加
(引用開始)
>つまり、既約で可解な5次方程式の最小分解体 Q(a1,a2,a3,a4,a5)には、方程式の係数から決まるある無理数a^(1/5)が含まれる
>>570
だから、それが間違ってるって最初から言ってるじゃん。
Q(a1,a2,a3,a4,a5)/Q がガロア拡大であり、かつa^(1/5)が含まれるなら
a^(1/5)の「共役」もすべて含まれなければならない。（ガロア拡大の定義から。）
これはQ(a1,a2,a3,a4,a5)が実の体であれば矛盾する。
したがって、a^(1/5)は「含まれない」
(引用終り)
省45
上下前次1-新書関写板覧索設栞歴
あと 170 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.203s*