Every finite simple group falls into one of five categories:


This theorem is also known as the `enormous theorem'; its proof is spread throughout the mathematics literature and is estimated to be over 15,000 pages in length. The proof was finally completed in the early- to mid-1980s.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.