[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
621(3): 2023/01/09(月)18:40 ID:ql2QAJQW(1) AAS
>>607
多少周波数成分が欠落しても
無限に高周波成分まで取り出すことで無理やり誤魔化してるのが
イデールアデールだと思ってるけど
違うんかな？。
622(2): 2023/01/09(月)19:16 ID:CARIpwm4(1/2) AAS
>>621
違いますね。
>無理やり誤魔化してるのがイデールアデールだと思ってるけど
無理やり誤魔化して数学理論になると思ってるのが間違い。
自分が自然なモノとしての理解が得られなかったからといって
「無理やりな誤魔化しだ〜」という負け犬の遠吠えｗ
数学理解が初歩から躓いているという点では1と同じ。
623(2): 2023/01/09(月)19:19 ID:CARIpwm4(2/2) AAS
1の場合は、分からなくても「うんうん分かったぞ。ここに書いてある」
と文献と書いてある場所を覚えるｗ
624: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/09(月)19:34 ID:s+XS+LCC(23/25) AAS
>>621 そんなむずかしいことはわかりませんわぁｗ
>>622 さすが自信に満ちた言葉ですな 師匠ｗ
625(1): わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/09(月)19:38 ID:s+XS+LCC(24/25) AAS
>>623
>1の場合
>分からなくても「うんうん分かったぞ。」
一番アカンやつやねｗ
分からんのに分かったといったらウソつき
分からんけど書かれた通りにやってみる、というのはあり
やって確かめな実感できんことはある
1はとにかく自分の手を動かさない
理屈が分からんでも計算するのが工学屋
計算すらしないのはもはや只の馬鹿
626(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/09(月)20:12 ID:xY+wMPX4(4/8) AAS
>>595 追加
>外部ﾘﾝｸ[pdf]:joelshapiro.org
>Solution by Radicals and the DFT January 11, 2019 Jim Rulla
（DFTとLagrange resolventとの関係）
これのP8より
The DFT of the roots is
＜下記は行列です。原文ご参照！＞
[1 1 1 1](r1)＝(r1 + r2 + r3 + r4) ・・・・・(B4)
[1 -i -1 i](r2) (r1 - r2i - r3 + r4i)
[1 -1 1-1](r3) (r1 - r2 + r3 - r4)
省15
627(1): わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/09(月)20:43 ID:s+XS+LCC(25/25) AAS
>>626
>トップの1行目は、単純な根の和
>3行目は、Lagrange resolventではない！
わかってないなｗ
1行目も3行目も当然必要
>>111-113を見よ
一度でも自分で計算すればわかる
一度も自分で計算しない馬鹿は一生分からん
縁なき衆生は度し難し
628(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/09(月)21:50 ID:xY+wMPX4(5/8) AAS
>>621
>イデールアデール
"代数体の類体論を記述するのに、 イデアル類群よりも自然で有効な道具として Chevalley により導入された"
か
さっぱりですが、貼る
外部ﾘﾝｸ[html]:www4.math.sci.osaka-u.ac.jp
伊吹山
整数論研究集会報告集のページ
第１回整数論サマースクール 「アイゼンシュタイン級数について」1993
外部ﾘﾝｸ[pdf]:www4.math.sci.osaka-u.ac.jp
省7
629(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/09(月)21:51 ID:xY+wMPX4(6/8) AAS
>>628
つづき
G が線型代数群のとき，それはアファイン N-空間におけるアファイン代数多様体である．アデール代数群 G(A) 上の位相はアデール環の N 個のコピーのデカルト積 AN の部分空間位相が取られる．
用語の歴史
歴史的には idele が Chevalley (1936) によって "element ideal"（フランス語で「理想元」）の名の下で導入され，Chevalley (1940) がハッセの提案に従って "idele" に省略した．（これらの論文において彼はハウスドルフでない位相のイデールを与えることもした．）これは無限次拡大に対して位相群のことばで類体論を定式化するためであった．Weil (1938) は関数体の場合にアデールの環を定義し（たが名づけなかった），Idealelemente のシュバレーの群がこの環の可逆元の群であることを指摘した．Tate (1950) はアデールの環を制限直積として定義したが，彼はその元をアデールではなく "valuation vector" と呼んだ．
Chevalley (1951) は関数体の場合に "repartitions" の名の下でアデールの環を定義した．用語 adele（additive idele の省略で，フランス人女性の名前でもある）は，まもなくその後使われた (Jaffard 1953)．アンドレ・ヴェイユが導入したのであろう．Ono (1957) によるアデール的代数群の一般的な構成はアルマン・ボレルとハリシュ・チャンドラ（英語版）によって基礎づけられた代数群の理論に続いた．
(引用終り)
以上
630(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/09(月)21:52 ID:xY+wMPX4(7/8) AAS
>>627
> わかってないなｗ
> 1行目も3行目も当然必要
なにを必死で誤解しているｗ
分かってないのは
あなたです！ｗｗｗ
631(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/09(月)22:58 ID:xY+wMPX4(8/8) AAS
>>622-623
ありがとね
> 1の場合は、分からなくても「うんうん分かったぞ。ここに書いてある」
>と文献と書いてある場所を覚えるｗ
思うに、数学科でトップクラスは、自分より下を探さない
（探さなくても、殆どがそうだろうから）
自分より下を探す数学科生は、落ちこぼれさん
自分より下を探して、自分を慰めたいんだね。きっと
そもそも、無意味でしょ？
自分自身が何を理解しているかが、根本問題であって
省17
632(1): 2023/01/10(火)03:03 ID:nk3jJXoi(1) AAS
雪江整数論3を今注文した
633: 2023/01/10(火)07:19 ID:M0jZf/Bt(1/7) AAS
>>628-629
>>イデールアデール
>か さっぱりですが、貼る
おサル恒例の「わからんけどコピペでマウント」芸ｗｗｗ
>>630
>なにを必死で誤解しているｗ
>分かってないのはあなたです！ｗｗｗ
おサル恒例の「オレ以外全て分かってない」芸ｗｗｗ
634(4): 2023/01/10(火)07:30 ID:M0jZf/Bt(2/7) AAS
>>631
数学科に限らず、トップクラスは、自分より下を探さない
（上しか見てない）
自分より下を探す１は、落ちコボレ
自分より下を探して、オレはどん底じゃないと慰める ああ、馬鹿馬鹿しいｗ
＞そもそも、無意味でしょ？
＞自分自身が何を理解しているかが、根本問題であって
＞他人が理解しているとか、していないとかｗ
ワカランチンがわかったつもりで初歩から誤ったこと喚いてるのはウザい
黙って失せてくれれば何もいわんよ
省23
635: 2023/01/10(火)07:39 ID:M0jZf/Bt(3/7) AAS
>>634のつづき
＞だがしかし、
駄菓子菓子？
＞私のURLの引用先の文章の量は、大体引用の10倍くらいあるんだ
＞そこから、適切に引用できていれば、理解の大筋は外していないと分かるだろう
「適切に引用できていれば、」ね
実際は、だいたいトンチンカンな箇所を引用してる
だからまったく外しまくってるとわかる
分かってないのはエテ公当人ばかり
＞かつ、ケンカを売ってくる落ちこぼれには、
省23
636(3): 2023/01/10(火)09:07 ID:ZGG332O2(1) AAS
>>634
君は1を自分より下だと見てない？
637: 2023/01/10(火)19:21 ID:M0jZf/Bt(4/7) AAS
>>636
＞君は1を自分より下だと見てない？
そうね
自分は正則行列分かってるけど、1はわかってないから
そんなん、大したことじゃないけど
1はそもそも勉強の仕方から間違ってるから
そこに気づいて直さない限り
この差は決して埋められないね 悪いけど
638: 2023/01/10(火)19:22 ID:M0jZf/Bt(5/7) AAS
>>632 なぜ３？
639(1): 2023/01/10(火)19:41 ID:M0jZf/Bt(6/7) AAS
>>231
>5次で可解群で、位数20のフロベニウス群や、位数10の二面体群は非可換だよ
>でも、非可換でも、ラグランジュ分解式だよね
これ、ガロア理論の基本定理というか
ガロア対応分かってたら
絶対に口にしない馬鹿発言だよね
F20⊃D10⊃C5⊃{e} （正規列）
Q⊂M⊂L⊂K
つまり
Gal(K/Q)=F20ならば
省8
640: 2023/01/10(火)19:55 ID:M0jZf/Bt(7/7) AAS
要するに
「ガロア群が巡回群⇔ラグランジュ分解式一回で解ける」
ってちゃんと計算して体感しないと
いつまでたっても検索馬鹿のままよね
可解群ってのは巡回群の「積み重ね」になってるってことなんで
だからラグランジュ分解式を「反復適用」すれば解けるって仕掛け
そこ分かってないから
「非可換群でもラグランジュ分解式が直接一回適用できる！」
って馬鹿発言すんのよ
カルダノやフェラリの解法を眺めればそうなってないことは明らか
省3
641(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/10(火)20:58 ID:L7mrktRJ(1/2) AAS
>>639
>ガロア対応分かってたら
>絶対に口にしない馬鹿発言だよね
>F20⊃D10⊃C5⊃{e} （正規列）
これ、ガロアの第一論文読んでたら
絶対に口にしない馬鹿発言だよ
”F20⊃D10⊃C5⊃{e} （正規列）”は、後講釈だよ
かつ、ガロアは奇素数ｐ次の方程式がべき根で解ける条件として
線型群を導いたんだ
上記は、単にp=5と置いたときだけの話
省7
642(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/10(火)22:18 ID:L7mrktRJ(2/2) AAS
>>267
>外部ﾘﾝｸ[pdf]:www1.kcn.ne.jp
>MeBio 数学テキスト (2014.12.27 20:42)
> 1 の n 乗根の巾根表示
> -n = 11, 13, 7-
間違い見つけた！
P5
β^σ^4= α4 + α0η + α2η^2 + α3η^3 + α3η^4 = βη
↓
β^σ^4= α4 + α0η + α1η^2 + α2η^3 + α3η^4 = βη
省17
643(5): 2023/01/10(火)23:24 ID:tVoPdrjb(1) AAS
結局体K自身かその代数拡大体Lを考えて、計算で導かれる
L係数の多項式P(ｘ)、それのL上での既約因子分解を決定することにより、
代数方程式F(x)=0のガロア群を決定できる。
644(2): 2023/01/10(火)23:54 ID:XhlK1o7o(1) AAS
これは言ってることはID:M0jZf/Btが完全に正しい。
1=雑談はガロア論文も表面的にしか読めてない。
ガロア論文では確か「ガウス氏の方法」と書いてあったかな？
これは要するに組成列の各群が巡回群であるようにできる
=群が可解群であれば、ガウスのDisq.Arith.の方法が
適用できるということで、それはラグランジュ分解式に
よる解法。1は問題意識を持って読んでないから
そこを素通りしている。ガロアは「それはガウスがやってるから
同様にやればできる」とあえて自分の論文では詳述してないだけで
だからといって分かってなくていいということではない。
645(1): 2023/01/11(水)00:05 ID:GKitIFxO(1/4) AAS
>組成列の各群
正確には「剰余因子群または組成因子」のことね。
646(1): 2023/01/11(水)06:30 ID:rXBeetzH(1/10) AAS
>>641
>>F20⊃D10⊃C5⊃{e} （正規列）
>>Q⊂M⊂L⊂K
>>つまり
>>Gal(K/Q)=F20ならば
>>Gal(K/L)=C5 Gal(L/Q)=C4=F20/C5
>>となるようにできる
>>だからラグランジュの分解式が使えて可解
>これ、ガロアの第一論文読んでたら
>絶対に口にしない馬鹿発言だよ
省23
647: 2023/01/11(水)06:38 ID:rXBeetzH(2/10) AAS
>>646の追加
>問題は、β^5 ∈ Fとなるかどうか？
>（書かれているが、F = Q(η) で、ηは1の虚数 5 乗根です）
>それは、ガロア群が巡回群のときには、β^5 ∈ Fが成り立つんだ
粗雑な1は、ただ「ガロア群が」というけど
Gal(K/L)=C5 なら、β^5 ∈ L と正確に書くべき
必要な情報（この場合L）を落とすから、1は勝手に混乱して、
LのところがQになっちゃう凡ミスするｗ
（ま、実際はミスじゃなくて根本的誤解ですがね）
まあ、そもそもGal(L/Q)が巡回群となる場合、
省3
648: 2023/01/11(水)06:48 ID:rXBeetzH(3/10) AAS
素数p次の方程式 x^p-2=0 のQ上のガロア群は、
CpとC(p-1)の「半直積」（直積に非ず！非可換群！）
で、２つの巡回置換で生成される
それが素数p次の場合のQ上のガロア群で最大のものとなる
というのが、ガロアの第一論文の定理
649(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)08:04 ID:AmYdnay+(1/4) AAS
>>642
>外部ﾘﾝｸ[pdf]:www1.kcn.ne.jp
>MeBio 数学テキスト (2014.12.27 20:42)
> 1 の n 乗根の巾根表示
> -n = 11, 13, 7-
（追加引用）
β^σ^0= α0 + α1η + α2η^2 + α3η^3 + α4η^4 = βη^0
β^σ^1= α1 + α2η + α3η^2 + α4η^3 + α0η^4 = βη^4
β^σ^2= α2 + α3η + α4η^2 + α0η^3 + α1η^4 = βη^3
β^σ^3= α3 + α4η + α0η^2 + α1η^3 + α2η^4 = βη^2
省18
650(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)08:17 ID:AmYdnay+(2/4) AAS
>>644
>これは言ってることはID:M0jZf/Btが完全に正しい。
> 1=雑談はガロア論文も表面的にしか読めてない。
>ガロア論文では確か「ガウス氏の方法」と書いてあったかな？
>これは要するに組成列の各群が巡回群であるようにできる
>=群が可解群であれば、ガウスのDisq.Arith.の方法が
>適用できるということで、それはラグランジュ分解式に
>よる解法。1は問題意識を持って読んでないから
ヤクザの因縁づけ そのものだねｗ
「問題意識を持って読んでないから」とか、アホなことをｗ
省43
651: 2023/01/11(水)08:17 ID:YM6R96fs(1/3) AAS
>>636
「自分より下を『探さない』」の指摘としては、余りにも御粗末｡
『探す』をスッ飛ばして、じゃあ『君は1を見下してない？』は、無いんじゃね？
1の場合は「探される前に自ら『メクラ判で分かってる』認識を恥ずかし気も無く御開帳する､
外国人の場合なら『あるある』でも日本人としては非常に稀有な珍種」だろ｡
しかも1の場合は自ら『コピペでメクラ判』を自認公言してる奴だって事は、もう知ってるんだろ？
いや仮に知らなくたって、この1の言う「知ってる」「分かってる」が
「読みかじり」「聞きかじり」「付け焼き刃」の状態で言ってしまう
日本人離れした「知ってる」「分かってる」発言であり、如何に
日本人の言う「責任を以て『知ってる』と言える」「責任を以て『分かってる』と言える」状態から
省1
652(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)08:18 ID:AmYdnay+(3/4) AAS
>>643
なるほどね
653: 2023/01/11(水)08:50 ID:GKitIFxO(2/4) AAS
>>643は実質的に意味のある内容は何も言ってない。
それを「なるほどね」とは何がなるほどなのか。
池沼同士は共鳴し合うんだねｗｗ
654(1): 2023/01/11(水)08:52 ID:GKitIFxO(3/4) AAS
1がガロアの言う「ガウス氏の方法」を
読み落としていたことを指摘したら「ヤクザの因縁」だぁ？
そっちがヤクザの因縁でしょ。
数学書や数学論文を問題意識を持って読むのは当たり前。
655(1): 2023/01/11(水)08:57 ID:GKitIFxO(4/4) AAS
>>643の文章はなぜ池沼的なのか？
それはまず言ってることにおかしな点がある。
たとえそれがミスタイプだとしても
本人に分かっている形跡がまったくない。
なぜ分かってもいないことを
あえて書くのだろうか？
分かっていないのに分かった気になりたい
というのが正に1の同類。
656: 2023/01/11(水)09:01 ID:YM6R96fs(2/3) AAS
中森 明菜、少女A。人間。タレント｡
馬鹿盛 呆（れられ）雄、集合A。馬を父に持ち鹿を母に持つ交雑種。永久自宅謹慎｡
>>625
> 分からんのに分からんといったらウソつき
ちょっとニュアンスが違う。このスレの>>1投稿者の集合A爺なる父が馬で母が鹿の交雑種は
日本人が言う『I can not speak English.』を否定する外国人の感覚｡
1000点満点中700点以上じゃないと英語を話せると言えないと考える日本人を尻目に
たった50点でも『英語を話せる』と恥ずかし気も無く公言できる
外国人でたまに見掛けるタイプの、勘違いグローバル認識症。だから実際、SetA爺は過去に
『選択公理（←これも集合A爺がよくやらかしてた誤用表現）次第で何でもアリ』認識で
省3
657(1): 2023/01/11(水)09:44 ID:YM6R96fs(3/3) AAS
>>502 >>508
無収入じゃないビジネスマンアピールしてた癖に、世間一般に於ける同意の意味どころか
「同意」を文学上の意味も飛び越えた過剰拡大解釈した使い方しやがって。そんなの「『部分的に』同意」ですらねぇよ｡
更に、世間一般として同意に際して同意による仲間づくりすりより性を意識した扱いを全く心得られてない｡
外国人でさえ意識する同意の肩持ち性をお前は全く意識できていない｡
『メクラ判で分かった認識』症な上に「世界で唯一自分だけの定義や世界唯一の自己流」を世間外向きに濫用とか
いくらお前が雄馬と雌鹿との間に産まれた交雑種な上に「責任なんかクソくらえ」発言の糞食進言家だからって
お前の拡大解釈の無節操過ぎだろ、いや無節操過ぎじゃ済まないだろ、無上限無下限だろ｡
お前のやってる事や生き方や根源的理念「そんな数学があってもいい。それが21世紀の数学だよ」が
どんだけ壊れてるか分かるか？「殺されてこの世に『予備保存細胞を含む』細胞一つっきりも『残さず』死んだ『男』が
省6
658: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)16:44 ID:9r1iuqts(1/7) AAS
>>657
蕎麦屋さんか？
お蕎麦は、売れますか？
それはともかく、新年おめでとう
今年よろしくね
659: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)17:08 ID:9r1iuqts(2/7) AAS
>>654
> 1がガロアの言う「ガウス氏の方法」を
>読み落としていたことを指摘したら「ヤクザの因縁」だぁ？
>そっちがヤクザの因縁でしょ。
あれれｗ
１）パソコンでデフォルトという概念がある
下記の「デフォ」で、「基本」、「通常」、「普通」、「標準」、「一般的」、「当然」、「当たり前」
言わない 書いてない から、”読み落としていた”とか、そういう読み方は日常会話の常識外ですよ
日常会話では、そういう解釈はしない
２）しかし、一方で例えば試験答案の採点では、書かれていないことについては
省15
660(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)17:28 ID:9r1iuqts(3/7) AAS
>>655
>>>643の文章はなぜ池沼的なのか？
>それはまず言ってることにおかしな点がある。
まあ、そういいなさんなｗ
大学の数学教員で、>>643のような言い方はまずしない
（もっとも、講義の中のしゃべくりでは、こんなのも あるかも）
面白いと思ったのは、>>643のような”ぼや～～”とした発言を書く人が少ないからなんだ
貴重だと思った
例えば、紋切り型で、どこかの教科書に書かれている一節を
書き写せば、それはそれで恰好はつくだろうが、二番煎じだ
省11
661(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)18:27 ID:9r1iuqts(4/7) AAS
>>645
>>組成列の各群
>正確には「剰余因子群または組成因子」のことね。
重箱の隅は承知で書かせてもらうよ
１）「剰余因子群または組成因子」は、下記のwikipedia"組成列"からのコピペ引用と思うけど、”剰余因子群”がヘンだぞｗ
外部ﾘﾝｸ:ja.wikipedia.org
組成列
概要
この部分群の有限列 (Gi)0<=i<=n を組成列と呼び、剰余群の列 (Gi-1/Gi)1<=i<=n を剰余因子群または組成因子と呼ぶ。また、部分群の個数 n を組成列の長さと呼ぶ[1]。
つづく
662(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)18:33 ID:9r1iuqts(5/7) AAS
つづき
２）実際、下記 日大 佐々木隆二氏は、”組成剰余群列”としている
つまり、上記１）の”剰余群の列＝剰余因子群”とするのが用語的にヘンだよ （列＝群のところがね。組成因子は可）
Manuscript 佐々木隆二 日大
http://数学.日大/佐々木隆二/fa75a316529d0ac746d8f50958ba66ed.pdf
代数学の基礎 佐々木隆二 日大 2011
P48
Λ-正規列
Λ-組成列の剰余群列を特に Λ-組成剰余群列 という
つづく
663(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)18:34 ID:9r1iuqts(6/7) AAS
>>662
つづき
３）そもそも、”剰余因子群”という用語が、正規の学術用語では ないのでは？
実際下記wikipedia商群では、剰余群 or 因子群だよ？（上記佐々木氏は”剰余群”だよ）
外部ﾘﾝｸ:ja.wikipedia.org
商群（英: quotient group, factor group）あるいは剰余群、因子群とは、群構造を保つ同値関係を用いて、大きい群から似た元を集めて得られる群である。
(引用終り)
要するに、（特に）ja.wikipediaは、こういういい加減なことがあるので
気を付けないといけないってことだね
そもそも、冒頭の「組成列の各群」のままの方が、よほど意味わかると思うぜ
省1
664: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)18:38 ID:9r1iuqts(7/7) AAS
>>682 補足
> Manuscript 佐々木隆二 日大
> http://数学.日大/佐々木隆二/fa75a316529d0ac746d8f50958ba66ed.pdf
> 代数学の基礎 佐々木隆二 日大 2011
これ、URLが通らないので仕方なく崩した
検索たのむ
665: 2023/01/11(水)19:37 ID:rXBeetzH(4/10) AAS
>>649
>β^σ^0= α0 + α1η + α2η^2 + α3η^3 + α4η^4 = βη^0
>β^σ^1= α1 + α2η + α3η^2 + α4η^3 + α0η^4 = βη^4
>β^σ^2= α2 + α3η + α4η^2 + α0η^3 + α1η^4 = βη^3
>β^σ^3= α3 + α4η + α0η^2 + α1η^3 + α2η^4 = βη^2
>β^σ^4= α4 + α0η + α1η^2 + α2η^3 + α3η^4 = βη^1
>これ、根 α0 、α1、 α2、 α3、 α4の置換としても
>綺麗に巡回置換になっています
>α0→ α1→ α2→ α3→ α4→ α0
>ですね
省16
666: 2023/01/11(水)19:51 ID:rXBeetzH(5/10) AAS
>>231
馬鹿1>非可換でも、ラグランジュ分解式だよね
639
私> F20⊃D10⊃C5⊃{e} （正規列）
私> Q⊂M⊂L⊂K
私> つまり
私> Gal(K/Q)=F20ならば
私> Gal(K/L)=C5 Gal(L/Q)=C4=F20/C5
私> となるようにできる
私> だからラグランジュの分解式が使えて可解
省23
667: 2023/01/11(水)19:59 ID:rXBeetzH(6/10) AAS
643
>結局体K自身かその代数拡大体Lを考えて、
>計算で導かれるL係数の多項式P(x)、
>それのL上での既約因子分解を決定することにより、
>代数方程式F(x)=0のガロア群を決定できる。
652
馬鹿1>なるほどね
653
玄人> 643は実質的に意味のある内容は何も言ってない。
玄人> それを「なるほどね」とは何がなるほどなのか。
省14
668: 2023/01/11(水)20:01 ID:rXBeetzH(7/10) AAS
>>661-663
糞虫1が悔しさのあまり無理矢理なイチャモンｗｗｗ
669: 2023/01/11(水)20:26 ID:rXBeetzH(8/10) AAS
>>660
＞大きく打てば大きく響き、
＞小さく打てば小さく響く
糞虫1の転がす糞玉はどう打ってもベチャッと潰れるだけｗｗｗ
670: 2023/01/11(水)20:29 ID:rXBeetzH(9/10) AAS
糞虫について
糞を食う種でも、糞以外の餌に集まる場合もある。
センチコガネは糞を食うが、キノコの腐ったものなどにも集まる。
コブスジコガネ類は糞に集まることもあるが、
真の餌は動物の毛や骨などで、むしろ死体に集まることが多い。
マグソコガネ類は糞に集まる種も多いが、
種によっては朽ち木や植物質を食うものも知られる。
なお、何を食うか判っていない種もある。
671: 2023/01/11(水)20:32 ID:rXBeetzH(10/10) AAS
ちなみに糞虫は実に美しいものがある・・・
ならまち糞虫館
外部ﾘﾝｸ:www.hunchukan.jp
なんか行ってみたいｗ
672(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/11(水)23:18 ID:AmYdnay+(4/4) AAS
>>636
>>>634
>君は1を自分より下だと見てない？
ID:ZGG332O2さん、ありがとう！
必死チェッカーもどき 下記ね
なるほど
見る人がみれば、>>634 ID:M0jZf/Bt氏の数学力がショボいと分かるんだろうねｗ
勿論、私も同じだけど、サイコパスのおサル>>5も、同様だってことだなｗ
見る人がみれば、分かるんだねｗ
(参考)
省19
673(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/12(木)00:01 ID:x7NPo+If(1/4) AAS
>>465 より再録
外部ﾘﾝｸ[pdf]:www1.kcn.ne.jp
1 の n 乗根の巾根表示
-n = 11, 13, 7-
2014.12.27 M.Kamei
P9
§ 10 C に埋め込んでの数値計算
ξ = exp^2πi/55= cos2π/55+ isin2π/55とおく．
ζ = ξ^5, η = ξ^11 である．
(引用終り)
省23
674: 2023/01/12(木)06:15 ID:Cb9y8kOW(1/6) AAS
>>672 ラグランジュ分解式も理解できん糞虫がなんかいっとるｗ
675: 2023/01/12(木)06:25 ID:Cb9y8kOW(2/6) AAS
>>673
>1の11乗根のべき根表示には、クンマー理論から1の5乗根が必要で
なぜだか説明できるか？ 糞虫ｗ
>そのために、1の55乗根（55＝5・11）に埋め込んで計算している
でも問題の解決には全く意味なかった それが分かるか？ 糞虫ｗｗ
>これは、数学ではよく使われる手で、高次元に埋め込む手法”
したがって上記は馬鹿素人の完全な妄想 分かるか 糞虫ｗｗｗ
>さらに考えると、
下手な妄想 休むに似たり 分かるか？ 糞虫ｗｗｗｗ
>x^5 - β^5 = 0 の解であり、
省17
676: 2023/01/12(木)06:31 ID:Cb9y8kOW(3/6) AAS
そういえば、糞虫は以前
「Gの正規部分群Hがアーベル群で、
剰余群G/Hもアーベル群なら
GはHとG/Hの直積だからアーベル群！」
とか馬鹿なことほざいてたなｗｗｗ
F20の正規部分群C5は巡回群だからアーベル群
F20/C5であるC4も巡回群だからアーベル群
しかしF20はアーベル群ではない
つまりF20はC5とC4の直積ではなーい！ｗ 半直積だ
直積と半直積の違いが分かるか？ わからんだろうな
省3
677: 2023/01/12(木)07:23 ID:Cb9y8kOW(4/6) AAS
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
クロネッカー＝ウェーバーの定理 (Kronecker-Weber's theorem)
K を有理数体上のアーベル拡大体としたとき、ある整数 m＞＝ 3 が存在して、
K⊂ Q(ζm) 。
例えば、二次体はアーベル拡大体であるので、
クロネッカー＝ウェーバーの定理より、ある円分体の部分体になる。
クロネッカー＝ウェーバーの定理は、基礎体が有理数体であるときを考えているが、
基礎体を虚二次体にしたときも、同様なことが成立するかを問うたのが、
クロネッカーの青春の夢である。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
省6
678(2): 2023/01/12(木)07:29 ID:Cb9y8kOW(5/6) AAS
糞虫の（嘘）定理
「いかなる可解群もアーベル群である」
（嘘）証明
いかなる可解群も、定義より正規部分群を反復して取り続けることにより
自身と単位群以外正規部分群を持たないアーベル群にいきつく
また、定義より剰余群もアーベル群である
Ｇの正規部分群がアーベル群で剰余群がアーベル群ならばＧもアーベル群である！
したがって、可解群はアーベル群にしかなり得ない！
は~い、上記の（嘘）証明のどこが嘘でしょうか？あててごらんｗ
679(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/12(木)10:48 ID:x9Rqr1y2(1) AAS
>>678
>>672 >君は1を自分より下だと見てない？
なるほど
見る人がみれば、>>634 ID:M0jZf/Bt氏の数学力がショボいと分かるんだろうねｗ
勿論、私も同じだけど、サイコパスのおサル>>5も、同様だってことだなｗ
見る人がみれば、分かるんだねｗ
680: 2023/01/12(木)11:14 ID:BPvFtgzq(1) AAS
>>679
>>673を見れば、数学力がないのは1だとわかるw
681(1): 2023/01/12(木)12:13 ID:phap4r4P(1/3) AAS
>>502
流石は安定の『世間知らずの高枕』バカ。そういうの同意って言わないから。「部分的同意」でさえねぇ｡
お前の言葉選び、やっぱり自己流なのな。小泉進次郎型バカ（何がセクシーだバカ坊が、スマートだろ）のバカ特性も持ち合わせてる事になるな｡
（↑病院勤務で医師免許は持っていないレントゲン技師を医師と公言してるレベルのバカ)
お前みたいな多様性の意味を拡大解釈過剰するバカや、言葉を世界唯一無二自己流で使い回すバカは、仕事を無くす｡
過去の収入有りますアピールに支障を来す言葉遣いや解釈披露をよくもまぁそんな連発できたもんだな｡
682(1): 2023/01/12(木)12:33 ID:phap4r4P(2/3) AAS
>>502
流石は安定の『世間知らずの高枕』バカ。そういうの同意って言わないから。「部分的同意」でさえねぇ｡
お前の言葉選び、やっぱり自己流なのな。小泉進次郎型バカ（何がセクシーだバカ坊が、スマートだろ）のバカ特性も持ち合わせてる事になるな｡
（↑病院勤務で医師免許は持っていないレントゲン技師を医師と公言してるレベルのバカ)
お前みたいな多様性の意味を拡大解釈過剰するバカや、言葉を世界唯一無二自己流で使い回すバカは、仕事を無くす｡
過去の収入有りますアピールに支障を来す言葉遣いや解釈披露をよくもまぁそんな連発できたもんだな｡
683(2): 2023/01/12(木)12:40 ID:phap4r4P(3/3) AAS
全きメクラ資料選びは全き無駄
チョウセンメクラゴミムシなる学名が実在するが
このスレの焦れったい>>1投稿者の集合A爺SetAの学名は
クラベラレタチョウセンニモウンコショクブンカジンニモシツレイナメクラコピペバラマキゴミイカクソクイドクムシ
とすべきだな
684: 2023/01/12(木)12:49 ID:k79e4fJG(1) AAS
>>683
1はセンチコガネでしょ
見た目はキレイ でもエサは💩w
685(1): 2023/01/12(木)13:31 ID:Q4GcTARz(1) AAS
>>683 > クソイカ
クソイカに失礼、クソミマンにも失礼
クソノアシモトニモオヨバヌとすべき
× クソ≧SetA
△ クソ＞SetA
○ クソ≫SetA
◎ 糞毒≫SetA
SetAは輪廻転生させるな、不老不死にして高レベル放射性燃料廃棄物と一緒に固めて沈めろ、永久に
686: 2023/01/12(木)17:15 ID:eujZ92Wl(1) AAS
演習問題
ｍを正の整数とするとき、位数が2＾ｍである群は可解群であるか？（配点5点）。
687: 2023/01/12(木)19:19 ID:Cb9y8kOW(6/6) AAS
Wikipediaより
p-群（ピーぐん、英: p-group）とは、
任意の元の位数が p の冪になっているようなねじれ群をいう。
すなわち p-群において、各元 g は非負整数 n を適当に選べば
g の p^n-乗が単位元に一致する。
有限群の場合には、それが p-群であることと、
その群の位数 (つまり元の個数) が p の冪であることとは
同値になる（コーシーの定理 (群論)より）。
「ほとんどすべての有限群が 2-群である」という都市伝説的な予想がある。
その意味は、位数が高々 n の群の同型類の中に占める 2-群の同型類の個数の割合は
省6
688(1): 2023/01/12(木)20:33 ID:rZBdR0ez(1/3) AAS
>p-群の中心は自明でないこと
>類等式からすぐに分かる事実のひとつが、非自明な有限 p -群の中心は自明でないことである
を引用しないと。
群Gの中心=Gの任意の元と可換な元の全体のなす部分群
したがって、当然正規部分群。
よって剰余群が作れて、単位群でないならこれもまたp群。
これを繰り返せば、Gの中心=G自体 つまり可換群で終わる。
つまり可解群。
689: 2023/01/12(木)20:41 ID:rZBdR0ez(2/3) AAS
Gの位数p^nとして、n≦NならGは可解群が成立するとして
数学的帰納法を使った方が明解かな。
690(2): 2023/01/12(木)20:46 ID:rZBdR0ez(3/3) AAS
バーンサイドの定理
外部ﾘﾝｸ:ja.wikipedia.org
によると、有限群Gの位数の素因数の個数が2個でも可解群。
これによれば、S_5まで非可解群が現れなかったのは必然だったわけですね。
素因数3個が生じる最小だから。
691: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/12(木)23:47 ID:x7NPo+If(2/4) AAS
>>685
フーリエ変換やDFTで
代数方程式のべき根表示が得られる話は
どうなりましたか？
ガハハｗｗｗ
692(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/12(木)23:48 ID:x7NPo+If(3/4) AAS
>>673 追加
>>465 より再録
外部ﾘﾝｸ[pdf]:www1.kcn.ne.jp
1 の n 乗根の巾根表示
-n = 11, 13, 7-
2014.12.27 M.Kamei
(引用終り)
１）まず、記号を準備しよう（ほぼKamei氏の通り）
1 の 11 乗根 ζ11、1 の 5 乗根 ζ5、1 の 55 乗根 ζ55
ζ11＝e^2πi/11 ＝cos 2π/11 + i sin 2π/11 など
省20
693(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/12(木)23:50 ID:x7NPo+If(4/4) AAS
>>690
ありがとうございます/
それ、面白そうだね
694(2): 2023/01/13(金)00:13 ID:WX8tL/5u(1/2) AAS
>>692
Q(ζ55)⊂Q(ζ110)だと思ってる考え無しのバカ発見！
ζ110=-ζ55 なんですがｗｗ
695(1): 2023/01/13(金)00:17 ID:WX8tL/5u(2/2) AAS
>>693
>>688のロジックではなく、ただのコピペ知識である>>690
に感心するのがコピペバカらしい...
696(1): 2023/01/13(金)03:31 ID:C3eRYlyK(1) AAS
任意に有限置換群Gが与えられたときに、
それをガロア群とする代数方程式、
たとえば係数体がQであるものは
どうやって作成すればよいだろうか？
697(2): 2023/01/13(金)06:07 ID:FpegOxNI(1/12) AAS
>>692
β∈Q(ζ55)は、定義から明らかなのであって
β^5∈Q(ζ5)から導かれるわけではないがな
>>694
>Q(ζ55)⊂Q(ζ110)だと思ってる考え無しのバカ発見！
>ζ110=-ζ55 なんですが
ζ110を1の原始110乗根とするならそれでOKだが、1は
ζ110=cos(2π/110)+sin(2π/110)i
だと勝手に思い込んでるに違いないから、その場合は
ζ110=-(ζ55^28)=-(ζ110^56)=-1*ζ110
省2
698: 2023/01/13(金)06:14 ID:FpegOxNI(2/12) AAS
(cos 2π/11) は (ζ11+1/ζ11)/2 なので、もちろんQ(ζ11)
(sin 2π/11)*i は (ζ11-1/ζ11)/2 なので、もちろんQ(ζ11)
ζ5はもちろんQ(ζ11)
Q(ζ55)はζ5とζ11を含む円分体
だから β∈Q(ζ55) だというだけ
こんなことでクロネッカー・ウェーバーとかいう1が馬鹿
699: 2023/01/13(金)06:16 ID:FpegOxNI(3/12) AAS
>>695
1は考えないから、完成した知識にしか関心できない
数学でもなんでも知識の集積としかとらえられない
また知識だけあれば数学でもなんでも最前線にいけると
わけもわからず盲信する正真正銘の馬鹿
700: 2023/01/13(金)06:24 ID:FpegOxNI(4/12) AAS
1は β^5∈Q(ζ5) となる理由が解ってない
5根 cos(2πn/11) (n=1~5)
をいかなる順序で並べても、
そこから出来るβ*は
その定義式からQ(ζ55)に属する
し・か・し、それだけでは
いかなるβ*^5もQ(ζ5)に属する
つまり、β*を5乗することによって
cos(2πn/11) (n=1~5)が消える、
とは言えない
701(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/13(金)08:04 ID:YywdYBMk(1/4) AAS
>>692 補足
> ２）また、Kamei氏のβをβkameとする。βkame^5∈Q(ζ5) である
> βkame∈Q(ζ55)である
追加（自明だが）
1)βkame^5 not∈R |実数ではない
2)βkame not∈R |実数ではない
さて
βkame^5 not∈R のところ
βkame^5の選び方を工夫して
実数にできないか
省21
702(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/13(金)08:32 ID:YywdYBMk(2/4) AAS
>>696
>任意に有限置換群Gが与えられたときに、
>それをガロア群とする代数方程式、
>たとえば係数体がQであるものは
>どうやって作成すればよいだろうか？
良い質問ですね
ガロアの逆問題です（下記）
かなり解決されているが、未解決だという
大きな進展を作れば、フィールズ賞も可能性ありでしょうね
外部ﾘﾝｸ:ja.wikipedia.org
省3
703: 2023/01/13(金)08:47 ID:FpegOxNI(5/12) AAS
>>701
>βkame^5 not∈R のところ
>βkame^5の選び方を工夫して
>実数にできないかという問題だが
>出来ない気がする（不還元類似かな＊））
「気がする」で終わる（死ぬ）のが1
さて700で述べたことだが
5根の120通りの並び全てについて
ラグランジュ分解式β*がつくれるが
このうちβ*^5∈Q(ζ5)となるのは20通り
省2
704(2): 2023/01/13(金)09:11 ID:FpegOxNI(6/12) AAS
>>704
>>任意に有限置換群Gが与えられたときに、
>>それをガロア群とする代数方程式、
>>たとえば係数体がQであるものは
>>どうやって作成すればよいだろうか？
>良い質問ですね
で終わる（死ぬ）のが1
ガロアの逆問題
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
省17
705: 2023/01/13(金)09:29 ID:FpegOxNI(7/12) AAS
1に捧ぐ
動画ﾘﾝｸ[YouTube]
706: 2023/01/13(金)14:29 ID:FpegOxNI(8/12) AAS
♪三度の飯よりマウントが好き
無能をみとめて土下座をするより
死ぬのがいいわ
死ぬのがいいわ
707: 2023/01/13(金)19:13 ID:FpegOxNI(9/12) AAS
この人がおっちゃんに対してやってることを
自分はナニワのジコチュウヤンキー1に対してやる
外部ﾘﾝｸ[html]:hissi.org
708(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/13(金)19:59 ID:YywdYBMk(3/4) AAS
>>702 補足
由井典子氏 Noriko Yui 津田塾大か
寡聞にしてご存じ無かったな！
彼女の本
”Constructive Aspects of the Inverse Galois Problem”
2002
のPDFが落ちていたので貼る（最後から2行目ね）
外部ﾘﾝｸ:en.wikipedia.org
Noriko Yui
Noriko Yui is a professor of mathematics at Queen's University in Kingston, Ontario.
省12
709: 2023/01/13(金)20:32 ID:FpegOxNI(10/12) AAS
>>708
ラグランジュ分解式の初歩も分からん馬鹿が
利口ぶってトンチンカンコピペ貼るな
数学板が💩塗れになる
710: 2023/01/13(金)20:46 ID:FpegOxNI(11/12) AAS
馬鹿１は
「全ての有限群が有理数体Qのガロア拡大のガロア群として現れるかどうか」
を問うガロアの逆問題を
「全ての有限群が体Kをガロア拡大とするガロア群として現れるかどうか」
という自明な問題と取り違えた
711: 2023/01/13(金)21:00 ID:FpegOxNI(12/12) AAS
１．いかなる有限群も対称群の部分群である
２．また一般にｎ次方程式で、
そのＱ上のガロア群がｎ次対称群となるもの
が存在する
３．ガロア群がGとなるF上のガロア拡大体Kがあるとして
Gの任意の部分群Hについて、以下の性質を満たす
FとKの中間体Ｍが存在する
「KがＭ上のガロア拡大体となり、そのガロア群がHとなる」
（ガロア理論の基本定理！）
４．１，２，３により、任意の有限群Ｇについて、
省5
712(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/13(金)23:39 ID:YywdYBMk(4/4) AAS
>>694 >>697
>>Q(ζ55)⊂Q(ζ110)だと思ってる考え無しのバカ発見！
>>ζ110=-ζ55 なんですがｗｗ
>ζ110を1の原始110乗根とするならそれでOKだが、1は
>ζ110=cos(2π/110)+sin(2π/110)i
>だと勝手に思い込んでるに違いないから、その場合は
>ζ110=-(ζ55^28)=-(ζ110^56)=-1*ζ110
>と馬鹿丁寧に書かんと分からんだろうな
ふふっ
１）「ζ110=-ζ55」だってね
省18
713(1): 2023/01/14(土)00:30 ID:yEN98pXx(1) AAS
１の原始５５乗根の－１倍は１の原始１１０乗根。
１の原始１１０乗根の－１倍は１の原始５５乗根。
714(1): 2023/01/14(土)05:41 ID:pTLy1rYf(1/9) AAS
>良質の工学技術者
ハハハハハ！ これ笑うとこ？
あんた只のコピペバカやし、会社でも仕事してないやんｗｗｗ
715(1): わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/14(土)06:14 ID:AEfDxZC9(1/20) AAS
>>712
>「ζ110=-ζ55」だってね
>これ間違いだと、気付きましたかね？
おやおや、1クンは、1の原始n乗根の定義、知らないんだね
1の冪根
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
1 の n乗根の内、m (< n) 乗しても決して 1 にならず、
n乗して初めて 1 になるものは原始的 (primitive) であるという。
省24
716: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/14(土)06:15 ID:AEfDxZC9(2/20) AAS
>>715のつづき
>良質の工学技術者ならば、当然気づくべき間違いが、多いな
>根本の理解が出来てない
>これ、工学屋ならば、致命傷だな
1クンが、
工学技術者として極めて悪質であり、
工学屋失格であることが完全に露見したな
だって、
・三角関数の加法定理が分かってない
・そもそもcos(π)=-1、sin(π)＝0が分かってない
省6
717: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/14(土)06:21 ID:AEfDxZC9(3/20) AAS
かねがね、1クンは
「大学1年の数学が全然分かってない」
といわれてましたが、実は
「高校2年の数学から分かってない」
と露見しました！
いやいや、三角関数の加法定理が分かってないとは・・・
おそらく、１は
「うっかり、複素数の乗法の公式を忘れていたよ」
とシレっといいわけするでしょうが・・・ありえんわ
忘れていたのではなく、そもそも知らなかったんでしょう
省3
718: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/14(土)06:53 ID:AEfDxZC9(4/20) AAS
大学の理系学部を受験したことがある人なら
知らない人はいないといわれる鉄板ネタですが
「三角関数の加法定理の式は、複素数の乗法の式から導ける」
cos(θ+φ)+sin(θ+φ)i
=(cos(θ)+sin(θ)i)*(cos(φ)+sin(φ)i)
=cos(θ)cos(φ)+(cos(θ)sin(φ)+sin(θ)cos(φ))i+(sin(θ)sin(φ))i^2
=(cos(θ)cos(φ)-sin(θ)sin(φ))+(cos(θ)sin(φ)+sin(θ)cos(φ))i
いやー、加法定理の証明忘れても、これ忘れる奴はいない
ってくらいのもんですがねー
719: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/14(土)06:57 ID:AEfDxZC9(5/20) AAS
伝統ある大阪市立の工業高校がピンチ。
外部ﾘﾝｸ:news.yahoo.co.jp
あぁ・・・
720(1): わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/14(土)07:11 ID:AEfDxZC9(6/20) AAS
>>714
>>良質の工学技術者
> ハハハハハ！ これ笑うとこ？
嘆くところでしょうな
仮に1が自ら述べるように
「某国立大学工学部卒の工学博士様」
だとして、それが事もあろうに
「高校２年生で習う三角関数と複素数の基本が分かってない」
とするといったい大学の入試でなに問うてんだ講義で何教えてんだ
ってことになりますねぇ
省1
上下前次1-新書関写板覧索設栞歴
あと 282 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s