#群論入門_正規部分群編 20 #単純群 (simple group) ja.wikipedia.org/wiki/%E5%8D%98… ・「自明でない #正規部分群」 (＝それ自身と #単位群 {e} 以外の正規部分群) を持たず， またそれ自身も単位群ではない #群 のこと. ・この頁は熟読しましょう.

＜#代数学の参考書＞ 「有限単純群」(紀伊國屋書店1987鈴木) 前書きより: 『過去 #30年 に渡る 数多くの人達の #努力 によって 最近 #ついに #単純群 の #分類定理 が #証明 された. #有限単純群 は ①#素数 位数の #巡回群 ②#交代群 ③#Lie型 の #群 ④#散在群 のいずれかと #同形.』

＜#代数学の参考書＞ 紀伊國屋数学叢書28 「有限単純群」 (紀伊國屋書店1987鈴木) bookmeter.com/books/2248311 前書きより引用: 『#有限群 はすべて #単純群 を積み重ねて得られる。 そこで， 単純群はどのような #群 であろうか という質問は #有限群論 の根本にある 重要な問題であった。』

#群論入門_正規部分群編 1 ↑ このタグでは #部分群，#生成系 の定義を理解した人向けに 下記の事項を解説しますぞ！ ・ #共役変換(#内部自己同型写像) ・ #正規部分群 の定義 ・ #自明な正規部分群 と #単純群 ・ #正規列 と #組成列 ・ #交換子 と #交換子群 ・ #交換子群列 と #可解群

#群論の知識 Q. 群が #完全可約 であるとは. A. ja.wikipedia.org/wiki/%E7%B5%84… #群 G が 有限個の #単純群 の #直積 に 分解可能である場合， Gは 完全可約(completely reducible)または #半単純(semisimple)であるという.

＜#代数学の参考書＞ 「モンスター　群のひろがり」(1999原田) p5より 『#群 を #同型 を除いて #分類 し， 各々の #同型類 に属する群の 性質を調べあげる という詳細な分類は #実際問題 としては #不可能. さらに強い条件の下に 群を分類するのを目標とし #単純群 という概念が生まれる』

＜#代数学の参考書＞ 「モンスター　群のひろがり」(1999原田) p5より 『#群 を #同型 を除いて #分類 し， 各々の #同型類 に属する群の 性質を調べあげる という詳細な分類は #実際問題 としては #不可能. さらに強い条件の下に 群を分類するのを目標とし #単純群 という概念が生まれる』

＜#代数学の参考書＞ 「モンスター　群のひろがり」 (岩波書店1999原田) 序文より: 『#トンプソン は， #群 の #シロー群 から #派生 する 様々な #正規化群 の 群への #働き方 を 徹底的に追究して 強力な #定理 を発見し， #単純群 の #分類 が #不可能 ではないことを 示唆してくれた.』

「#シンプル・イズ・ザ・ベスト」 というのは 【#単純群 は最高だ！】 という意味であり， 「非自明な #正規部分群 を持たないこと」 を最も良しとする美学のことですよね！！！ #シンプル #単純 #simple ja.wikipedia.org/wiki/%E5%8D%98… simple「単純」：自明でない正規部分群を持たないこと

＜#代数学の参考書＞ 「モンスター　群のひろがり」(1999原田) 序文より引用: 『#単純群 全体の #分類 は #実際問題 としては #長い間 #研究対象 にならなかった. それを #大きく変えた のが #トンプソン による一連の仕事. トンプソンが現れてから ほぼ #25年 後に 単純群はすべて分類…』