質問: 有限単純群の分類の証明は全部で1万5千ページにも及ぶそうですが、なんでこんな分量なんですか?
回答: ひとによりとらえ方はいろいろですね。 わたしはそれぐらいかかるかもと思います。 そもそも有限群て10^1000 が位数でも 有限群ですから。条件が少ないので体とちがい 可能性が大きい。それと実数体とか複素数体の ような解析が使えず、細かい違いがでてくる。 大筋は1000ページでできても、細かい 例外的な部分を全部埋めることを考えたら その何倍もかかるのでは?