[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(12): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:52 ID:w2gV7wtr(1/8) AAS
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
省14
2(25): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:53 ID:w2gV7wtr(2/8) AAS
（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
（スレ69 2chｽﾚ:math ID4つ ）
省18
3(8): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:53 ID:w2gV7wtr(3/8) AAS
つづき
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
（但し、最近、内一人は時枝不成立が理解できたらしい（スレ67〜68辺り
知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾；）
スレ28 2chｽﾚ:math (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
省15
4(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:53 ID:w2gV7wtr(4/8) AAS
つづき
8) てへぺろ☆(・ω<)さん 70 2chｽﾚ:math
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
省10
5(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:54 ID:w2gV7wtr(5/8) AAS
＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 2chｽﾚ:math
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
省17
21(5): 2019/09/10(火)19:27 ID:QUfbfeuy(1/3) AAS
2chｽﾚ:math
これは酷い！
ニワトリ君は、いつもの通り、重要な前提を読み落としたね
A,Bが任意の集合だとしたならば
当然以下の１）〜３）は成立しない
いちいち反例を挙げて指摘しよう
>１）二つの集合A,Bで、A ∈ B → A ⊂ B
省18
30(11): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:43 ID:IlUCyPH9(3/9) AAS
>>21
うん、それね、おれ間違っているね（＾＾；
スレ76 2chｽﾚ:math
引用
>>842
＞Ω ⊂ R^N と Ω ∈ R^N はまったく別ものである
「まったく別もの」ではない
省27
31(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)07:43 ID:IlUCyPH9(4/9) AAS
>>30
つづき
５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
だから、この場合は”x ∈ y → x ⊂ y ”成立
６）で、我々が通常扱う集合は、超限帰納法も適用可の場合が多く、∈−順序が成立つとして良い
∈−順序が成立つ場合は、”x ∈ y → x ⊂ y ”成立
７）「まったく別もの」ではないが、別もの
省22
36(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:05 ID:z0Cctf8f(1/10) AAS
>>31 訂正
７）「まったく別もの」ではないが、別もの
↓
７）「別もの」だが、「まったく別もの」ではない
かな（＾＾；
補足
繰り返すが、
省25
37(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)14:20 ID:z0Cctf8f(2/10) AAS
>>36 追加
「モストフスキ崩壊補題」で、関連ありそうな箇所を、下記追加引用しておく
外部ﾘﾝｸ:ja.wikipedia.org
モストフスキ崩壊補題
(抜粋)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
省7
55(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)21:00 ID:IlUCyPH9(9/9) AAS
（>>30-31）
> ５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
> だから、この場合は”x ∈ y → x ⊂ y ”成立
∈−順序は、推移的なので、
u ∈ x ∈ ｙ なら
三重丸を描けば良い
一番内側がｕ、中間がｘ、一番外がｙ
省10
66(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:12 ID:cMDg8k3q(2/6) AAS
>>55 追加
分かりました、分かりました（＾＾
要するに、正則性公理→フォン・ノイマン宇宙やね
そして、我々が通常学部数学扱う集合は、フォン・ノイマン宇宙内
フォン・ノイマン宇宙内は、「遺伝的整礎集合全体のクラス」
で、モストフスキ崩壊補題（>>37）「ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である」
なので、普通（ＺＦＣ内で）はベン図で議論してよいってことだな（＾＾
省16
67(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:13 ID:cMDg8k3q(3/6) AAS
>>66
つづき
外部ﾘﾝｸ:ja.wikipedia.org
フォン・ノイマン宇宙
(抜粋)
フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。
省16
81(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)23:53 ID:cMDg8k3q(6/6) AAS
>>77-78
言い訳必死だな、サルはｗ（＾＾
・∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
これで、帰納法及び超限帰納法が可能になるんだ
・フォン・ノイマン宇宙（>>67）も、重要キーワードでしょ？
「V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す」
そして、フォン・ノイマン宇宙で、学部数学なら展開できる
省8
89(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)08:04 ID:Ct8Lh9wH(1/15) AAS
>>84
>フォン・ノイマン宇宙自体は推移的であっても
>フォン・ノイマン宇宙の全ての集合が推移的なわけではない
意味分かんねー（＾＾
”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
∵ フォン・ノイマン宇宙は、「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
（参考）
省15
91(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)08:07 ID:Ct8Lh9wH(3/15) AAS
>>85
>おまえは{}、{{}}、{{{}}}の三者を
>どうベン図で書くつもりだ？
大中小の丸でいいでしょ
三重丸で
{}は小丸、{{}}は中丸、{{{}}}は大丸
（>>90より）
省10
92(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)11:22 ID:nJx1ApW/(1/7) AAS
>>81
>・おっと、そもそもあなたは、公理的集合論では、集合の元もまた一つの集合ってこと、公理的集合論ではおサルやイヌの集合は登場しないのだよ。素朴集合論の思考のクセが抜けてないみたいだねｗｗ（＾＾
いつもお世話になっております”再帰の反復”さん（＾＾
下記が、素朴集合論と公理的集合論との関係をうまく説明している
坪井先生の（>>90）「定義18. 1. x が推移的である(Trans(x)) とは，∀y∀z(z ∈ y ∈ x → z ∈ x)」も、これで理解しやすくなるでしょ（＾＾
（参考）
外部ﾘﾝｸ:lemniscus.hatenabloｇ.com/entry/20120616/1339838683#sec6-7
省34
106(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)22:03 ID:Ct8Lh9wH(6/15) AAS
>>99
アホバカおサルと、賢いニワトリの論争かね
楽しいね〜、フォン・ノイマン宇宙がわからんとね、おサルはｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
省11
118(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:20 ID:Ct8Lh9wH(12/15) AAS
>>99
(引用開始)
>>89
>”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
これはヒドイｗｗｗ
答えは否
最も簡単な反例{{{}}}は既にしめした
省20
140(4): 2019/09/14(土)11:32 ID:VYIPOabR(5/30) AAS
フォン・ノイマン宇宙
集合Xに対してP(X)でXのべき集合を表す
V0={}
V1=P(V0)={{}}
V2=P(V1)={{},{{}}}
V3=P(V2)={{},{{}},{{{}}},{{},{{}}}}
推移的でない集合{{{}}}は、V3で現れる
145(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:53 ID:QdZ5TU5n(10/19) AAS
>>140
>推移的でない集合{{{}}}は、V3で現れる
それおサルの集合論でしょ？ｗ（＾＾；
Φ∈{}∈{{}}∈{{{}}}
だよね
だから、∈順序の推移律より、{}∈{{{}}が成立して、{{}}の要素{}が{{{}}の要素でもあるので、
「 {{}}⊂{{{}}}成立」！！ｗ
省18
150(3): 2019/09/14(土)13:42 ID:igft4myA(3/5) AAS
>>82で間違いを認めておけば深手にならずに済んだのに
これが本当の猿知恵ｗ
153(3): 2019/09/14(土)16:01 ID:VYIPOabR(14/30) AAS
>>150-152
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
１．現スレで、前スレ845の自爆発言を蒸し返されるｗ >>10-11
２．さらに、別の人に１）２）を再度否定されるｗｗ >>21
３．ニワトリ、２）については前スレ865で撤回したというも
省18
154(3): 2019/09/14(土)16:14 ID:VYIPOabR(15/30) AAS
>>153
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
３． ニワトリ 前スレ845の１）について見当違いな理由による正当化発言ｗ >>30-31
（１） まず順序数について成り立つことを述べる （正しいのはここだけｗ）
>>１）二つの集合A,Bで、A ∈ B → A ⊂ B
省22
163(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)22:33 ID:QdZ5TU5n(12/19) AAS
>>140 >>142-143
(引用開始)
フォン・ノイマン宇宙
集合Xに対してP(X)でXのべき集合を表す
V0={}
V1=P(V0)={{}}
V2=P(V1)={{},{{}}}
省36
164(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)22:34 ID:QdZ5TU5n(13/19) AAS
>>163
つづき
外部ﾘﾝｸ:www.sci.shizuoka.ac.jp 数学基礎論サマースクール 選択公理と連続体仮説
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
省20
171(3): 2019/09/14(土)23:35 ID:igft4myA(4/5) AAS
{}∈{{{}}} を仮定する。
右辺の元は {{}} のみであるから {}={{}} が成立。
よって、{}={{}}={{{}}}=・・・が成立。※
ところで自然数全体の集合Nを
>以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。
>例えば、0 := {}, suc(a) := {a} と定義したならば、
>0 := {}
省8
175(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)23:40 ID:QdZ5TU5n(19/19) AAS
>>171
>{}∈{{{}}} を仮定する。
>右辺の元は {{}} のみであるから {}={{}} が成立。
意味分からん
「{}={{}} が成立」？
その式自身が矛盾だろ？ｗ（＾＾；
188(9): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:31 ID:NNU+uf1a(3/16) AAS
さて
>>182
>XとYは集合として異なります
ええ、>>181で「４）袋X≠袋Ｙ です（素朴集合論として）」と自分でも書いていますよ
理解できないようなので、もう少し例を増やします（>>181の”・・・”は省きます）
１）素朴集合の元（要素）として
・大工道具セットの箱A（ノコギリ、金槌、ドライバー）
省30
193(9): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)08:12 ID:NNU+uf1a(5/16) AAS
>>188 追加
(引用開始)
・⊂と∈とは、よく似ているってこと
・⊂と∈との違いは、∈は集合の元（要素）に適用されるが、⊂は広く集合の元（要素）以外にも適用されること
・ところが、公理的集合論では、元（要素）もまた集合なので、⊂と∈との敷居は素朴集合論より低いのです
・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
(引用終り)
省24
206(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:39 ID:NNU+uf1a(12/16) AAS
>>198
>＞集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
>ニワトリはN2⊂N’だと思い込んでるだろうけど、も・ち・ろ・ん、違うよｗ
？
（>>193より）
集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
(引用終り)
省3
207(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)11:00 ID:NNU+uf1a(13/16) AAS
>>205
(引用開始)
大間違いｗ
ノコギリ⊂{ノコギリ} を仮定すると
包含関係の定義により、∀x∈ノコギリ⇒x∈{ノコギリ} でなければならないが、
{ノコギリ} の元はノコギリのみだから、ノコギリ={ノコギリ} であることが必要。
これはサルの大好きな正則性公理から直ちに否定されるｗ
省23
232(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/16(月)10:09 ID:Snw5PyNp(2/6) AAS
>>211
(引用開始)
>>207
>いや、そもそも、素朴集合論では、「ノコギリ」はアトム（元）であって、
>集合同士に適用する⊂（包含関係）は適用できない
ちょｗ
>５）もしノコギリが集合だと考えると
省23
233(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/16(月)10:38 ID:Snw5PyNp(3/6) AAS
>>188
(引用開始)
１）素朴集合の元（要素）として
・大工道具セットの箱A（ノコギリ、金槌、ドライバー）
・釣り道具セットの箱B（釣り竿、釣り針、釣り糸）
・ケースに入れたノコギリ＝{ノコギリ} （一元集合とする（ノコギリはよく使うため））
・大工道具セットの箱C（金槌、ドライバーのみ）（ノコギリを出した）
省27
236(9): 2019/09/16(月)10:54 ID:4OYL0rf4(3/14) AAS
>>233
＞別の素朴集合論の例を考えてみよう
＞１）ある会社A社があって、事業部が３つ、第一、第二、第三
＞２）各事業部には、部が３つ、第一、第二、第三
＞３）各部には、課が３つ、第一、第二、第三
＞４）A社＝{第一事業部、第二事業部、第三事業部}
＞ 以下同様に、集合で、部、課などとつづく
省17
246(3): 2019/09/16(月)15:19 ID:4OYL0rf4(7/14) AAS
>>243
ベン図は所詮ベン図 包含関係は描けても 所属関係は描けない
264(10): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)07:41 ID:V89w8T2p(1/4) AAS
>>263
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
>自然数全体の集合 = {偶数全体の集合, 奇数全体の集合}は正しくない
>自然数全体の集合 = 偶数全体の集合 ∪ 奇数全体の集合は正しい
>ベン図で偶数の集合と奇数の集合を書けば当然交わらない
(>>193より、おれが書いたこと)
省27
276(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/17(火)21:02 ID:V89w8T2p(2/4) AAS
>>269-271
こっち（ID:mfJeWOr2）が、ピエロ本体かｗ（＾＾
（>>266より）ID:cqXT1Im6さんの二つの主張アとイと
ア：B社＝{第一事業部, 第二事業部, 第三事業部, 第四事業部}
第一事業部第一部第一課の課員に、aさんというヒトがいるとする
a∈第一事業部第一部第一課 です！（>>233）
で B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」
省26
299(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:58 ID:3KrCaRK2(7/10) AAS
>>296
>それなら 心臓＝｛原子１、原子２、・・・｝だな
>｛｝の中に心臓をいれたら、心臓が要素という意味
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ
論破しますｗ
(引用開始)
おサルの主張は、（>>236）
省20
307(3): 2019/09/18(水)19:19 ID:wvXbGob9(10/19) AAS
午後、書店に立ち寄ったら
キューネン著 藤田博司訳「集合論」（日本評論社）
があったので、ちょっと中身を見てみたら
「第１章 公理的集合論の基礎」の「7 順序数」（ｐ２１）
のところで、推移的集合でない集合の例として{{{}}}（文中では{{0}}）
順序数でない集合の例として{{{{}}},{{}}.{}}（文中では{{{0}},{0},0}）
がしっかりでてたぞ
省3
328(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:48 ID:MSw7Rbq1(1/14) AAS
>>306
(引用開始)
その場合、個々の自然数を要素とすることはしませんよ
同値類から代表元をとって
{0,1}という別集合を考える
というのはありますがね
(引用終り)
省28
329(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:49 ID:MSw7Rbq1(2/14) AAS
>>328
つづき
（参考）
外部ﾘﾝｸ:math.shinshu-u.ac.jp
代数入門 花木章秀 信州大学理学部数学科
外部ﾘﾝｸ[pdf]:math.shinshu-u.ac.jp
代数学入門
省22
335(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:40 ID:MSw7Rbq1(4/14) AAS
(引用開始)
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
(引用終り)
省27
338(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:52 ID:MSw7Rbq1(7/14) AAS
>>337
つづき
２）さて、下記のように考えてみよう
（参考）
外部ﾘﾝｸ:www.sci.shizuoka.ac.jp 数学基礎論サマースクール 選択公理と連続体仮説
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
省31
371(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)08:13 ID:ihE7M+Qz(5/9) AAS
>>366
>Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ
>そこからZへの全射は逆立ちしても不可能ｗｗｗｗｗｗｗ
（>>328より）
下記信州大 代数入門 （花木章秀先生）より
”同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ
省27
376(4): 2019/09/20(金)19:00 ID:DPgtgKl0(13/13) AAS
馬鹿に問題だ
Z/2Z={{0,2,4,…},{1,3,5,…}}とする
1) Z/2Zの元を全て列挙せよ
2) Z/2Zの部分集合を全て列挙せよ
378(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:20 ID:ihE7M+Qz(7/9) AAS
>>376
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ（＾＾
必死の論点そらし、ご苦労さん
まあ、下記でもご参照
「表記と慣例」
「同値類を表すのに代表元に施す角括弧をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す」
「合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる」
省22
385(3): 2019/09/21(土)06:05 ID:s+bHRCsH(2/17) AAS
>>378
>必死の論点そらし、ご苦労さん
必死の回答拒否、ミットモナイｗ
>>376の質問に答えられない時点で
テツガクシャ1は要素と部分集合が理解できてない
と白状したわけだｗ
>Z/2Z={{0,2,4,…},{1,3,5,…}}とする
省10
390(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)07:34 ID:RSxZzkRi(1/13) AAS
>>378 補足
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ（＾＾
必死の論点そらし、ご苦労さん
もう一度纏めます（＾＾
１）ヒトは、「同一視」と「同一」の区別ができる。おサルはできない。それに尽きるのかも
２）整数Zに合同（≡又はmod）を定義して、あるnによる同値類とその集合Z/nZを考える
３）Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である
省21
418(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)07:07 ID:dCfcIyTY(2/20) AAS
>>417
つづき
ここで、この演算が「剰余類に対する演算」としてきちんと定義されていることは、
結果（和や積）として求まる剰余類が代表元の取り方に依らないこと、
すなわち、a1, b1, a2, b2 を [a1] = [b1] かつ [a2] = [b2] を満たす任意の整数とすれば、
[a1+a2]=[b1+b2], [a1 x a2]=[b1 x b2]
が成り立つことから確認できる。
省20
421(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)07:37 ID:dCfcIyTY(5/20) AAS
>>418
(引用開始)
したがって、Z/4Z ＼ 0 は乗法について閉じていない。
このことから、代数系 (Z/4Z, +, ×) は（4 を法とする剰余類環として）可換環を成すのみで、零因子が乗法逆元を持たないため体にはならない（位数 4 の有限体 F4 は存在するにも関わらず、である）。
(引用終り)
位数 4 の有限体 F4について（＾＾
「要は1の原始3乗根を添加した体がF4である」か
省27
428(3): 2019/09/22(日)08:13 ID:adVjb7k7(3/28) AAS
>>420
>ここで、↓の上の集合で、外側の{}を外してみよう
>{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}
> ↓全射
>・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・
>要するに、
>↓の上側は、Zの部分集合で、0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZたちになる
省17
429(5): 2019/09/22(日)08:13 ID:CY/F9h+Q(3/12) AAS
サル石よ、これを解いてみ（笑
以前このスレでやった問題だから解けるだろう（笑
100枚の宝くじを売り出すとし、
そのうち１枚だけが当たりくじだとする。
但し、そのうち99枚をＡの売り場で売り出すとし、
残りの１枚をＢの売り場で売り出すとする。
１ Ａの売り場に宝くじが入っている確率と、
省3
471(10): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)18:12 ID:dCfcIyTY(10/20) AAS
>>465-470
ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾
（つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ）
笑える
じゃｗ
（>>411より）
整数環Zに合同（≡又はmod）を定義して、あるnによる同値類でｎ個の同値類が出来る
省23
494(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)20:04 ID:dCfcIyTY(14/20) AAS
>>491
(引用開始)
ですから心配ご無用ですって
スレ主はもう数学板から駆除されましたからｗ
まさかこの期に及んで数学板に居座り続けるなんて図々しいマネはできないでしょうｗ
いくら恥知らずなスレ主でもｗ
(引用終り)
省28
499(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)21:31 ID:dCfcIyTY(16/20) AAS
>>494 補足
整数の集合Z = {・・・,-4,-3,-2,-1,0,1,2,3,4・・・}
偶数の集合2Z = {・・・,-4,-2,0,2,4・・・}
奇数の集合1+2Z = {・・・,-3,-1,1,3,・・・}
明らかに
Z =2Z ∪ 1+2Z
Φ =2Z ∩ 1+2Z
省20
506(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)23:19 ID:dCfcIyTY(19/20) AAS
>>499 補足
”「同じと見なす」という数学固有のテクニック”
”「同じと見なす」ということを、数学の専門の言葉では「同一視」という”（小島寛之）
整数の集合Z = {・・・,-4,-3,-2,-1,0,1,2,3,4・・・}
偶数の集合2Z = {・・・,-4,-2,0,2,4・・・}
奇数の集合1+2Z = {・・・,-3,-1,1,3,・・・}
明らかに
省15
518(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/23(月)10:17 ID:Pa2IotH6(6/8) AAS
>>506 補足
＜Z→Z/nZの単射＞
1)簡単に、Z→Z/2Z (偶数,奇数で考える)
（再録(主に記号の定義)）
整数の集合Z = {・・・,-4,-3,-2,-1,0,1,2,3,4・・・}
偶数の集合2Z = {・・・,-4,-2,0,2,4・・・}
奇数の集合1+2Z = {・・・,-3,-1,1,3,・・・}
省37
525(3): 2019/09/23(月)20:31 ID:xrE7eXYo(2/15) AAS
おっと、本題を忘れてた！これだよ、これ！
>>471
>「Z/nZは有限集合」と書いてある文献探して、提示してくれ
>そうしたら、スレを閉じて、すっぱりと、おれは５CH数学板から去るよ（＾＾；
>おっと、「Z/nZは有限集合」と書いてある”そのものずばり”だよ
外部ﾘﾝｸ[pdf]:www.math.s.chiba-u.ac.jp
p12
省2
527(4): 2019/09/23(月)21:25 ID:hzAaw1bL(1/6) AAS
>>525
どうもスレ主です
良い文献だ
が、 それ、おれが、最初から書いている元の数nってこと
つまり、環として見れば、要素n個は、すでに宣言している通り
ほかの文献ないのか？
533(4): 2019/09/23(月)22:34 ID:hzAaw1bL(2/6) AAS
>>527
nZは、無限集合
それを1個として、Z/nZはn個とする
そこまでは、自分で書いている
それで、有限集合とするならば、
Z自身1個の集合だから、有限集合だ
Z'＝｛Z｝は、1個の元からなる
省2
547(6): 2019/09/23(月)23:37 ID:hzAaw1bL(5/6) AAS
>>540
あと、wikipediaの自然数の単純な構成で
0：＝{}
1：＝{0}={{}}
2：＝{1}={{{}}}
3：＝{2}={{{{}}}}
・
省3
567(3): 2019/09/25(水)07:14 ID:EeFvG8oM(2/4) AAS
xが順序数⇔x は推移的集合であり x の要素もまた推移的集合
wikipediaの自然数の「単純な構成」（多分ツェルメロによるもの）では
0,1は順序数だが、2={{{}}}は順序数ではない
584(3): 2019/09/26(木)18:31 ID:J8Wn5uyQ(6/12) AAS
>>582 追加
Z/pZ p素数だと
有限体
p＝1だと
体が1元に潰れている
だから、F1体かもww(゜ロ゜;
623(3): 2019/09/28(土)10:12 ID:ccu5D6lw(2/4) AAS
>>619
追加文献２
岩波数学辞典 第４版
355 濃度 F.有限と無限の定義 (p1149)
「X を集合 A のベキ集合の部分集合であるとする．
もし空集合がX に属し，すべてのB∈X と a∈A に対しB∪{a}∈X となっているなら，
X は A に よって生成される部分集合の族という．
省7
629(3): 2019/09/28(土)16:09 ID:fQSey/3a(1) AAS
>>618
> 空と{}だけで、Nができるよ
それだと無限公理なしでNができることになるでしょ
無限公理 = Nは既に存在している
> Nから、逆に{}までたどれるでしょ
省6
662(3): 2019/09/29(日)14:31 ID:GqnEepIO(4/5) AAS
相変わらず訂正に訂正を重ねるおっちゃん
彼が無職というのも分かる気がする
こんなのに危なっかしくて仕事頼めないもんなｗ
663(3): 2019/09/29(日)14:42 ID:s0bEnY0r(6/16) AAS
>>658
>>661はなし。>>659の
>すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。
の部分は
>すると、任意の2以上の正整数xについて x≠Φ、0∈x だが、
>任意の x-1 以下の正整数tに対して、0∈t となって正則性公理に反する。
に訂正。
740(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/09(水)07:28 ID:2o5RsZjT(2/15) AAS
スレ68 2chｽﾚ:math
個人的には、下記類似” 先生＞周りの人＞知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾
2chｽﾚ:math
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；
外部ﾘﾝｸ:note.chiebukuro.yahoo.co.jp
Yahoo 知恵袋
数学の勉強法 学部〜修士
省13
773(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/10(木)10:32 ID:K6AlmfoH(1/3) AAS
>>772
まあ、そう慌てないで
種本でもないけど、お薦めは、下記「矢ヶ部 巌：数?方式 ガロアの理論」
これ分かり易かった。大学教程のガロア理論を学んだ人なら、一日で読めるでしょう
あと、PDFでネットに落ちているのが、下記「ガロア第一論文（galois-1.pdf）渡部 一己 著」PDF
ここから、引用させてもらおうと思います
紙の本は、書棚に沢山あるけど、マウス選択からコピペができないんだな
省19
778(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/10(木)21:00 ID:JCH5uyU5(1) AAS
>>777
>まさか今から泥縄で勉強するつもりじゃないだろうね？ｗ
ふっ、ガロア理論を「泥縄で勉強する」？ 一夜漬け？
ガロア理論を理解していない人の言葉だなｗ
「泥縄で勉強」、「一夜漬け」、できる人は、相当優秀だろうな（＾＾；
昔を思い出すと、矢ヶ部なども、易しく書かれているんだけど、それでも難しかったな
805(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/14(月)12:02 ID:w6tqRMw5(5/18) AAS
>>802
> ５次以上の代数方程式の根はよっぽど幸運でもない限り
いやね
５次の代数方程式のガロア群が、正20面体群になるんだけど（下記）
正20面体群がいまいち、すっきりしたイメージが湧かないので
（証明では、位数60の単純群までしか分解できないのは、長さ3と5の置換の組合わせで位数60になるというのだけれど・・）
下記の「正20面体と5次方程式 （シュプリンガー数学クラシックス）」も、買って読みましたよ
省25
811(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/14(月)16:13 ID:w6tqRMw5(9/18) AAS
>>809
ほいよ（＾＾；
彌永先生の本にもあるよ
（>>773より）
https（URLがNGなので、キーワードでググれ（＾＾ ）
ガロアの第一論文を読む 渡部 一己 著（2018.1.28）
https（URLがNGなので、キーワードでググれ（＾＾ ）
省12
818(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/14(月)17:41 ID:w6tqRMw5(14/18) AAS
>>815
めんどくさいやつだな
そうあせるな（＾＾
Q1. Qに1のn乗根を添加した拡大体をEとする
このときのガロア群G(E/Q)は？
A1. 面倒なのでn=p(素数)とするよ
（こう仮定してもガロア理論には十分だから）
省18
829(3): 2019/10/14(月)23:38 ID:ceRjWFfM(1/4) AAS
>>821
>正しい答えは
>乗法群(Z/nZ)× (位数n-1)
乗法群(Z/nZ)×はいいけど、位数n-1じゃないよ。
たとえばZ/6Zにおける乗法可逆元の類は、1,5の2つのみ。
一般的にはオイラーのφ函数を使ってφ(n)とあらわされる数になる。
832(4): 2019/10/14(月)23:51 ID:ceRjWFfM(3/4) AAS
1のべき根の方程式が解けるといっても、勿論1のn乗根=1^{1/n} とするのはなしねｗ
1のn乗根を代数的に解いたとき、冪根指数としてあらわれるのは
φ(n)の約数のみ。根号の中身は1ではない複雑な数になる。
（整数論的に言うと、分岐する素数と関係がある。）
836(3): Mara Papiyas ◆y7fKJ8VsjM 2019/10/15(火)05:25 ID:3uWjxYrs(1/10) AAS
>>829
>乗法群(Z/nZ)×はいいけど、位数n-1じゃないよ。
そうでした。大失敗
839(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/15(火)07:48 ID:9ROe+Kvi(2/9) AAS
>>824
めんどくさいやつだな
そうあせるな（＾＾
Qにaの5つの5乗根を添加した体をKとする
↓
１の5乗根の原始根をζ5と書く
あと、5√a(aの5乗根の実根)な
省17
842(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/15(火)10:06 ID:GY+TtPJn(1/4) AAS
>>840
おっちゃん、どうも、スレ主です。
>最近知ったことだけど、アペリーはむしろ計算機を援用する形でζ(3)の無理性を証明した可能性があるようですな
>(一松著 講談社 ブルーバックス 2016再発行の「四色問題」 254ページ参照)。
ああ、そうなん
一松信先生ね。懐かしいね
外部ﾘﾝｸ:ja.wikipedia.org
省12
849(3): Mara Papiyas ◆y7fKJ8VsjM 2019/10/15(火)19:38 ID:3uWjxYrs(3/10) AAS
>>839
>そうあせるな（＾＾
といいつつあせって地雷を踏んだ馬鹿ｗ
>Qにaの5つの5乗根を添加した体をKとする
> ↓
>１の5乗根の原始根をζ5と書く
>あと、5√a(aの5乗根の実根)な
省19
854(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/15(火)20:57 ID:9ROe+Kvi(4/9) AAS
>>853
訂正：つづき→つづく
つづき
ところで
>>838
>外部ﾘﾝｸ:hooktail.sub.jp
> １のｎ乗根 （Joh著） 物理のがきしっぽ
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.118s