純粋・応用数学・数学隣接分野（含むガロア理論）12

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 1101- 2ch.scのread.cgiへ]
Update time : 04/11 23:11 / Filesize : 800 KB / Number-of Response : 1116
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：１３２人目の素数さん [2022/12/19(月) 23:31:09.57 ID:KRlSoN+A.net]: クレレ誌：
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；

＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）11
https://rio2016.5ch.net/test/read.cgi/math/1659249925/
＜関連姉妹スレ＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/1
箱入り無数目を語る部屋
Inter-universal geometry と ABC予想 (応援スレ) 68
https://rio2016.5ch.net/test/read.cgi/math/1659142644/1
IUTを読むための用語集資料スレ2
https://rio2016.5ch.net/test/read.cgi/math/1606813903/1
現代数学の系譜カントル超限集合論他 3
https://rio2016.5ch.net/test/read.cgi/math/1595034113/1

＜過去スレの関連（含むガロア理論）＞
・現代数学の系譜工学物理雑談古典ガロア理論も読む84
https://rio2016.5ch.net/test/read.cgi/math/1582200067/1
・現代数学の系譜工学物理雑談古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/1

つづく
152 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/30(金) 17:32:35.83 ID:bjNnsn/s.net]: >>135
したがって
ζ7　=1/6(①+　　②　　+③+④　　+⑤　　+⑥)
ζ7^3=1/6(①-ω　②+ω^2③-④+ω　⑤-ω^2⑥)
ζ7^2=1/6(①+ω^2②+ω　③+④+ω^2⑤+ω　⑥)
ζ7^6=1/6(①-　　②　　+③-④　　+⑤　　-⑥)
ζ7^4=1/6(①+ω　②+ω^2③+④+ω　⑤+ω^2⑥)
ζ7^5=1/6(①-ω^2②+ω　③-④+ω^2⑤-ω　⑥)
153 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/30(金) 17:37:19.32 ID:bjNnsn/s.net]: >>128-136
ま、三次方程式だから、
カルダノの公式を使うこともできるが
あえてそうしなかった

これがラグランジュ分解式の威力だよ

さて
５次「まなったん」に続き
７次「なぁちゃん」も陥落
つぎは・・・もちろん
１１次「大まいやん様」
154 名前：現代数学の系譜雑談 [2022/12/30(金) 18:00:52.13 ID:ck8O6OW4.net]: メモ
edu.isc.chubu.ac.jp/hsuzuki/iip/maxima/maxima1.html
wxMaxima(Maximaマキシマ）
Maximaは数式処理ができるフリーソフトです。
普通の計算だけでなく
方程式から解を見つける
因数分解
微分
積分
数式をグラフ化する
など、いろいろな処理ができます。
いくつかのバージョンがありますが、Windowsでよく使われるのがwxMaximaです。
wxMaximaのダウンロード
こちららダウンロードできます。

https://sourceforge.net/projects/maxima/files/

Download Latest Version
maxima-5.46.0-win64.exe (151.1 MB)
155 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/30(金) 18:05:53.47 ID:bjNnsn/s.net]: >>138
自分で計算しないと、数学は全く理解できないよ
156 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/30(金) 18:21:15.26 ID:bjNnsn/s.net]: >>59
＞いま、β1とか具体的数式で与えられているから
＞具体的に2項方程式 x^5-a＝0のa∈K（1の原始5乗根を含む体）を与えて
＞β1＝aでもいいけど、それで他のβ2,β3,β4を、
＞a^1/5と1の原始5乗根ηとで具体的表式で示せれば、
＞これぞクンマー拡大の典型例となる
＞そう思ったわけです
＞どうぞ、やってみてね！ｗ

（予告）
やってみたらあっさりできたｗ
ま、できるに決まってるんだがｗ
要するにβ2,β3,β4を、β1とηで表せればよい
157 名前：現代数学の系譜雑談 [2022/12/30(金) 19:50:30.73 ID:ck8O6OW4.net]: >>138
>wxMaxima(Maximaマキシマ）

ちょっとやってみた
式の展開
(x+1/x)^nで
10乗と9乗と
10乗は、指数がすべて偶数で、定数項（0次の項）がある
9乗は、指数がすべて奇数で、定数項（0次の項）がない
係数が結構大きくなるね（2項係数だから当然だが）

(参考)xMaximaの例
expand((x+1/x)^10);
x^10 + 10 x^8 + 45 x^6 + 120 x^4 + 210 x^2 + 252 + x^-10 + 10 x^-8 + 45 x^-6 + 120 x^-4 + 210 x^-2

expand((x+1/x)^9);
x^9 + 9 x^7 + 36 x^5 + 84 x^3 + 126 x^1 + x^-9 + 9 x^-7 + 36 x^-5 + 84 x^-3 + 126 x^-1
158 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/30(金) 19:59:01.85 ID:bjNnsn/s.net]: >>141
万年高校生の雑談クンらしい実験だね
159 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/30(金) 20:03:40.73 ID:bjNnsn/s.net]: どうせなら、こんなこと↓に挑戦してみたら？

円分多項式の係数を計算する - 〈105〉を超えて
https://shironetsu.はてなダイアリー.com/entry/2020/09/06/200150
160 名前：現代数学の系譜雑談 [2022/12/30(金) 20:11:29.91 ID:ck8O6OW4.net]: >>140
ご苦労様です
161 名前：現代数学の系譜雑談 [2022/12/30(金) 20:12:13.51 ID:ck8O6OW4.net]: >>143
ありがとね
162 名前：１３２人目の素数さん [2022/12/30(金) 22:30:49.56 ID:ObhvbfaG.net]: >>141
目も当てられないほど低レベル
>>144
要するに敬遠するしかないということを自白している
163 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 06:24:24.69 ID:boH/0Z/D.net]: 此のスレの>>1の投稿者の集合Aは猿ではない、痰吐き散らしメクラ公害食糞虫だ
164 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 06:25:15.16 ID:3jK34k/w.net]: ラグランジュ分解式を指標和と考えるメリット？
ポントリャーギン双対として統一的な理解が得られる。
https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%B3%E3%83%88%E3%83%AA%E3%83%A3%E3%83%BC%E3%82%AE%E3%83%B3%E5%8F%8C%E5%AF%BE
前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」
も、ほぼもろに書いてありますね。
>・有限アーベル群上の複素数値函数はその（もとの群と自然同型ではないが同型な）
>双対群上の函数としての離散フーリエ変換>を持ち、有限群上の任意の函数が
>その離散フーリエ変換から復元することができる。

これは、
「ガロア群G∋σに対して、θ(σ)=σ(θ)（θへのσの作用）をG上の函数とみなす」
「Gの双対群である指標群G^∋χとθから得られるラグランジュ分解式=べき根をG^上の函数とみなす」
とすればOK.

べき根たちは指標に付随する元の数の離散フーリエ変換として得られ
逆離散フーリエ変換で、そのべき根たちから元の数を復元できる、つまりべき根表示される。
165 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 06:31:06.28 ID:3jK34k/w.net]: ここに書いてある通り、実は巡回群より一般にアーベル群でも指標を使えばそのまま行ける。
これを大学の頃レポートで書いて提出した。
次は、そもそも「べき根の中身」にはどういう数が入るのだろうか？という疑問は当然起こる。
それが「分岐する素数」と関係するという話が「代数的整数論」に入ってくる。
166 名前：１３２人目の素数さん [2022/12/31(土) 06:43:51.26 ID:0YauhSmZ.net]: クンマーに読ませてあげたい
167 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 09:16:29.23 ID:cbuR6Msl.net]: >>148-149
びっくりするほどポントリャーギン！
…というにはまだまだ私には修行が足りない…

ところで、1の5乗根η（通称まなったんｗ）から
大まいやん様の魂？とでもいうべき11が出てきてしまったので
御報告いたします

(2η-η^3-2η^2)(2η^4-η^2-2η^3)
=(4+1+4-2η^3+2η-4η-4η^4-2η^2+2η^2)
=(4+1+4-2η^3-2η-2η^2-2η^4)
=11

(2η^3-η^4+2η)(2η^2-η-2η^4)
=(4+1+4-2η^4+2η^3-4η^3-4η^2-2η^+2η^2)
=(4+1+4-2η^4-2η^3-2η^2-2η)
=11

さて、以下の４つの数
　2η-η^3-2η^2
　2η^2-η-2η^4
　2η^3-η^4+2η
　2η^4-η^2-2η^3
になぜ気づいたのか、それは・・・

○石麻衣「気のせいですよ」
□元真夏「気のせいでこんなんなりませんよ」
○石麻衣「( ﾟДﾟ)ﾊｧ?」
https://www.youtube.com/watch?v=Fei3XnP8M0s&t=132s&ab_channel=%E3%83%8B%E3%83%A5%E3%83%BC%E3%82%B9%E3%82%A8%E3%83%B3%E3%82%BF%E3%83%A1
168 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 09:28:00.18 ID:cbuR6Msl.net]: >>151
ぬおお、一か所-を+と書き間違った！

誤　2η^3-η^4+2η
正　2η^3-η^4-2η

ということで
1の5乗根ηから11が出てきてしまった件
再度報告

(2η-η^3-2η^2)(2η^4-η^2-2η^3)
=(4+1+4-2η^3+2η-4η-4η^4-2η^2+2η^2)
=(4+1+4-2η^3-2η-2η^2-2η^4)
=11

(2η^3-η^4-2η)(2η^2-η-2η^4)
=(4+1+4-2η^4+2η^3-4η^3-4η^2-2η^+2η^2)
=(4+1+4-2η^4-2η^3-2η^2-2η)
=11
169 名前：１３２人目の素数さん [2022/12/31(土) 10:02:16.36 ID:jrZLF4aQ.net]: 体K上のガロア群Gを持つ拡大体をLとするとき、
L上での相互法則はどのようなものになるか？
170 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2022/12/31(土) 10:18:31.66 ID:rNlYJ3SK.net]: >>70
>美的数学のすすめ　ガウス和
> https://biteki-math.はてなブログ.com/entry/2015/03/17/013543
>「へーほーじょーよ」って言葉があるだろ？

