ガロア第一論文と乗数イデアル他関連資料スレ18

前スレが1000近く又は1000超えになったので、新スレを立てる

https://rio2016.5ch.net/test/read.cgi/math/1746597368/
前スレ ガロア第一論文と乗数イデアル他関連資料スレ17

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik

＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)

あと、テンプレ順次

つづく

>>695
他人の行動を己の思うように操作しようとして思うようにいくなら、
自然界は人間の思うように操作出来る筈だが、
大抵の場合は現実にはそうなっていない
というのが>>690に書いた実例でもある

>>696
バカは自分のいいたいことばかりいう
バカがバカなことやってるからやめとけといってる
やめなければバカとして終わる

>>697
余計なこというな

>>697

>>696の「自然界」を「他人」に置き換えても>>696と同様なはいえる
まあ、君の行動を振り返って帰納的に
経験的な法則として気付けないなら、何いってもダメだ

>>698
ばーかばーか

数学の話をしようぜ

>>699について：
>>696と同様なはいえる → >>696と同様な「こと」はいえる

おっちゃんの「腐った証明」をAIに診てもらったことがあるが、人類共通の資源である
AIを「こんな無駄なことに使っていいのか？」と思わなくもないので、その後は
「放置が最適」という結論になった。

AIでも酷評したり、嫌気がさすような反応を示したりすることがあるんだな
ということが分かった。

１２℃
くもり

バカが利口ぶれば酷評される
それをいやがる704が偽善者

誰にもいい顔したがるのは
善人ではなくただの●違い

ただの●違いが来ました

数学科修士に対して院に落ちるとは、一体どういうことなのか？
こんなことを言われるスレに用はない。

>>700
利口な人の発言

>>697
こんな書き込みを毎日見せられる人達の身にもなれ、以上。

以上と言ったが、最後に自分では有益だと思える話を。

p群がべき零なのは、p群の中心が単位元とは異なるためだろう。（べき零群は昇・降中心列と関連していたはず。）
p群の中心が単位元でないのは、類等式から示すのだろう。

今の心情で細かく調べるのは困難だから、もし違ったら訂正しておいてくれ、最後のお願いだ。

交代群の話で私は重要な指摘をした覚えがあるが、人にはそれぞれ専門というものがあるのだから、それに配慮しないのはどうかと思う。
1さんのスレでは基礎論に傾倒している方が多いように思えるが、私はどうも興味が湧かないので、突っ込まれる前においとまする。

何故か小文字になっている

>>713の冒頭について訂正：
任意の実数aに対して、最小のaより大きい正の整数Mが存在して、
→ 任意の実数aに対して、最小の |a| より大きい正の整数Mが存在して、

任意の a＞−1 なる実数だけなく、任意の a≦−1 なる実数aも含めて
実数 γ_n＝1＋1/2＋…＋1/n−log(n＋a) を定義することは出来る

>>715の後半の下半分について：
任意の a＞−1 なる実数だけなく、任意の a≦−1 なる実数aも含めて
→ 任意の a＞−1 なる実数「a」だけなく、任意の a≦−1 なる実数aも含めて

１５℃
晴れ

１７℃
晴れ

>>709
じゃ書き込むな

>>711
じゃ見るな

>>712
>交代群の話で私は重要な指摘をした覚えがあるが
妄想だろう

>>712
>人にはそれぞれ専門というものがあるのだから
ない人もいる　君がそう

>>712
>私はどうも興味が湧かないので、
>突っ込まれる前においとまする。
数学に興味のない人は
永遠に御暇するのが利口

>>713
こんな書き込みするのは利口でない

>>721
5次以上の交代群は全ての元が共役だから、自明でない正規部分群は存在しないという、ガバガバな発言をしていたと思うけど。

>>722
これは認めよう。
年齢も1ミリくらいは考慮してほしいね。
あと10年勉強したら、何か専門らしいものも出来るかもしれない。

>>725
君が？

批判されるのなら私も対抗するが、御大に無欲と無力は似て非なるものと指摘されていたが、正直私もそう思っていた。
院で専攻を変えたのが食べていけることを考慮してのことなら別に納得するが、そうでないのなら何故変えたのとは言いたくなる。

>>727
貴方が言ったはず。
私は書き込み方法を変更したから、過去ログが探しにくくなっている。
探し出せたら報告しても良いよ。
ただね、私は基本的に平和主義者だから、批判されない限り、こちらから批判することは極力したくないからね。
板の住人の目を汚したくも無いし。

