Coba jelasin Mengapa buktinya begitu lama? dari Klasifikasi grup sederhana hingga dong

Gorenstein telah membahas beberapa alasan mengapa mungkin tidak ada bukti singkat dari klasifikasi yang mirip dengan klasifikasi grup Lie kompak.

Alasan paling jelas adalah daftar grup sederhana cukup rumit: dengan 26 grup sporadis, ada kemungkinan banyak kasus khusus yang harus dipertimbangkan dalam pembuktian apa pun. Sejauh ini belum ada yang menemukan deskripsi seragam yang bersih dari grup sederhana hingga mirip dengan parameterisasi grup Lie kompak oleh diagram Dynkin.

Atiyah dan yang lainnya telah mengemukakan bahwa klasifikasi harus disederhanakan dengan membangun beberapa objek geometris yang bekerja pada kelompok dan kemudian mengklasifikasikan struktur geometris ini. Masalahnya adalah tidak ada yang bisa menyarankan cara mudah untuk menemukan struktur geometris yang terkait dengan kelompok sederhana. Dalam beberapa hal, klasifikasi bekerja dengan mencari struktur geometris seperti Pasangan BN, tetapi ini hanya muncul pada akhir dari analisis yang sangat panjang dan sulit dari struktur sebuah kelompok sederhana yang berhingga.

Saran lain untuk menyederhanakan pembuktian berarti lebih banyak menggunakan teori representasi. Masalahnya di sini adalah bahwa teori representasi tampaknya memerlukan kontrol yang sangat ketat atas subkelompok dari suatu kelompok agar dapat bekerja dengan baik. Untuk kelompok peringkat kecil, teori kontrol dan representasi bekerja dengan sangat baik, tetapi untuk grup dengan peringkat yang lebih besar tidak ada yang berhasil menggunakannya untuk menyederhanakan klasifikasi. Pada hari-hari awal klasifikasi ada banyak upaya yang dilakukan untuk menggunakan teori representasi, tetapi ini tidak pernah mencapai banyak keberhasilan dalam kasus peringkat yang lebih tinggi.