もどる
（なお、TSKi氏 2015-03-17 ね、念のため）
「へーほーじょーよ」に、目がくらんで、ガロア理論的視点が抜けてないか？
(引用開始)
平方剰余とは
　pを奇素数とします。すると、(Z/pZ)×は巡回群となり原始根が存在します（see原始根の存在定理－剰余
171 名前：類の基本的な性質（その3） - 美的数学のすすめ)。 原始根の1つをrとすると(Z/pZ)×の元は、 (Z/pZ)×={1,r,r^2,?,r^p?3,r^p?2} と表せます。 このとき、 rの偶数乗 {1,r^2,r^4,?,r^p?3} のことを平方剰余といい、 奇数乗 {r,r^3,?,r^p?2} のことを平方非剰余といいます。 この定義は、原始根rの取り方によりません。（pが奇数なのでp?1は偶数になることがポイントです。） 平方剰余・平方非剰余は、(Z/pZ)×を2種類に分類します。この分類は、例えば、整数を偶数と奇数に分けたり、対称群を偶置換と奇置換に分けたりするのと同じように、自然で、基本的な分類です。 通常は、2次合同式x2≡a(modp)が解がある場合にaを平方剰余、解がない場合を平方非剰余と定義することが多いですが、この定義は不自然と感じる人や人口的に感じる人もいると思います。 ここでは、整数の偶数・奇数と同様に自然な定義であることを感じてもらうために、あえて上のような定義にしました。 つづく []: [ここ壊れてます]
172 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2022/12/31(土) 10:20:34.13 ID:rNlYJ3SK.net]: つづき

p=11の場合
　ここまでくれば、α,βのとり方が分かります。p=11のとき、mod11の原始根は2ですので、平方剰余={4,5,9,3,1}、平方非剰余{2,8,10,7,6}です。
　そこで、ζ=exp(2πi11)とおいたうえで、
α=ζ+ζ^3+ζ^4+ζ^5+ζ^9
β=ζ^2+ζ^6+ζ^7+ζ^8+ζ^10
とおくと、α+β=-1がわかります。
αβ=(ζ+ζ^3+ζ^4+ζ^5+ζ^9)(ζ^2+ζ^6+ζ^7+ζ^8+ζ^10)
　=ζ^3+ζ^7+ζ^8+ζ^9+1
+ζ^5+ζ^9+ζ^10+1+ζ^2
+ζ^6+ζ^10+1+ζ^+ζ^3
+ζ^7+1+ζ^10+ζ^+ζ^2+ζ^4
+1+ζ^4+ζ^5+ζ^6+ζ^8=5+2(ζ+ζ^2+?+ζ^9+ζ^10)=3
　したがって、α,βは、
x^2+x+3=0
の解となります。そして、この2次方程式の判別式は、-11ですので、
α-β=±√-11
となります。
(引用終り)

ガロア理論的視点では
１）p=11の場合、(Z/pZ)×は位数10の巡回群C10で
２）巡回群は、アーベルで、部分群はすべて正規部分群
３）位数5の巡回群C5を部分群にもち
４）可解列 C10⊃C5⊃{e} を構成できる
５）平方剰余で原始根rの偶数乗 {1,r^2,r^4,?,r^p-3} (1＝r^p-1) は
　巡回群Cp-1中の正規部分群C(p-1)/2であり、上記p=11の場合も同様
６）これが、ガウス和に対するガロア理論的視点でしょう

(参考)
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%BE%A4
巡回群
群を乗法的に書く場合には、位数 n の巡回群を Cn で表す（n = ∞ の場合も許す）。例えば g^3g^4 = g^2 は C5 において正しい（このことの加法的な対応物は「3 + 4 = 2 は Z/5Z において正しい」である）。
(引用終り)
以上
173 名前：現代数学の系譜雑談 [2022/12/31(土) 10:23:15.62 ID:rNlYJ3SK.net]: >>154
ああ、文字化けしているね？のところ
原文ご参照ねがう（この板でみるより、はるかに見やすいよ）
174 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 10:23:33.12 ID:3jK34k/w.net]: >>152
pを法とするディリクレ指標χ,ψからヤコビ和J(χ,ψ)を作る。
χ=ψでもよいが、χ,ψ,χψのいずれも単位指標ではないとする。
そのとき|J(χ,ψ)|=√p.
J(χ,ψ)は指標の値の体（この場合だとQ(ζ_5)）に含まれる。
したがって、J(χ,ψ)とその複素共役を掛ければpが出てくる。

ヤコビ和
https://ja.wikipedia.org/wiki/%E3%83%A4%E3%82%B3%E3%83%93%E5%92%8C

（なお、20世紀になって、ヴェイユによって「量指標」としての解釈が与えられた。
ヴェイユ論文「量指標としてのヤコビ和」）
175 名前：現代数学の系譜雑談 [2022/12/31(土) 10:34:47.75 ID:rNlYJ3SK.net]: >>146
あらら
どなた？

>目も当てられないほど低レベル
<
176 名前：br> 大口叩くなら 自分、なんか数学的に自慢できること書いてみなよ それができたら 実力を認めるよ ｗｗｗｗｗｗｗ >要するに敬遠するしかないということを自白している 敬遠？ ご冗談を しっかり引きつけて、叩きますよｗ例えば、>>155なｗｗ あと、>>141は、円分多項式から、>>21 方程式 x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0 が、数式ソフトで計算で出せるろうと思ってね wxMaximaでの試し切り中なんだよね やれる目途は立った []: [ここ壊れてます]
177 名前：現代数学の系譜雑談 [2022/12/31(土) 10:53:39.24 ID:rNlYJ3SK.net]: >>158 補足

　>>144で
”ご苦労様です”としたのは

　>>140より
”＞a^1/5と1の原始5乗根ηとで具体的表式で示せれば、
＞これぞクンマー拡大の典型例となる
＞そう思ったわけです
＞どうぞ、やってみてね！ｗ
（予告）
やってみたらあっさりできたｗ
ま、できるに決まってるんだがｗ
要するにβ2,β3,β4を、β1とηで表せればよい”
(引用終り)

で、上記で「これぞクンマー拡大の典型例となる」と言っているのは私で
予想通りの結果が得られるというから
”ご苦労様です”としただけ

なお、エクセル使ったというが
数式処理ソフトでもできる気がするけど
もしやれそうなら、自分でやってみるまでのこと
（まだ、試し切り中ですが）
その意味もこめて、”ご苦労様です”なのよねｗ
178 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 11:04:59.35 ID:3jK34k/w.net]: >目も当てられないほど低レベル

今さら敢えて言うひとは少ないだけで
1=雑談氏の数学力がせいぜい高卒レベル以下
ということは数学板住人は皆知ってること。
ムキになって反論することもないだろう。

わかるすうがく氏はガロア理論を
「ヨチヨチ歩き」レベルから始めてるとは言っても
数理論理では大学院レベルなのだから
数学そのものの理解力は段違い
妙な対抗意識は持たない方がいい。
（持った方が漫才としては面白いがｗ）
179 名前：現代数学の系譜雑談 [2022/12/31(土) 11:07:53.00 ID:rNlYJ3SK.net]: >>148-149
>ラグランジュ分解式を指標和と考えるメリット？
>ポントリャーギン双対として統一的な理解が得られる。
>https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%B3%E3%83%88%E3%83%AA%E3%83%A3%E3%83%BC%E3%82%AE%E3%83%B3%E5%8F%8C%E5%AF%BE
>前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」
>も、ほぼもろに書いてありますね。
>>・有限アーベル群上の複素数値函数はその（もとの群と自然同型ではないが同型な）
>>双対群上の函数としての離散フーリエ変換>を持ち、有限群上の任意の函数が
>>その離散フーリエ変換から復元することができる。

どうもありがとうございます/
正直、ぽかぁーんですが

こういう人は、ちょっと私らとレベルが違うね
こういう人が、何年かに一人二人来るんだ
何年かに一人二人だけどｗ

”前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」”氏も
これみたく書けば、拍手喝采で、実力を認めたのに
180 名前：現代数学の系譜雑談 [2022/12/31(土) 11:20:26.11 ID:rNlYJ3SK.net]: >>148
＞ポントリャーギン双対として統一的な理解が得られる。

ポントリャーギン双対から、ボーアコンパクト化→ Harald August Bohrへ
ノーベル物理学賞のNiels Henrik David Bohrの弟とある
”He was a member of the Danish national football team for the 1908 Summer Olympics, where he won a silver medal.[2]”
だって
サッカーやってたんだ

https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%B3%E3%83%88%E3%83%AA%E3%83%A3%E3%83%BC%E3%82%AE%E3%83%B3%E5%8F%8C%E5%AF%BE
ポントリャーギン双対
ボーアコンパクト化と概周期性

https://en.wikipedia.org/wiki/Pontryagin_duality#Bohr_compactification_and_almost-periodicity
Pontryagin duality
Contents
5 Bohr compactification and almost-periodicity

https://en.wikipedia.org/wiki/Bohr_compactification
Bohr compactification

https://en.wikipedia.org/wiki/Harald_Bohr
Harald August Bohr (22 April 1887 ? 22 January 1951) was a Danish mathematician and footballer. After receiving his doctorate in 1910, Bohr became an eminent mathematician, founding the field of almost periodic functions. His brother was the Nobel Prize-winning physicist Niels Bohr. He was a member of the Danish national football team for the 1908 Summer Olympics, where he won a silver medal.[2]

https://en.wikipedia.org/wiki/Niels_Bohr
Niels Henrik David Bohr (Danish: [?ne?ls ?po???]; 7 October 1885 ? 18 November 196
181 名前：2) was a Danish physicist who made foundational contributions to understanding atomic structure and quantum theory, for which he received the Nobel Prize in Physics in 1922. Bohr was also a philosopher and a promoter of scientific research. []: [ここ壊れてます]
182 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 11:22:41.59 ID:cbuR6Msl.net]: >>154-155
もしかして、雑談クン、年末、なんだかんだいって、検索しただけかい？
なんだかなぁ

>>157
どうも年末の間、一生懸命計算してたのは
「ヤコビ和」ってヤツなんでしょうか？

>>160
ボクは今更10代のガウスになったつもりで、ガリガリ計算してますｗ
まあいろいろ新発見があって面白いです
（そういうセリフは昭和の大学生時代に言いたかった　Ａ先生ゴメンチャイ）

P.S.
＞数理論理では大学院レベル
実はそれも怪しかった・・・
ゲーデルの不完全性定理が本当に（？）理解できたのは、実は今世紀になってから
（ああなさけないなさけない　Ｈ先生、S先生ゴメンチャイ）
183 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 11:28:52.74 ID:cbuR6Msl.net]: >>160
＞1=雑談氏の数学力がせいぜい高卒レベル
　まあ、でも計算は（ラグランジュ分解式を知ってれば）
　高卒レベルでもできるんだけどね