>>721
これに関しては貴方からガバガバな論理を聞いて、私は時間をかけて理解しますと言った覚えがある。
過去ログが探せるのなら、自分で探してみると良い。

私は不用意に他人の意見を否定はしない。
私だって勘違いするときなんて、いくらでもあるのだから…。

悪いことは言わないから、無数目に集中して下さい。
1さんのスレによって、日常生活に支障が出るのは嫌なんですよ。

>>725
「3次の巡回置換が全て共役だから」と発言していたかな。

>>709
じゃ去れば？　用無いんでしょ？　なんで去らないの？

そういうこと書くからじゃん。
上の書き込みは前に書いたことだからね。
1さんのスレで本当に絡むのを辞めてくれ。

あぼーん

>>724
任意に実数aを取ったとき、
|a|より大きい最小の正の整数Mが存在して、
任意の n≧M なる正の整数nに対して第n項 a_n を
a_n＝1＋1/2＋…＋1/n−log(n＋a) と定義すれば、
オイラーの定数γは収束する片側無限列 (a_n)_{n≧M} の極限として
γ＝lim_{n→+∞}(a_n)＝lim_{n→+∞}(1＋1/2＋…＋1/n−log(n＋a))
と表されるから、>>713に書いたような単純な式や文章で済む訳がなかろう
例えば、a≦−3 のときは log(n＋a) を定義する正の整数nは n≧4 を満たすから
>>713に書いたようなことは通用しない

a＞−1 なる任意の実数aだけではなく、a≦−1 なる任意の実数aについても
n＞|a| のとき第n項 a_n＝1＋1/2＋…＋1/n−log(n＋a) を考えることは出来る

>>712
>1さんのスレでは基礎論に傾倒している方が多いように思えるが、私はどうも興味が湧かない
基礎論に基礎付けされない数学は砂上の楼閣。それどころか重要な発見が基礎論からもたらされることもある。IUTが今やってるLean検証も基礎論の一分野である証明論の応用
ま、何に興味持つかはまったく自由だから押し付ける気なんてサラサラ無いけど

>>735
そういうことも何も、用が無いと言ったのは君自身

>>738
貴方にだって、これはどうも性に合わないって分野が、少なくとも一つくらいはあるだろう？
出されたものは何でも食べられる人って、そんなにたくさんいるとは思えないよ。

>>713
じゃ実際の証明を書けば？　実際じゃない証明をわざわざ投稿する意味はなに？

絡まれなければ書き込まないよ。
上の人は丁度いま、私の書き込みにきづいたから、黙っていられなかったんだろう。
それ以上は、私が書いた批判は見当たらないと思うよ。

>>740
だから押し付けてないよ自由だよって言ってるのになんでキレるの？

キレてはないよ。
偏食家の人は結構多いんじゃないのって言いたかっただけだよ。

名前欄を消すのを忘れてた。

>>739
証明全体をAIで検証する訳ではなく、
証明の一部を切り取ってAIで熱心に
検証する人がいるので注意書きしただけ

まあ、とにかく無数目に結論を付けてよ。
漫画は分かりやすく書かれたんだろうから、あまり悪く言ってあげないでよ。
1ミリも分かんないのに、意見するのはおこがましいけどね。

>>728
人生相談は他所でやってくれる？

>>744
多いから何？
君はいつも重要なことを言わず無意味なことばかり言う

>>741
証明が長いから、ここには書かない

>>748
絡まれるから、何か批判せなアカンやん。
批判材料にケチつけられたら、どうしようもないでしょw

>>729
じゃ数学板去れば？　基本批判合戦だよ　馴れ合いたければ馴れ合い板へ

>>749
必修のところをきちんとやっていれば、専門は自由でしょってことを言いたい。
やることやってたら、自由も認められるでしょ。

>>750
じゃ中途半端に語らず黙れ

>>752
それを把握するのに時間が掛かったということ。
良心的な住人も中には居るんじゃないの？
穏やかに議論できる人を掘り出してみたいものだがねぇ。

>>754
だから、絡まれなければ黙るんだってw
前に消えにくかったのは、貴方が執拗に絡んでくるからだよ。
実際に黙ってる期間がある訳だから、私はきちんと約束を守っているよ。

>>732
支障あるなら去ったら？

うん、だから消えてる最中。
無数目に集中しなよ。
結論出るのにすごく時間がかかりそうだけど。

