>>507
>「有限単純群の分類」の証明なんて 頭からしっぽまで 全部読める人は 世界中さがしてだれもいない
>なぜならば、その証明の難しい部分の多くが コンピューターの中だからよ（人には そのまま理解できない。）
>よって 「A5が単純群」の証明云々を 「有限単純群の分類」の証明にも当て嵌めてみろってことよ　ダブスタさん

「A5が単純群の証明」は人手でできる　人にもそのまま理解できる
だから、当てはめは不要

もし、「A5が単純群」の証明が分からないとすると
もっと基本的なところが分かってない可能性が大

例えば
「ある群の生成元全部がその群で共役」という性質から
「その群の正規部分群が単位群でないならば、もとの群と同じになる」と
なぜいえるのか、その理屈が分かってないとか

「交代群が３サイクルで生成される」とか
「交代群が５次以上なら３サイクルはみな共役」とかより以前の話