　そういう意味では円分体は実は初心者向けでもあると思う
　雑談クンは円分拡大を完全にすっ飛ばして、
　クンマー拡大の見た目だけで分かった気になってるからもったいない
　（重要な注：別にクンマーはディスってない）
184 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 11:31:57.91 ID:cbuR6Msl.net]: 諸般の事情で結果だけ小出しｗ

1の11乗根に現れる5乗根の中身はこいつら4匹
（ηは1の5乗根）

11(2η-η^3-2η^2)(2η^2-η-2η^4)(2η-η^3-2η^2)
11(2η^2-η-2η^4)(2η^4-η^2-2η^3)(2η^2-η-2η^4)
11(2η^3-η^4-2η)(2η-η^3-2η^2)(2η^3-η^4-2η)
11(2η^4-η-2η^3)(2η^3-η^4-2η)(2η^4-η^2-2η^3)
185 名前：現代数学の系譜雑談 [2022/12/31(土) 11:46:53.31 ID:rNlYJ3SK.net]: >>160
>わかるすうがく氏はガロア理論を
>「ヨチヨチ歩き」レベルから始めてるとは言っても
>数理論理では大学院レベルなのだから
>数学そのものの理解力は段違い
>妙な対抗意識は持たない方がいい。
>（持った方が漫才としては面白いがｗ）

それ面白いね
１）まず、おサル>>5が、だれかれ構わず噛みつく
　サイコパスであることは、数学板住人は皆知ってることｗ
２）”数学そのものの理解力”を発揮して、
　まともなことを書いてくれるのは結構です、それに反対はしない
３）だが、昨日まで「ヨチヨチ歩き」レベルだったのに
　「ヨチヨチ歩き」レベルで、妙な対抗意識を持って、だれかれ構わず、私にも噛みつくから
　このスレでは、お灸を据えていただけのことｗ
４）この性格は、変わらないだろう（サイコパスにして、ルサンチマン）
　だから、このスレでは、
　「ヨチヨチ歩き」レベルで
　態度だけデカイなら、叩きますよｗｗ

私の数学レベルは、みなさんが勝手に判断すれば良いことだが
但し、5ｃｈはプロの数学会ではない

平均は、アマチュアレベルでしょ？
みんな、書きたいことを書いて、いいんだよねｗ

そういう中で、
ハナタカ自慢したいやつって、どうなん？ｗ
186 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 12:15:29.14 ID:boH/0Z/D.net]: 雄馬と雌鹿の仔の>>1より猿の方が13.8倍有能だろ
187 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 12:16:33.64 ID:cbuR6Msl.net]: >>166
>だれかれ構わず噛みつくサイコパス
　それ、雑談クンやんｗ
　ボク？いやいや相手選びますよ
　例えば、3jK34k/w氏こと、ガウスの弟子＾ｎさんには噛みついてないよ
　（弟子＾ｎは、弟子の弟子の…弟子の省略形）

>”数学そのものの理解力”を発揮して、
>まともなことを書いてくれるのは結構です
>それに反対はしない
　アルェー？「箱入り無数目」には反対してたみたいだけど
　でも誰かに指摘されてたけど、代表元はその都度選ぶもんじゃないよ
　そこ読み間違ってたって気づいた？

>「ヨチヨチ歩き」レベルで、妙な対抗意識を持って、
>　だれかれ構わず、私にも噛みつくから
>　このスレでは、お灸を据えていただけのこと
　うーん、雑談クン、リコウぶっていろいろ書くんだけど
　どれもこれも分かってないからすぐドヤ顔で
　初歩的な間違い発言しちゃって大炎上するんだよね
　もう何度繰り返したか覚えてないよ

>この性格は、変わらないだろう（サイコパスにして、ルサンチマン）
　君のナルシストっぷりも変わらないかもなあ
　でも間違ったらこのスレの人はよってたかって指摘するよ
　意地悪？違うよ、みんなお節介なくらい親切なんだよ
　他人の愛は素直に受け取ったほうが幸せになれるよ
188 名前：現代数学の系譜雑談 [2022/12/31(土) 12:21:37.60 ID:rNlYJ3SK.net]: >>161 追加

もし、>>148のID:3jK34k/w氏が、
”前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」”氏と
同一人物ならば、>>27の方程式
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
に、そのポントリャーギン双対を適用して見せてね

そうでないと、つじつま合わせに、ポントリャーギン双対を検索で見つけてきた
とも解釈できる

同一人物でないならば
そこまでは要求しない
そういうポントリャーギン双対的視点も、ありと思うから
189 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 12:25:50.30 ID:cbuR6Msl.net]: >>166
＞私の数学レベルは、みなさんが勝手に判断すれば良いことだが
　じゃ、高卒
　でも、一般人は高々高卒レベルだから問題ないよ

＞但し、5ｃｈはプロの数学会ではない
　ああ、でも向学心は持ちたいよねえ

＞平均は、アマチュアレベルでしょ？
　実はガウスが円分多項式を弄ってたころは
　ただの数学ヲタク時代だよね
　実際、小難しい理論とか抜きにしてわかることはあるよ
　理論は経験知から形成されるんだよ
　ガウスが「整数論」を書けたのは、やっぱりジャカスカ計算したから
　その過程で、いろいろ気づいたことがあったから洗練されてきた
　経験が人を賢くするというのは、数学に限らず正しいね
　
＞みんな、書きたいことを書いて、いいんだよねｗ
　なんもせずにただ検索結果コピペしてもツマランよ

＞そういう中で、ハナタカ自慢したいやつって、どうなん？ｗ
　それ・・・雑談クンじゃんｗ
　君、ぶっちゃけ、ここにハナタカ自慢するためだけに来てるんでしょ？
　でも完全に失敗してる、と　
　
　ここって数学科の学部生・院生・研究者とか皆見てるんだから
　そんなところでそんな非数学科出身でしかもロクに数学勉強してない
　正真正銘のド素人が検索だけでハナタカ自慢しようなんて
　土台無理だって　もう１０年ここにいるなら、いい加減気づきなよ
190 名前：現代数学の系譜雑談 [2022/12/31(土) 12:26:10.13 ID:rNlYJ3SK.net]: >>168
>>”数学そのものの理解力”を発揮して、
>>まともなことを書いてくれるのは結構です
>それに反対はしない
>　アルェー？「箱入り無数目」には反対してたみたいだけど
>　でも誰かに指摘されてたけど、代表元はその都度選ぶもんじゃないよ
>　そこ読み間違ってたって気づいた？

あらら
墓穴だね

「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1669635809/
で、正しいのは私ですよ！ｗ

それ、全くあんたがアホって、
自白しているのと同じだよｗ
191 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 12:36:56.47 ID:cbuR6Msl.net]: >>171
あらら、また💩壺に落ちたねｗ
雑談クン、ホント、💩壺好きだねｗ

代表元は一度決めたら一定です　これ常識
192 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 13:13:05.11 ID:boH/0Z/D.net]: >>171
> 正しいのは私ですよ！

厳正的確精緻細密な数学的記述が一切できてなくて間違えられてさえ居ねぇテメェの何が正しいだ此のハッタリ100%野郎が

どうせお前の事だから相変わらず「本当に正しいかなんてクソくらえ」とでも言うんだろ？
193 名前：現代数学の系譜雑談 [2022/12/31(土) 13:54:56.95 ID:rNlYJ3SK.net]: >>163
>P.S.
>＞数理論理では大学院レベル
>実はそれも怪しかった・・・
>ゲーデルの不完全性定理が本当に（？）理解できたのは、実は今世紀になってから
>（ああなさけないなさけない　Ｈ先生、S先生ゴメンチャイ）

全くです
”ゲーデルの不完全性定理”なんて、とてもとてもｗ
下記「＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない」だったよねｗｗ

Inter-universal geometry と ABC予想 (応援スレ) 55
https://rio2016.5ch.net/test/read.cgi/math/1623558298/158
158 名前：１３２人目の素数さん[sage] 投稿日：2021/06/17(木) 09:25:42.97 ID:40Ayiq4a
>>141
猿回し君は、抽象数学を具体的に目で見て理解したいらしいが
残念ながら無理筋なのでキレイサッパリ諦めよう
＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ

https://rio2016.5ch.net/test/read.cgi/math/1623558298/166-167
ID:40Ayiq4a が、おサルだね
>>158
(引用開始)
＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ
(引用終り)
あ～らら
おサルは、数学科出身だってね
どこの大学か言わない方がいいな
そういうレベルだわな
”＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない”か
恐ろしいね
ωとか無限とか、全く分かってないの？（＾＾
Fランも、びっくり（Ｆラン未満？）かもねｗ

169 名前：１３２人目の素数さん[sage] 投稿日：2021/06/17(木) 10:04:10.78 ID:1ixenOss [1/10]
>>158
０＜・・・＜ω　が有限列
a0=0
a1=1
…
aω=ω
どういうことだ？

https://rio2016.5ch.net/test/read.cgi/math/1623558298/968
>>946
>>574の君「ωは上昇列ではない」
>>593の君「ωは上昇列である」
あのもう議論としてあなたは詰んでしまってるんで
てか一週間経って俺がいなくなってそうな状態を見計らっての、突然の勝利宣言は流石に笑える
どんだけ悔しかったんだ
(引用終り)
以上
194 名前：現代数学の系譜雑談 [2022/12/31(土) 13:56:53.60 ID:rNlYJ3SK.net]: >>173
>厳正的確精緻細密な数学的記述が一切できてなくて間違えられてさえ居ねぇテメェの何が正しいだ此のハッタリ100%野郎が

こういうカキコは
蕎麦屋さんかな
蕎麦屋さんも、時枝不成立が分からないんだｗ
195 名前：現代数学の系譜雑談 [2022/12/31(土) 14:00:55.83 ID:rNlYJ3SK.net]: >>172
それ
全く見当違いだよ

時枝が
全然わかってないねｗ
196 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 14:29:57.70 ID:cbuR6Msl.net]: >>174
＞０＜・・・＜ω　が有限列
　うん、＜ωって書いてあるよね？
　つまり、下降列にもなる、上昇列は有限列　そういうことだよ

＞a0=0
＞a1=1
＞…
＞aω=ω
　ああ、ダメダメ　具体的にいうとaωがダメ

　「上昇列じゃない」とは一度もいってない
　でもaωって、a_ω-1がないからダメ
　要するに　わざわざ「＜ω」ってって書いたのは
　「ωの前者が存在する」と明確にするため
　それ否定したらダメ
　
　そもそも
　「ωの前者がなかったら上昇列ではない」
　なんてことは一言も言ってない
　「０から始まって、ωの前者が存在するような上昇列は有限列」
　といってるだけ　分かるね？