>>746
証明全体をAIで検証すればいいだけでは？　何が不満なの？

>>747
結論なんて10年以上前に出てる
ヒト語の通じないサルがキーキー吠えてるだけ

>>751
いみふで草

>>753
誰が自由を奪ってると？　仮に奪う輩がいたとして無視すればよいだけでは？
言ってることがさっぱり分からん

>>760
話が全く分かんないから、誰が貴方に反対しているのかさえ分からないんだよ。
挙句の果てに漫画批判始まってるしw
数学科の人が相手なら、正しいことを言えば言いくるめられるでしょ。
こんな専門も無いような訳分かんない奴の相手なんかしてないで、とりあえず基礎論には精通していそうな人と議論しなよ。

>>755
どうぞ
君ってお気持ち表明ばっかだね

良いじゃん、天皇みたいでw

>>756
用が無いは嘘で有るってこと？　何が言いたいのやら

>>754
まあ、恐らくここにオイラーの定数γの有理性の証明
をすべて書いても理解出来る人はここにはいないだろう

>>758
消える君が指図しなくてよくね？

>>763
分らないなら黙ろう　無駄口は慎もう

>>768
それはごもっとも。
とにかく、今ごろ私の批判に気づかれたから、時間差で反論されたということ。
もう私が書いた批判はどこにもないよ。
私は批判されなければ、何も言わないから大丈夫だよ。

>>767
そう思うなら黙れば？

>>770
なんでここに居るの？

>>769
それもごもっとも。
今の無数目の流れでは、私はまともに話せないから必然的に用済みということ。
院試を解く取り組みが廃止されたら、私がスレにつけ入る隙は無いってこと。

>>729
>貴方が言ったはず
それも妄想

>>772
前と同じやり取りをしないでねw
私の話題が挙がらなければ、書き込む必要も無くなる。
そういうこと。

>>773
そう思うなら去れば？

>>774
妄想しながら消えますw

>>733
妄想

>>775
去ればいいだけ　話題が挙がったかすら認知できない

>>776
貴方とコントをするつもりは無いよw
誰か無数目の話を書いてくれよ。

>>780
なんで分からない無数目が気になるの？　まったく不可解
結局>>772に答えてないし

>>779
さすがにしばらくは気になるじゃん？
現に今朝、話題が挙がったのだからしょうがない。

>>759
>>771
AIの使用法を間違えて証明検証がいるので注意書きしただけ
AIに尋ねたことはあるが、AIが出す回答には
現実とは違った内容や事実を書いて
回答することが比較的多くあった
やはりAIは当てにならないモノだな

>>782
君って、自由を奪うなとか言っておきながら、他人の発言を規制したがるね　だぶすたじゃね？

シン応援スレばかり見て、ガロアスレを見ていなかったんじゃないの？
だから今ごろ、私の批判に気づいたんだよ。
重ねて言うが、新たな批判は攻撃されない限り書くつもりはない。
私は争いが勘弁なんだよ。

>>783
AIの使用法を間違えて証明検証がいる
→ AIの使用法を間違えて証明検証している人がいる

>>784
匿名性にかこつけてという部分が、さすがに看過できないところがある。
そのあたりがもう少しマイルドになれば、完全に自由にやれば良いと思う。

>>783
君が質問をちゃんと書けてないか回答を理解できないかのいずれかまたは両方じゃね？　いまどきのAIは賢いよ　少なくとも君よりは

>>785
>>752

>>787
誰も君に警察役を期待してないことが分からない？　それ病気

>>788
或る人物の所属する機関や組織を
明らかに間違えて回答していることがあった
これに限らず、AIに問い詰めて間違っているのではないかと指摘しつつ
再度更に尋ねたら、正確な回答を出すということが多々あった

>>790
10数年くらいやってるのか知らないけど、私抜きならそんな役が不要なのは分かるよ。
日常生活に支障が出ると言ったが、実は明日かなり重要な用事があって、今日の内に色々と準備しておきたいんだ。
物理的にそろそろレスがしにくくなってしまうから、明日の夕方までは5chは無理かもしれないから宜しく。

>>791
>再度更に尋ねたら、正確な回答を出すということが多々あった
じゃいいじゃん　何も不満無いじゃん

>>792
断る必要無い　別に君がいなくても誰も何も困らない

>>793
AIの回答の精度の良さはそんなモンだよ