現代数学の系譜工学物理雑談古典ガロア理論も読む71

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む71 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

252: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/06/25(火) 14:07:36.12 ID:vAlAkd25

>>249 補足

「非可解群の出現頻度」のグラフが面白いわ（＾＾
http://peng225.hatenablog.com/entry/2017/09/22/143833
非可解群の出現頻度
https://cdn-ak.f.st-hatena.com/images/fotolife/p/peng225/20170922/20170922003148.png
300までの位数について計算したもの

https://cdn-ak.f.st-hatena.com/images/fotolife/p/peng225/20170922/20170922003202.png
10,000までの位数について計算したもの

http://d.hatena.ne.jp/keyword/Thompson-Feit%A4%CE%B4%F1%BF%F4%B0%CC%BF%F4%C4%EA%CD%FD
Thompson-Feitの奇数位数定理
(抜粋)
ThompsonとFeitによる「奇数位数の群は可解である」という定理。最小位数の反例をまず仮定しそれを否定するという証明方法を取った。証明には300ページ近くかかった。
Feit, W. and Thompson, J. G. "Solvability of Groups of Odd Order." Pacific J. Math. 13, 775-1029, 1963.

http://integers.hatenablog.com/entry/2017/02/07/175633
INTEGERS
2017-02-07
もしも60が奇数だったら | 今週のお題「私のタラレバ」
Feit?Thompsonの定理 任意の奇数位数の有限群は可解群である。
これは大定理で、Thompsonはコール賞、フィールズ賞、アーベル賞を受賞しています*1。
*1:学部三年生の群論の試験監督TAをしていたら、この問題が出題されていました。解けた人はいなかったようです。
(引用終わり)

Feit?Thompsonの定理を出題するとは、
これはきっと、おっちゃんのR大にちがいない（＾＾；

http://rio2016.5ch.net/test/read.cgi/math/1561208978/252

253: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/06/25(火) 14:38:59.64 ID:vAlAkd25

>>252
＞Feit?Thompsonの定理 任意の奇数位数の有限群は可解群である。
＞*1:学部三年生の群論の試験監督TAをしていたら、この問題が出題されていました。解けた人はいなかったようです。

白紙では、点無しだから、何か書くべし
「最小位数の反例をまず仮定しそれを否定するという証明方法を取る」として
下記の五味健作先生の断片のつまみ食いでも書いて、最後「完全な証明を持っているが、余白が狭すぎる」で閉めるｗ（＾＾

http://gomiken.in.coocan.jp/japanese/math/cfsg.htm
有限単純群の分類 五味健作 別冊数理科学「群とその応用」1991より
(抜粋)

（１）素数位数で固定点なしの自己同形を持つ有限群がベキ零群であることの証明．
（２）奇数位数の単純群が可換群であることの証明（Feitと共同で）．
（３）N-群の分類．

（１）の系として，いわゆるFrobenius群という置換群のFrobenius核がベキ零群であることが分かる． これが鍵となって，Zassenhaus群と呼ばれる二重可遷置換群が分類され（Zassenhaus-Feit-鈴木-伊藤による），
（２）は非可換単純群は偶数位数をもち，したがって位数２の元を持つことを意味する． このことは，Gの構造がHの構造によって決まってしまうことを意味する．
そこでBrauerは，偶数位数の単純群を位数２の元の中心化群の構造によって分類するというプログラムを提唱し，鈴木等とともにこの研究を旺盛に推進していた．
（２）はこのプログラムに礎を提供したのである．

Feit-Thompsonによる（２）の証明は背理法によるもので，奇数位数の非可換単純群の中で位数の一番小さいものを考察する．
このような群では，真の部分群はすべて可解群となる． しかも，証明の多くの部分においては，位数が奇数であることではなく，真の部分群が可解群であるという性質だけが必要となる．
このことに気付いたThompsonは，「真の部分群がすべて可解であるような非可換単純群」すなわち「極小単純群」の研究へと導かれた．
Thompsonはさらに，すべての真部分群が可解であることは必要でなく，「p-局所部分群」すなわち「自明でないp-部分群の正規化群」が，すべての素数pに対して可解であれば十分であることに気付いた．
この条件をみたす群が「N-群」と呼ばれ，（３）において研究されたものである．

http://rio2016.5ch.net/test/read.cgi/math/1561208978/253

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.029s