　やっぱり、雑談クンは定義から分かってないねえ
　174で💩壺に落ちたのは私じゃなく、君だよ
197 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 14:32:29.15 ID:cbuR6Msl.net]: >>172
＞＞代表元は一度決めたら一定です　これ常識
＞　それ、全く見当違いだよ
　　うん、そもそも「毎度代表元を選ぶ」という雑談クンの認識が見当違いだから
　　さすがにそれに気づいたんだね　
　　じゃ、箱入り無数目で間違ってるのは、君だよ　はい、おしまいｗ
198 名前：現代数学の系譜雑談 [2022/12/31(土) 16:35:44.02 ID:rNlYJ3SK.net]: >>169
>もし、>>148のID:3jK34k/w氏が、
>”前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」”氏と
>同一人物ならば、>>27の方程式
>x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
>に、そのポントリャーギン双対を適用して見せてね
>そうでないと、つじつま合わせに、ポントリャーギン双対を検索で見つけてきた
>とも解釈できる

なんだ
同一人物かｗ

で、この人は、スレタイ箱入り無数目を語る部屋6
https://rio2016.5ch.net/test/read.cgi/math/1669635809/
で、

時枝の箱入り無数目が理解できてずに、
おサル>>5と一緒に落ちこぼれて暴れている人かな？

おサルが、数理論理では大学院レベルなのだから”>>160って？
買いかぶりもいいとこだな（実例が >>174だよ）

　>>163より”ゲーデルの不完全性定理が本当に（？）理解できたのは、実は今世紀になってから”
って、確かに情けないよ
おれ、高校生で「ゲーデルの不完全性定理」の解説本読んだ（一般向けだがね）
覚えているのは、リシャール数だっけね、あと自己言及のパラドックス（下記）
これを、ゲーデルがゲーデル数を導入することで、「不完全性定理」を証明した
199 名前： 高卒かなんか知らないが、おサルは高卒に及ばない まして、”数理論理では大学院レベル”だなんて、ナイナイ！ｗ つづく []: [ここ壊れてます]
200 名前：現代数学の系譜雑談 [2022/12/31(土) 16:36:13.11 ID:rNlYJ3SK.net]: >>179
つづき

それよか、あんた「群と作用」で逃げているよね、前スレ https://rio2016.5ch.net/test/read.cgi/math/1659249925/781
　">>780
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
１）群の作用を論じるならば、下記佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね"
と、私が指摘した

難しいことばで、煙に巻くことをやっている気がするのは、おれだけかい？ｗｗ
フーリエ変換とかポントリャーギン双対とか、その類いだろうねｗｗ

(参考)
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%B7%E3%83%A3%E3%83%BC%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
リシャールのパラドックス
パラドックスの回避
現在で集合論の公理系として最も広く用いられているZFCでは、「実数を明確に定義する日本語の文」といった概念は数式（論理式）によって表現できない、という理由で回避（取り扱わない）している。
パラドックスの源泉
リシャールが構成しようとする数をリシャール数Rと呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる（循環定義）。

https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの不完全性定理
証明の概要
準備
帰納的公理化可能な理論が自然数論を含むならば、当該理論における証明可能性が原始帰納的述語として表現できる。
この証明可能性述語を用いて、「Gは証明できない」と同値となる証明不能命題G（ゲーデル文）が、構成できる。ゲーデル文を構成するためには自然数論の式を自然数に変換するゲーデル数および自己言及で用いられる対角化の技法（を形式化したもの）が必要である。後者は対角化補題と呼ばれる。
(引用終り)
以上
201 名前：わかるすうがく近谷蒙 mailto:sage [2022/12/31(土) 17:05:14.44 ID:cbuR6Msl.net]: >>179
＞”ゲーデルの不完全性定理が本当に（？）理解できたのは、実は今世紀になってから”
＞って、確かに情けないよ
　はっはっは　面目ない
＞おれ、高校生で「ゲーデルの不完全性定理」の解説本読んだ（一般向けだがね）
　何読んだ？
　私は中学生でナーゲル・ニューマンの「数学から超数学へ　ゲーデルの証明」読んだ
＞覚えているのは、リシャール数だっけね、あと自己言及のパラドックス
＞これを、ゲーデルがゲーデル数を導入することで、「不完全性定理」を証明した
　たぶん、君が読んだのもナーゲル・ニューマンだな
　ホフスタッターなら、まっさきにクワイン文を書くから

　で、自己言及とかいうだけなら誰でもいえるのよ　
　相対論の本読んで、ああ光速不変なんだな、っていうだけのことで

　相対論もマジで理解したのは今世紀に入ってからだな（そればっか）
　ローレンツ変換が実は双曲幾何のクラインモデルの合同変換だと気づいてから
　（これもEXCELで二次元の場合を計算して「発見」したｗ）

　ゲーデルの不完全性定理を真に理解したのは
　遅まきながらホフスタッターの「ゲーデル・エッシャ―・バッハ」を読んでから
　テクニックで用いてたのはクワイン文なのよ
　ま、昭和時代に読んでたら、前世紀中に分かってたことなんで
　ほんと、面目ないｗ

>>180
＞難しいことばで、煙に巻くことをやっている気がするのは、おれだけかい？
　わかりもしないことコピペして煙に巻いてるのは、雑談クン、君だよキ・ミ
202 名前：現代数学の系譜雑談 [2022/12/31(土) 17:05:49.49 ID:rNlYJ3SK.net]: >>180
>>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
>話が上滑りだよ
> １）群の作用を論じるならば、下記佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね"
>と、私が指摘した

群Gと作用域Λで思い出すのは、岩波全書の高等代数学1 秋月康夫・鈴木通
203 名前：夫著 これが、ほぼ冒頭から、”作用域を持つ群”で始まってね ”作用域”？？ということだけを、強烈に覚えている 群さえ理解できていないのに、”作用域”が輪を掛けて分からなかった それでも、何ページかは読んで、ギブアップした なんで、そんな本を？ 古書店で安かったからなんだｗ 小さい本でね。見開きでB5くらいだった 前書きに、秋月先生が”アルティンのガロア理論の講義録が手に入って、ガロア理論の部分を全部書き直そうとも思ったが、断念した”みたく書いてあって へー、”アルティンか！”と、これも強烈に覚えている（アルティン本は、いまでは有名ですが） 鈴木通夫先生が、結構有名人だというのを知ったのは ずっと後のことだった (参考) https://www.kosho.or.jp/products/detail.php?product_id=126167703 日本の古本屋 高等代数学【1・2】 <岩波全書> 2冊 秋月康夫・鈴木通夫著 岩波書店 1952年10月第1刷・1957年5月第1刷 207頁・212頁 B6判 2冊 解説 在庫切れ(藤原書店) https://ja.wikipedia.org/wiki/%E9%88%B4%E6%9C%A8%E9%80%9A%E5%A4%AB 鈴木通夫（すずきみちお、1926年10月2日 - 1998年5月31日）は、日本の数学者。バーンサイド予想（英語版）を解決しようとした。鈴木群（英語版）と呼ばれる（位数が3で整除されないすべての）非可換有限単純群の無限系列や、散在型有限単純群（英語版）の1つである散在鈴木群（英語版）を発見した。千葉県千葉市出身。 東京大学理学部数学科卒業後、有限群論の研究を開始。1953年からその死までイリノイ大学の教授となった。またシカゴ大学、プリンストン高等研究所、パドヴァ大学でも客員研究員となっている。1951年に日本を離れてアメリカに移っていたが、1953年に東京大学より博士号を受けている。 (引用終り) 以上 []: [ここ壊れてます]
204 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:08:17.76 ID:cbuR6Msl.net]: さて、いよいよお約束のネタを投下させてもらおうか

n=8　X^8-1=(X-1)(X+1)(X^2+1)(X^4+1)
n=9　X^9-1=(X-1)(X^2+X+1)(X^6+X^3+X^1)
n=10　X^10-1=(X-1)(X+1)(X^4+X^3+X^2+X+1)(X^4-X^3+X^2-X+1)
n=11　X^11-1=(X-1)(X^10+X^9+X^8+X^7+X^6+X^5+X^4+X^3+X^2+X+1)

ラグランジュ分解式
ζ11+　　ζ11^2+　　ζ11^4+　　ζ11^8+　　ζ11^5+ζ11^10+　　ζ11^9+　　ζ11^7+　　ζ11^3+　　ζ11^6　①
ζ11-η^3ζ11^2+η　ζ11^4-η^4ζ11^8+η^2ζ11^5-ζ11^10+η^3ζ11^9-η　ζ11^7+η^4ζ11^3-η^2ζ11^6　②
ζ11+η　ζ11^2+η^2ζ11^4+η^3ζ11^8+η^4ζ11^5+ζ11^10+η　ζ11^9+η^2ζ11^7+η^3ζ11^3+η^4ζ11^6　③
ζ11-η^4ζ11^2+η^3ζ11^4-η^2ζ11^8+η　ζ11^5-ζ11^10+η^4ζ11^9-η^3ζ11^7+η^2ζ11^3-η　ζ11^6　④
ζ11+η^2ζ11^2+η^4ζ11^4+η　ζ11^8+η^3ζ11^5+ζ11^10+η^2ζ11^9+η^4ζ11^7+η　ζ11^3+η^3ζ11^6　⑤
ζ11-　　ζ11^2+　　ζ11^4-　　ζ11^8+　　ζ11^5-ζ11^10+　　ζ11^9-　　ζ11^7+　　ζ11^3-　　ζ11^6　⑥
ζ11+η^3ζ11^2+η　ζ11^4+η^4ζ11^8+η^2ζ11^5+ζ11^10+η^3ζ11^9+η　ζ11^7+η^4ζ11^3+η^2ζ11^6　⑦
ζ11-η　ζ11^2+η^2ζ11^4-η^3ζ11^8+η^4ζ11^5-ζ11^10+η　ζ11^9-η^2ζ11^7+η^3ζ11^3-η^4ζ11^6　⑧
ζ11+η^4ζ11^2+η^3ζ11^4+η^2ζ11^8+η　ζ11^5+ζ11^10+η^4ζ11^9+η^3ζ11^7+η^2ζ11^3+η　ζ11^6　⑨
ζ11-η^2ζ11^2+η^4ζ11^4-η　ζ11^8+η^3ζ11^5-ζ11^10+η^2ζ11^9-η^4ζ11^7+η　ζ11^3-η^3ζ11^6　⑩

