Tolong jelaskan mengenai Sejarah pembuktian dari Klasifikasi grup sederhana hingga

Pada tahun 1972  mengumumkan program untuk menyelesaikan klasifikasi kelompok sederhana hingga, yang terdiri dari 16 langkah berikut:

Grup peringkat 2 rendah. Ini pada dasarnya dilakukan oleh Gorenstein dan Harada, yang mengklasifikasikan kelompok dengan peringkat 2 bagian paling banyak 4. Sebagian besar kasus peringkat 2 paling banyak 2 telah dilakukan pada saat Gorenstein mengumumkan programnya.

Kesederhanaan 2-lapisan. Masalahnya adalah untuk membuktikan bahwa 2-lapis pemusat dari suatu involusi dalam sebuah grup sederhana adalah semi sederhana.

Bentuk standar dengan ciri ganjil. Jika suatu kelompok memiliki involusi dengan 2 komponen itu merupakan grup tipe Lie dengan karakteristik ganjil, tujuannya adalah untuk menunjukkan bahwa ia memiliki pemusat dari involusi dalam "bentuk standar" yang berarti bahwa pemusat dari involusi memiliki komponen yang berjenis Lie dengan karakteristik ganjil dan juga memiliki pusat.

Klasifikasi kelompok tipe ganjil. Masalahnya adalah untuk menunjukkan bahwa jika suatu kelompok memiliki pemusatan involusi dalam "bentuk standar" maka itu adalah grup jenis Lie dengan karakteristik ganjil. Ini dipecahkan oleh teorema involusi klasik Aschbacher.