14/09/07 09:20:53.85
>>279 つづき
どうもです スレ主です。
>実は、これには後日談があり、有限単純群の分類の証明を合わせると１万から２万ページになると言われるが、そこに大きな穴が空いていたという。
>その穴を、Aschbacherが埋めたとか
えーと、これだね
URLﾘﾝｸ(en.wikipedia.org)
分類
完全な分類は1962年/63年のフェイト・トンプソンの定理（英語版）から始まり、主に1983年まで続いたが,2004年に終了したばかりである、ということが一般的に受け入れられている。
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。
このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。