(η=ζ5=ζ11^2　ζ11=-η^3　ζ11^10=-η^2)

①=(ζ11+ζ11^10)+　　(ζ11^2+ζ11^9)+　　(ζ11^4+ζ11^7)+　　(ζ11^8+ζ11^3)+　　(ζ11^5+ζ11^6)
③=(ζ11+ζ11^10)+η　(ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6)
⑤=(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)+η　(ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6)
⑦=(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)+η　(ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6)
⑨=(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)+η　(ζ11^5+ζ11^6)
205 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:09:59.79 ID:cbuR6Msl.net]: >>183
①=-1

③*③=(2η　-η^3-2η^2)⑤
③*⑤=(2η^2-η　-2η^4)⑦
③*⑦=(2η　-η^3-2η^2)⑨
③*⑨=11

⑤*③=(2η^2-η　-2η^4)⑦
⑤*⑤=(2η^2-η　-2η^4)⑨
⑤*⑦=11
⑤*⑨=(2η^4-η^2-2η^3)③

⑦*③=(2η　-η^3-2η^2)⑨
⑦*⑤=11
⑦*⑦=(2η^3-η^4-2η　)③
⑦*⑨=(2η^3-η^4-2η　)⑤

⑨*③=11
⑨*⑤=(2η^4-η^2-2η^3)③
⑨*⑦=(2η^3-η^4-2η　)⑤
⑨*⑨=(2η^4-η^2-2η^3)⑦

③^5
=③^3⑤(2η-η^3-2η^2)
=③^2⑦(2η^2-η-2η^4)(2η-η^3-2η^2)
=③　⑨(2η-η^3-2η^2)(2η^2-η-2η^4)(2η-η^3-2η^2)
=11(2η-η^3-2η^2)(2η^2-η-2η^4)(2η-η^3-2η^2)

⑤^5
=⑤^3⑨(2η^2-η-2η^4)
=⑤^2③(2η^4-η^2-2η^3)(2η^2-η-2η^4)
=⑤⑦(2η^2-η-2η^4)(2η^4-η^2-2η^3)(2η^2-η-2η^4)
=11(2η^2-η-2η^4)(2η^4-η^2-2η^3)(2η^2-η-2η^4)

⑦^5
=⑦^3③(2η^3-η^4-2η)
=⑦^2⑨(2η-η^3-2η^2)(2η^3-η^4-2η)
=⑦　⑤(2η^3-η^4-2η)(2η-η^3-2η^2)(2η^3-η^4-2η)
=11(2η^3-η^4-2η)(2η-η^3-2η^2)(2η^3-η^4-2η)

⑨^5
=⑨^3⑦(2η^4-η^2-2η^3)
=⑨^2⑤(2η^3-η^4-2η)(2η^4-η^2-2η^3)
=⑨③(2η^4-η^2-2η^3)(2η^3-η^4-2η)(2η^4-η^2-2η^3)
=11(2η^4-η-2η^3)(2η^3-η^4-2η)(2η^4-η^2-2η^3)

(2η-η^3-2η^2)(2η^4-η^2-2η^3)
=(4+1+4-2η^3+2η-4η-4η^4-2η^2+2η^2)
=(4+1+4-2η^3-2η-2η^2-2η^4)
=11

(2η^3-η^4+2η)(2η^2-η-2η^4)
=(4+1+4-2η^4+2η^3-4η^3-4η^2-2η^+2η^2)
=(4+1+4-2η^4-2η^3-2η^2-2η)
=11
206 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:12:20.23 ID:cbuR6Msl.net]: >>184
③*③
=　　(ζ11+ζ11^10)^2　　　　　　 +η　(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η (ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)^2　　　　　　 +η^3(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^4(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+　　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^2(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^3(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)^2　　　　　　 +　　(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η　(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^3(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^4(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+　　(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η　(ζ11^8+ζ11^3)^2　　　　　　 +η^2(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η^4(ζ11^5+ζ11^6)(ζ11+ζ11^10)+　　(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η　(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^2(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6)^2

= (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2))
+η　(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2))
+η^2(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2))
+η^3(2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2))
+η^4(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2))

= (2*ζ11^4+2*ζ11^7-1*ζ11^2-1*ζ11^9-2*ζ11^5-2*ζ11^6)
+η　(2*ζ11 +2*ζ11^10-1*ζ11^5-1*ζ11^6-2*ζ11^4-2*ζ11^7)
+η^2(2*ζ11^8+2*ζ11^3-1*ζ11^4-1*ζ11^7-2*ζ11 -2*ζ11^10)
+η^3(2*ζ11^2+2*ζ11^9-1*ζ11 -1*ζ11^10-2*ζ11^8-2*ζ11^3)
+η^4(2*ζ11^5+2*ζ11^6-1*ζ11^8-1*ζ11^3-2*ζ11^2-2*ζ11^9)
207 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:12:56.09 ID:cbuR6Msl.net]: >>185
⑤*⑤
=　　(ζ11+ζ11^10)^2　　　　　　 +η^2(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^4(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η　(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^3(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^2(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)^2　　　　　　 +η　(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^3(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+　　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^4(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η　(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)^2　　　　　　 +　　(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^2(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η　(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^3(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+　　(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)^2　　　　　　 +η^4(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η^3(ζ11^5+ζ11^6)(ζ11+ζ11^10)+　　(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^2(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^4(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η　(ζ11^5+ζ11^6)^2

= (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2))
+η^2(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2))
+η^4(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2))
+η (2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2))
+η^3(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2))

=　　(2*ζ11^4+2*ζ11^7-1*ζ11^2+1*ζ11^9-2*ζ11^5+0*ζ11^6)
+η^2(2*ζ11 +2*ζ11^10-1*ζ11^5+1*ζ11^6-2*ζ11^4+0*ζ11^7)
+η^4(2*ζ11^8+2*ζ11^3-1*ζ11^4+1*ζ11^7-2*ζ11 +0*ζ11^10)
+η　(2*ζ11^2+2*ζ11^9-1*ζ11 +1*ζ11^10-2*ζ11^3+0*ζ11^8)
+η^3(2*ζ11^5+2*ζ11^6-1*ζ11^3+1*ζ11^8-2*ζ11^2+0*ζ11^9)
208 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:13:52.33 ID:cbuR6Msl.net]: >>186
⑦*⑦
=　　(ζ11+ζ11^10)^2　　　　　　 +η^3(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η　(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^4(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^2(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^3(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η　(ζ11^2+ζ11^9)^2　　　　　　 +η^4(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^2(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+　　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η　(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^4(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)^2　　　　　　 +　　(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^3(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^4(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^2(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+　　(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)^2　　　　　　 +η　(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η^2(ζ11^5+ζ11^6)(ζ11+ζ11^10)+　　(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^3(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η　(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6)^2

= (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2))
+η^3(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2))
+η　(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2))
+η^4(2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2))
+η^2(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2))

= (2*ζ11^4+2*ζ11^7-1*ζ11^2-1*ζ11^9-2*ζ11^5-2*ζ11^6)
+η^3(2*ζ11 +2*ζ11^10-1*ζ11^5-1*ζ11^6-2*ζ11^4-2*ζ11^7)
+η　(2*ζ11^8+2*ζ11^3-1*ζ11^4-1*ζ11^7-2*ζ11 -2*ζ11^10)
+η^4(2*ζ11^2+2*ζ11^9-1*ζ11 -1*ζ11^10-2*ζ11^8-2*ζ11^3)
+η^2(2*ζ11^5+2*ζ11^6-1*ζ11^8-1*ζ11^3-2*ζ11^2-2*ζ11^9)
209 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:14:51.22 ID:cbuR6Msl.net]: >>187
⑨*⑨
=　　(ζ11+ζ11^10)^2　　　　　　 +η^4(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^3(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^2(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η　(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)^2　　　　　　 +η^2(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η　(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+　　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^2(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η　(ζ11^4+ζ11^7)^2　　　　　　 +　　(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^4(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η　(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+　　(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)^2　　　　　　 +η^3(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η　(ζ11^5+ζ11^6)(ζ11+ζ11^10)+　　(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^4(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^3(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6)^2

= (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2))
+η^4(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2))
+η^3(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2))
+η^2(2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2))
+η^1(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2))

= (2*ζ11^4+2*ζ11^7-1*ζ11^2-1*ζ11^9-2*ζ11^5-2*ζ11^6)
+η^4(2*ζ11 +2*ζ11^10-1*ζ11^5-1*ζ11^6-2*ζ11^4-2*ζ11^7)
+η^3(2*ζ11^8+2*ζ11^3-1*ζ11^4-1*ζ11^7-2*ζ11 -2*ζ11^10)
+η^2(2*ζ11^2+2*ζ11^9-1*ζ11 -1*ζ11^10-2*ζ11^8-2*ζ11^3)
+η　(2*ζ11^5+2*ζ11^6-1*ζ11^8-1*ζ11^3-2*ζ11^2-2*ζ11^9)
210 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:15:30.63 ID:cbuR6Msl.net]: >>188
③*⑤
=　　(ζ11+ζ11^10)^2　　　　　　 +η　(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^2(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)^2　　　　　　 +η^4(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+　　(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^4(ζ11^4+ζ11^7)(ζ11+ζ11^10)+　　(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η　(ζ11^4+ζ11^7)^2　　　　　　 +η^2(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^3(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η　(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^2(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^3(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)^2　　　　　　 +　　(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η^3(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^4(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+　　(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η　(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6)^2

=　　((ζ11^2+ζ11^9+2)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^9+ζ11^10+ζ11 +ζ11^2))
+η　((ζ11^8+ζ11^3+2)+(ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^2+ζ11^3+ζ11^8+ζ11^9))
+η^2((ζ11^10+ζ11 +2)+(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^10+ζ11^5+ζ11^6+ζ11 ))
+η^3((ζ11^4+ζ11^7+2)+(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5))
+η^4((ζ11^5+ζ11^6+2)+(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11^7+ζ11^
211 名前：8+ζ11^3+ζ11^4)) =　　(2*ζ11^2+2*ζ11^9-1*ζ11^3-1*ζ11^8-2*ζ11^4-2*ζ11^7) +η　(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6) +η^2(2*ζ11 +2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9) +η^3(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^3-2*ζ11^8) +η^4(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10) []: [ここ壊れてます]
212 名前：現代数学の系譜雑談 [2022/12/31(土) 17:15:53.83 ID:rNlYJ3SK.net]: >>181
>　私は中学生でナーゲル・ニューマンの「数学から超数学へ　ゲーデルの証明」読んだ

ああ、あったね
その本（読んでないけど、チラ見した記憶がある）
だが、私のは、その前の出版で、著者は日本人だった
原本は、置き場がないので処分した

>　で、自己言及とかいうだけなら誰でもいえるのよ　

いや、違う
”自己言及”が、キモ中のキモだよ
分かってないねｗ

(参考)
https://www.kurims.kyoto-u.ac.jp/~hassei/selfref2006.pdf
自己言及の論理と計算?
長谷川真人
?京都大学数理解析研究所数学入門公開講座（2002 年 8 月 5～8 日）の予稿を改訂（2006 年 5
月）／重要： 2007 年 8 月に Soto-Andrade と Varela の 1984 年の論文について追記

https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/242302/1/ybunk00789.pdf
TITLE:
広義の自己言及のパラドクスの解
決方法とそのコスト( Abstract_要
旨 )
山森, 真衣子
CITATION:
AUTHOR(S):
ISSUE DATE:
TITLE:
広義の自己言及のパラドクスの解
決方法とそのコスト( Abstract_要
旨 )
京都大学, 2019, 博士(文学)
2019-03-25
https://doi.org/10.14989/doctor.k21484
学位規則第9条第2項により要約公開
213 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:16:10.74 ID:cbuR6Msl.net]: >>189
③*⑦
=　　(ζ11+ζ11^10)^2　　　　　　 +η　(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^3(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)^2　　　　　　 +　　(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η　(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η^2(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η　(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^2(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)^2　　　　　　 +η^4(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+　　(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^4(ζ11^8+ζ11^3)(ζ11+ζ11^10)+　　(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η　(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)^2　　　　　　 +η^3(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η^2(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^3(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^4(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+　　(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η　(ζ11^5+ζ11^6)^2

=　　((ζ11^2+ζ11^9+2)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )+(ζ11^2+ζ11^3+ζ11^8+ζ11^9))
+η　((ζ11^10+ζ11 +2)+(ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11 +ζ11^7+ζ11^4+ζ11^10))
+η^2((ζ11^5+ζ11^6+2)+(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5))
+η^3((ζ11^8+ζ11^3+2)+(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4))
+η^4((ζ11^4+ζ11^7+2)+(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^9+ζ11^10+ζ11 +ζ11^2))

=　　(2*ζ11^2+2*ζ11^9-1*ζ11^8-1*ζ11^3-2*ζ11^4-2*ζ11^7)
+η　(2*ζ11 +2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9)
+η^2(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10)
+η^3(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6)
+η^4(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^8-2*ζ11^3)
214 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:16:57.59 ID:cbuR6Msl.net]: >>191
⑤*⑨
=　　(ζ11+ζ11^10)^2　　　　　　 +η^2(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^4(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η　(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^3(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η　(ζ11^2+ζ11^9)^2　　　　　　 +η^3(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+　　(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η^2(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+　　(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)^2　　　　　　 +η^4(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η　(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^4(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η　(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)^2　　　　　　 +　　(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η　(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^3(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+　　(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^2(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6)^2

=　　((ζ11^2+ζ11^9+2)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3)+(ζ11 +ζ11^10+ζ11^2+ζ11^9))
+η　((ζ11^4+ζ11^7+2)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^2+ζ11^9)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6))
+η^2((ζ11^8+ζ11^3+2)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3))
+η^3((ζ11^5+ζ11^6+2)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3))
+η^4((ζ11 +ζ11^10+2)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^5+ζ11^6))

=　　(2*ζ11^2+2*ζ11^9-1*ζ11^8-1*ζ11^3-2*ζ11^4-2*ζ11^7)
+η　(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^8-2*ζ11^3)
+η^2(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6)
+η^3(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10)
+η^4(2*ζ11 +2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9)
215 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:18:21.00 ID:cbuR6Msl.net]: >>192
⑦*⑨
=　　(ζ11+ζ11^10)^2　　　　　　 +η^3(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η　(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^4(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^2(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)^2　　　　　　 +　　(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^3(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η　(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)^2　　　　　　 +η^2(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+　　(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+　　(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^3(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η　(ζ11^8+ζ11^3)^2　　　　　　 +η^4(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η　(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^4(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^2(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+　　(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6)^2

=　　((ζ11^2+ζ11^9+2)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^2+ζ11^9)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3))
+η　((ζ11^5+ζ11^6+2)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6))
+η^2((ζ11^4+ζ11^7+2)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^2+ζ11^9))
+η^3((ζ11 +ζ11^10+2)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^4+ζ11^7))
+η^4((ζ11^8+ζ11^3+2)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3))

=　　(2*ζ11^2+2*ζ11^9-1*ζ11^8-1*ζ11^3-2*ζ11^4-2*ζ11^7)
+η　(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10)
+η^2(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^8-2*ζ11^3)
+η^3(2*ζ11 -2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9)
+η^4(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6)
216 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:20:01.98 ID:cbuR6Msl.net]: >>193
③*⑨
=　　(ζ11+ζ11^10)^2　　　　　　 +η　(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+　　(ζ11^2+ζ11^9)^2　　　　　　 +η　(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^2(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η^3(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^4(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+　　(ζ11^4+ζ11^7)^2　　　　　　 +η　(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^2(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^3(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^4(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+　　(ζ11^8+ζ11^3)^2　　　　　　 +η　(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η　(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^2(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^3(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^4(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+　　(ζ11^5+ζ11^6)^2

=　 (ζ11^2+ζ11^9+ζ11^4+ζ11^7+ζ11^8+ζ11^3+ζ11^5+ζ11^6+ζ11+ζ11+10)
+η　((ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5))
+η^2((ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4))
+η^3((ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )+(ζ11^9+ζ11^10+ζ11 +ζ11^2))
+η^4((ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)+(ζ11^2+ζ11^3+ζ11^8+ζ11^9))

=(-1)+10+(η+η^2+η^3+η^4)(-2)
=(-1)+10+(
217 名前：-1)(-2) =(-1)+10+2 =11 []: [ここ壊れてます]
218 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:20:58.74 ID:cbuR6Msl.net]: >>194
⑤*⑦
=　　(ζ11+ζ11^10)^2　　　　　　 +η^2(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^4(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η　(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^3(ζ11 +ζ11^10)(ζ11^5+ζ11^6)
+η^3(ζ11^2+ζ11^9)(ζ11+ζ11^10)+　　(ζ11^2+ζ11^9)^2　　　　　　 +η^2(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^4(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η　(ζ11^2+ζ11^9)(ζ11^5+ζ11^6)
+η　(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^3(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+　　(ζ11^4+ζ11^7)^2　　　　　　 +η^2(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^4(ζ11^4+ζ11^7)(ζ11^5+ζ11^6)
+η^4(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η　(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^3(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+　　(ζ11^8+ζ11^3)^2　　　　　　 +η^2(ζ11^8+ζ11^3)(ζ11^5+ζ11^6)
+η^2(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^4(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η　(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^3(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+　　(ζ11^5+ζ11^6)^2

=　 (ζ11^2+ζ11^9+ζ11^4+ζ11^7+ζ11^8+ζ11^3+ζ11^5+ζ11^6+ζ11+ζ11+10)
+η^2((ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5))
+η^4((ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4))
+η ((ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )+(ζ11^9+ζ11^10+ζ11 +ζ11^2))
+η^3((ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)+(ζ11^2+ζ11^3+ζ11^8+ζ11^9))

=(-1)+10+(η+η^2+η^3+η^4)(-2)
=(-1)+10+(-1)(-2)
=(-1)+10+2
=11
219 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:27:04.32 ID:cbuR6Msl.net]: >>190
＞＞自己言及とかいうだけなら誰でもいえるのよ　
＞　いや、違う
＞　”自己言及”が、キモ中のキモだよ
＞　分かってないねｗ
　　ちっちっち、分かってないねｗ
　　残念ながら、自己言及なしのゲーデルの不完全性定理もあるんだな
　　キーワードは　Yablo の逆理ね
　　ま、自己言及の代わりに無限個の文の連なりを使ってるだけだけどｗ

https://www.jstage.jst.go.jp/article/kisoron/38/2/38_KJ00007475728/_pdf/-char/ja
220 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:28:25.13 ID:cbuR6Msl.net]: >>196
ま、自己言及の逆理が「リング」ならヤブローの逆理は「らせん」かな
（ホラーかいｗ）
221 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:33:53.25 ID:cbuR6Msl.net]: ところで　1=雑談クン
>>183-195(除く190)
は読んでくれたかな？

おまけ
https://www.youtube.com/watch?v=EpshiYdGrZo&ab_channel=%E3%81%B4%E3%82%8B%E3%81%82%E3%81%BD%E3%81%A1%E3%82%83%E3%82%93
222 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:38:44.60 ID:cbuR6Msl.net]: >>198　おまけの注釈

・オフショアガールは「大まいやん様」こと白石麻衣のソロ曲
https://www.youtube.com/watch?v=PyQAYqEbkEo&ab_channel=%E4%B9%83%E6%9C%A8%E5%9D%8246OFFICIALYouTubeCHANNEL
・まなったんこと秋元真夏は超絶音痴
・そして、まいやんとまなったんは実は誕生日が同じ（齢はまいやんが１つ上）
223 名前：わかるすうがく近谷蒙 [2022/12/31(土) 17:51:01.90 ID:cbuR6Msl.net]: >>180
＞あんた「群と作用」で逃げているよね
＞群の作用を論じるならば、
＞群Gと作用域Λ
＞最低限この2つを定義してね
＞と、私が指摘した

>>182
＞群Gと作用域Λで思い出すのは、
＞岩波全書の高等代数学1 秋月康夫・鈴木通夫著
＞これが、ほぼ冒頭から、”作用域を持つ群”で始まってね
＞”作用域”？？ということだけを、強烈に覚えている
＞群さえ理解できていないのに、
＞”作用域”が輪を掛けて分からなかった
＞それでも、何ページかは読んで、ギブアップした

群も作用域もわからん人が、何をブチ切れてるんだか

作用域ってのは
例えばユークリッド幾何学における
ユークリッド空間のことだよ
ユークリッド幾何の合同変換群が作用してるだろ？

文章を読めば、作用域は明らかだけどね

クンマー拡大の場合、”５つ”の２の５乗根は、１の５乗根を掛けることで巡回する
では
円分拡大の場合、１以外の”４つ”の１の５乗根は、どうやって巡回するんですか？
ってことですよ

円分拡大の場合、４つの１の5乗根がそのまま巡回群になるわけではないよ
つまりそれらは作用域の一部なんだな
（ガロア群の作用域はあくまで体だから）

それにしても円分体を全然理解せんで、
クマクマー・・・じゃなかったクンマー、クンマーって、
クンマーも草場の蔭で泣いてるだろうなぁ・・・
224 名前：わかるすうがく近谷蒙 [2022/12/31(土) 18:00:20.54 ID:cbuR6Msl.net]: 数は、群と作用域が同じだから、分かりにくい

例えば「掛け算をひっくり返すな」というのは
実は、ａ×ｂ＝ｃの、ａとｂを、
それぞれ作用域と群と考えてる、
といってもいいｗ

２個／１つあたり×３つ＝６個

この場合、個で表されるほうが作用域だな

ま、こんな説明すると、某氏に怒られそうだがｗ
225 名前：わかるすうがく近谷蒙 [2022/12/31(土) 18:06:49.29 ID:cbuR6Msl.net]: （Z/pZ)×　でキモチワルイ（？）のは
例えばｎ倍を(p-1)回繰り返すと
1倍になっちゃうこと

例えば(Z/5Z)×　で2倍を4
226 名前：回繰り返すと1倍になる え？16倍じゃないのって？ 違うんですわ~ 円全体じゃなく５等分点しか見ないから ＯＫなんですわ~ []: [ここ壊れてます]
227 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2022/12/31(土) 18:15:11.89 ID:rNlYJ3SK.net]: >>183
＞(η=ζ5=ζ11^2　ζ11=-η^3　ζ11^10=-η^2)

ここ大丈夫か？
ζ5＝e^2πi/5
ζ11＝e^2πi/11
だろ？
228 名前：わかるすうがく近谷蒙 ◆nSGM2Czuyoqf mailto:sage [2022/12/31(土) 18:22:32.08 ID:cbuR6Msl.net]: >>203
いいところに気がつきましたね…ただの凡ミスですけどｗ

誤　(η=ζ5=ζ11^2　ζ11=-η^3　ζ11^10=-η^2)
正　(η=ζ5=ζ10^2　ζ10=-η^3　ζ10^9=-η^2)

要するに、10乗根を5乗根で表せるとコメントしただけ
計算には全く影響ありません（ビシッ）
229 名前：わかるすうがく近谷蒙 ◆nSGM2Czuyoqf mailto:sage [2022/12/31(土) 18:25:36.53 ID:cbuR6Msl.net]: ということで
>>183の訂正

n=11　X^11-1=(X-1)(X^10+X^9+X^8+X^7+X^6+X^5+X^4+X^3+X^2+X+1)

ラグランジュ分解式
ζ11+　　ζ11^2+　　ζ11^4+　　ζ11^8+　　ζ11^5+ζ11^10+　　ζ11^9+　　ζ11^7+　　ζ11^3+　　ζ11^6　?
ζ11-η^3ζ11^2+η　ζ11^4-η^4ζ11^8+η^2ζ11^5-ζ11^10+η^3ζ11^9-η　ζ11^7+η^4ζ11^3-η^2ζ11^6　?
ζ11+η　ζ11^2+η^2ζ11^4+η^3ζ11^8+η^4ζ11^5+ζ11^10+η　ζ11^9+η^2ζ11^7+η^3ζ11^3+η^4ζ11^6　?
ζ11-η^4ζ11^2+η^3ζ11^4-η^2ζ11^8+η　ζ11^5-ζ11^10+η^4ζ11^9-η^3ζ11^7+η^2ζ11^3-η　ζ11^6　?
ζ11+η^2ζ11^2+η^4ζ11^4+η　ζ11^8+η^3ζ11^5+ζ11^10+η^2ζ11^9+η^4ζ11^7+η　ζ11^3+η^3ζ11^6　?
ζ11-　　ζ11^2+　　ζ11^4-　　ζ11^8+　　ζ11^5-ζ11^10+　　ζ11^9-　　ζ11^7+　　ζ11^3-　　ζ11^6　?
ζ11+η^3ζ11^2+η　ζ11^4+η^4ζ11^8+η^2ζ11^5+ζ11^10+η^3ζ11^9+η　ζ11^7+η^4ζ11^3+η^2ζ11^6　?
ζ11-η　ζ11^2+η^2ζ11^4-η^3ζ11^8+η^4ζ11^5-ζ11^10+η　ζ11^9-η^2ζ11^7+η^3ζ11^3-η^4ζ11^6　?
ζ11+η^4ζ11^2+η^3ζ11^4+η^2ζ11^8+η　ζ11^5+ζ11^10+η^4ζ11^9+η^3ζ11^7+η^2ζ11^3+η　ζ11^6　?
ζ11-η^2ζ11^2+η^4ζ11^4-η　ζ11^8+η^3ζ11^5-ζ11^10+η^2ζ11^9-η^4ζ11^7+η　ζ11^3-η^3ζ11^6　?

(η=ζ5=ζ10^2　ζ10=-η^3　ζ10^9=-η^2)

?=(ζ11+ζ11^10)+　　(ζ11^2+ζ11^9)+　　(ζ11^4+ζ11^7)+　　(ζ11^8+ζ11^3)+　　(ζ11^5+ζ11^6)
?=(ζ11+ζ11^10)+η　(ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6)
?=(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)+η　(ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6)
?=(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)+η　(ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6)
?=(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)+η　(ζ11^5+ζ11^6)
230 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2022/12/31(土) 18:38:00.57 ID:rNlYJ3SK.net]: >>200
>群も作用域もわからん人が、何をブチ切れてるんだか
>作用域ってのは

ふっ、>>182で何を誤解しえいるのかな？
岩波全書の高等代数学1 秋月康夫・鈴木通夫著を読んだのは、
高校だったか大学1年だったか忘れたけど
ともかく、大学レベルの代数学で読んだ最初の本だった
なので、この本は当時の選択として間違っていてと思う
その後、別の本を何冊か読んだけど、”作用域を持つ群”については、徐々に分かってきた
だから、前スレでずばり指摘をしたんだ

さて、グダグダいうなら、下記を落ちこぼれ2号に代わって
「>>678"何かの5乗根にガロア群を作用させるとζ_5が出てくる”」について
群Gと作用域Λとをきちんと定義して、釈明してみなよｗ

そうすれば、この"何かの5乗根にガロア群を作用させるとζ_5が出てくる”が、デタラメって分かるよ
「ζ_5が出てくる」ならば、ζ_5∈Λでなければならない
ζ_5∈Λでないならば、「ζ_5が出てくる」ことはない

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1659249925/819
>>811 追加
>自分の書いたこと＝「群の作用」
>について
>”群Gと作用域Λ 最低限この2つを定義してね”
>と言われて
>これが出来ない
>（多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなｗ）
>で、必死にゴマカスｗｗ

この人（ID:Yvnw5Kb3氏）は
ガロア理論を根本的に誤解していたんだね

略

３）
そこを突かれると、「群の作用」と言い出したんだ
（例えば、>>678"何かの5乗根にガロア群を作用させるとζ_5が出てくる。
　ζ_5はQ(ζ_11)には含まれないから矛盾する"
　とかｗ
　ちゃんと、群Gと作用域Λ この2つを定義しないと議論が上滑りだよね。「ζ_5が出てくる」？なにそれ？ｗ）

４）
さらに、”群Gと作用域Λ 最低限この2つを定義してね”(上記)と言われて、答えられず
そりゃあ、そうでしょうね。「群の作用」なんて、論点ずらしで持ち出しただけだものねｗ
(引用終り)
231 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2022/12/31(土) 18:47:01.66 ID:rNlYJ3SK.net]: >>204
>いいところに気がつきましたね…ただの凡ミスですけどｗ
>誤　(η=ζ5=ζ11^2　ζ11=-η^3　ζ11^10=-η^2)
>正　(η=ζ5=ζ10^2　ζ10=-η^3　ζ10^9=-η^2)
>要するに、10乗根を5乗根で表せるとコメントしただけ
>計算には全く影響ありません（ビシッ）

そういうミスに気づくのが、工学屋なんだ
細かい計算ミス（例えば、小数点以下の最後の細かい違いとか）に気づかずとも、大きなミス（桁ズレとか）には気づくべし！

それと、自答している�
232 名前：ｪ 10乗根、「計算には全く影響ありません」というが 計算には、全く関係ないでしょ？ 10乗根、いらないんじゃね？ そういうところも、工学屋は気づくべし！ []: [ここ壊れてます]
233 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2022/12/31(土) 18:52:07.05 ID:rNlYJ3SK.net]: >>196
>＞　”自己言及”が、キモ中のキモだよ
>＞　分かってないねｗ
>　　ちっちっち、分かってないねｗ
>　　残念ながら、自己言及なしのゲーデルの不完全性定理もあるんだな
>　　キーワードは　Yablo の逆理ね
>　　ま、自己言及の代わりに無限個の文の連なりを使ってるだけだけどｗ

だから
本筋と枝葉をきちんと見分けないと

”自己言及”が本筋なんだよ
まず、”自己言及”が本筋という認識をもって勉強しないとね
その上で、Yablo の逆理かなんか知らないけど、勉強するのはあり

本末転倒はよくないよ
234 名前：１３２人目の素数さん [2022/12/31(土) 19:25:35.17 ID:jrZLF4aQ.net]: 入門的な有限群論の本には、フロベニウス指標（群指標）の話が載っていない
ことが普通であるが、それは大変残念なことであると言わねばならない。
235 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 19:36:07.57 ID:3jK34k/w.net]: 近くの温泉行って来たら、ひといっぱいやったわｗ
236 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 19:39:46.67 ID:3jK34k/w.net]: >>206
>そうすれば、この"何かの5乗根にガロア群を作用させるとζ_5が出てくる”が、デタラメって分かるよ
>「ζ_5が出てくる」ならば、ζ_5∈Λでなければならない
>ζ_5∈Λでないならば、「ζ_5が出てくる」ことはない

え、マジで分かってないの？
x^n-a=0がある代数体K上で既約とする。
最小分解体は、L=K(ζ_n, a^{1/5}).
L/K(ζ_n)はガロア拡大（n次クンマー拡大）で
そのガロア群をGとおくと、あるσ∈Gが存在して
σ(a^{1/5})=a^{1/5}ζ_n
σ^2(a^{1/5})=a^{1/5}ζ_n^2
........
となる。σはζ_nには自明に作用する（つまり不変にする。）

もちろん、ガロア群として、Gal(L/K)を取ってもいいが
そのときはガロア群はζ_nにも非自明に作用しうるが、それだけの話。

ほんと根本から分かってないんだね。
だから、貴方にガロア理論は無理だってｗ
237 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 19:48:16.41 ID:3jK34k/w.net]: >>209
わたしが持ってる本（近藤武著）には書いてあるな。
でも、この本でも載ってない話も多い。
有限群論の話は豊富すぎて、何を重視するかによって取捨選択がなされる。
「行列表現」を重視するなら当然載っている。
昔の記事でアティヤーが、「有限単純群の分類なんてつまらない
表現論の重要性とは比較にならない」みたいなことを言っていたのを思い出す。
238 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 19:55:31.21 ID:3jK34k/w.net]: 群の行列表現には
デデキント→フロベニウス→アルティンへと引き継がれた研究があるんだよね。
アルティンはそこから「アルティンのL函数」を定義した。
高木貞治がベルリンに留学した際にはフロベニウスの講義も受けているが
「ちょうどその頃群指標の理論をやっていたはずだが、そんなものは秘蔵というか
学生なんかには公開しない」と書いている。
239 名前：現代数学の系譜雑談 [2022/12/31(土) 20:08:21.23 ID:rNlYJ3SK.net]: >>205
あとさ

いまどき
計算は、エクセルでも数式処理でも
結構できるけど
目標と見通しをもってやらないとね

例えば、>>159
”＞a^1/5と1の原始5乗根ηとで具体的表式で示せれば、
＞これぞクンマー拡大の典型例となる
＞そう思ったわけです
＞どうぞ、やってみてね！ｗ
（予告）
やってみたらあっさりできたｗ
ま、できるに決まってるんだがｗ
要するにβ2,β3,β4を、β1とηで表せればよい”
(引用終り)

みたいなね。まずは、これでいいけど
クンマーの裏付けというか、実例を計算で具体的にやってみるとか
実例を何通りかやってみて
240 名前：、 ぐっとにらんで 法則などを見抜くとか、そういうのがないとね （フーリエもありかもね。しかし、前スレ https://rio2016.5ch.net/test/read.cgi/math/1659249925/805 より再録 (引用開始) ラグランジュリゾルベントとは何か？というと >>564に書いたように、根のべき根表示 (1) ξ=a_0+a_1α+ … +a_{n-1}α^{n-1} において、「直交関係」を利用して 項別に値を取り出す計算式であり (1)をフーリエ級数展開の類似物と見たとき フーリエ積分に対応している。 (引用終り) だったのにね、いつの間にか、”離散フーリエ変換”にすり替わっている しれ～とね。まあ、良いけどね。検索したら、”離散フーリエ変換”だったんだね） []: [ここ壊れてます]
241 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 20:14:12.25 ID:3jK34k/w.net]: >>214
「フーリエ級数展開」もまったく撤回してませんよ。
本当に美しい類似だと思っている。
自分では自明だと思ってたけど、自明じゃないと言うなら
わたしの「発見」として宣伝してくれても結構ｗ
242 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 20:28:53.32 ID:3jK34k/w.net]: ガロア拡大L/K、G=Gal(L/K)∋σに対して
Lの任意の元θに対して
θ(σ):=σ(θ)と定義することで、θをG上の函数と看做す。

こんなこと自明な発想だと思うが
ど素人には思いつかなくても不思議はない。
243 名前：現代数学の系譜雑談 [2022/12/31(土) 20:47:28.34 ID:rNlYJ3SK.net]: >>212-213
表現論ね

手元に「有限群の表現」永尾汎、津島行夫共著数学選書8 裳華房 2009年第2版4刷（1987年第1刷）
がある
なにか分からないときに調べるための辞書かわりに買ったんだが
ぱらぱら読んだ記憶があるけど・・
ほとんど読んでないな（きれいなままｗ）（伊藤昇 (著)有限群論は、何度か読んだけど）

でも、このころを境に群論の世界も変わってしまって
いま、ここらの理論は、きっと群論ソフトの中じゃない？
（私は、そういうソフトは持ってないけど）
なので、勉強の仕方も、21世紀は左手に本、右手に群論ソフトという勉強が良いんじゃないですかね？

(参考)
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8D%98%E7%B4%94%E7%BE%A4%E3%81%AE%E5%88%86%E9%A1%9E
有限単純群の分類
1983年にダニエル・ゴーレンシュタインは有限単純群が完全な分類が成されたと発表した。しかしこれは準薄群（英語版）の分類の証明についての錯誤があったため尚早であった。欠けていた準薄のケースについての1221ページにも及ぶ証明がアシュバッハーとスミスにより出版された後に、分類定理の証明の完成が Aschbacher (2004) によりアナウンスされた。

つづく
244 名前：現代数学の系譜雑談 [2022/12/31(土) 20:47:55.53 ID:rNlYJ3SK.net]: >>217
つづき

https://www.jstage.jst.go.jp/article/sugaku1947/34/3/34_3_193/_pdf
数学論説
有限単純群の分類
鈴木通夫
981年4月5目京都大学における日本数学会年会の総合講演(1981年11,月20日提出)

有限単純群の分類が完成したという公式の発表が1981年1月にSan Franciscoで開かれたアメ
リカ数学会年会の折に行なわれた.次の定理がとうとう証明されたのである.
定理.Gを有限単純群とすれば,Gは次にあげる単純群のいずれかと�
245 名前：ｯ形である. I　素数位数の巡回群. II　n次の交代群(n≧5). III　Lie型の単純群. IV　26個のsporadicsimplegroups. 以下この分類定理が証明されるにいたったいきさつと定理の解説およびその証明の大要を述べよう. https://www.アマゾン/%E5%BE%A9%E5%88%8A-%E6%9C%89%E9%99%90%E7%BE%A4%E8%AB%96-%E4%BC%8A%E8%97%A4-%E6%98%87/dp/4320016688 有限群論: 復刊 Tankobon Hardcover ? February 26, 2001 by 伊藤昇 (著) 有限群論研究の長い歴史の中で、多くの数学者による苦闘の成果が連携しあい、有限単純群分類の完成への足がかりを固めた躍動の時期にまとめられた好書。本書は『共立講座現代の数学 7.有限群論』として1970年12月に初版が発行されましたが、多くの読者からの要望を受け、単行本に改装し発行したものです。 (引用終り) []: [ここ壊れてます]
246 名前：現代数学の系譜雑談 [2022/12/31(土) 21:00:35.91 ID:rNlYJ3SK.net]: >>217 訂正

（伊藤昇 (著)有限群論は、何度か読んだけど）
　↓
（鈴木　通夫著群論上下は、何度か読んだけど）

だな
伊藤先生のは読んでない
鈴木　通夫先生の本は、面白かった

(参考)
https://www.iwanami.co.jp/book/b266825.html
現代数学 18
群論　（上）
著者鈴木　通夫著
ジャンル書籍 > 岩波オンデマンドブックス > 数学
日本十進分類 > 自然科学
シリーズ岩波オンデマンドブックス > 現代数学
刊行日 2015/09/10
ISBN 9784007302718
Cコード 0041
体裁 A5 ・並製・ 420頁
定価 7,040円

現代数学 19
群論　（下）
著者鈴木　通夫著
ジャンル書籍 > 岩波オンデマンドブックス > 数学
日本十進分類 > 自然科学
シリーズ岩波オンデマンドブックス > 現代数学
刊行日 2015/09/10
ISBN 9784007302725
Cコード 0041
体裁 A5 ・並製・ 550頁
定価 9,240円
247 名前：１３２人目の素数さん mailto:sage [2022/12/31(土) 21:51:14.00 ID:4vKOE2m7.net]: ムーンシャイン出てきたから有限単純群の分類はとっても意味あったね
248 名前：わかるすうがく近谷蒙 [2022/12/31(土) 22:02:21.48 ID:cbuR6Msl.net]: >>207
>そういうミスに気づくのが、工学屋なんだ
　いつから工学屋って素人って意味になったんだろう？

>細かい計算ミス（例えば、小数点以下の最後の細かい違いとか）に気づかずとも、
>大きなミス（桁ズレとか）には気づくべし！
　書き間違いは計算ミスよりも細かいけどねｗ
　そういうことにしか気づけないのが素人
　工学屋じゃなく工員かい？雑談クンは
249 名前：わかるすうがく近谷蒙 [2022/12/31(土) 22:09:05.86 ID:cbuR6Msl.net]: >>211
雑談クンはガロア理論とかいう以前に
なんでガロア群が巡回群のときに
ラグランジュ分解式で解けるのか
まったく仕掛けが分かってないよ

だって自分で一度も計算しないんだもの
彼は目で見て一発で分かる？以外の理解の仕方がない
もともとズボラで、感覚だけで生きてきたんだろう
自分でやってみる経験を積み重ねることなしには
何も得ることはない　数学に限らないけどね

人生を楽しみたいなら、自分の身体を使わないとね
250 名前：わかるすうがく近谷蒙 [2022/12/31(土) 22:13:14.14 ID:cbuR6Msl.net]: >>208
＞”自己言及”が本筋なんだよ
＞まず、”自己言及”が本筋という認識をもって勉強しないとね
　それで理解できたかい？
　できなかっただろ？
　それは君の認識が間違ってたからだよｗ

　自己言及はトリックの一つに過ぎないよ
　それを具現化したのがクワイン文

　でも別にトリックは一つに限ったことじゃない
　ベリーのパラドックスでもヤブロの方法でもいい
　自己言及とは違うがね　それぞれ理解すればいい
　別に大したことじゃない
251 名前：わかるすうがく近谷蒙 [2022/12/31(土) 22:24:04.15 ID:cbuR6Msl.net]: >>214
＞計算は、エクセルでも数式処理でも結構できるけど
＞目標と見通しをもってやらないとね
　計算結果で目標と見通しは示したよ
　雑談クンも甘ったれてないで読みなよ

　なんで、分解式同士を掛けて、それを別の分解式と係数の積にしてるのか？
　分解式同士の関係を知るために決まってるじゃん　�
252 名前：ｼに何があるの このアイデアはMathlogの子葉氏のHPから拝借した https://mathlog.info/articles/3161 自分はまず愚直に計算してみた 計算した上で改めて読むと 「ああ、そういうことか」 と分かることがある 一遍読んで１００％分かろうなんて無理だって っていうか別に一発で１００％分かる必要なんかないだろ じわじわ分かればいい　それが「数楽」ってもんだｗ []: [ここ壊れてます]

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef