EVO-luutio

Unohtakaa edellinen merkintä. Säästän sen vain siksi, että se on jälleen yksi muistutus siitä, etten vaan osaa. Tosin tänään revisioin todistustani, ja sain sen menemään läpin siten, että jos luokkaluku on suurempi tai yhtäsuuri kuin kuusi, lauseen oletuksilla ryhmän G kertaluvun on oltava vähemmän kuin 183. Koska G on yksinkertainen ja ei-kommutatiivinen, niin se on isomorfinen joko alternoivan ryhmän A_5 kanssa (kertaluku 60) tai sitten projektiivisen erikoisen lineaarisen ryhmän (mikähän se nyt olikaan se oikea suomennos) PSL(2,7) (tai PSL(3,2)?) kanssa, ja tällöin tehtäväksi jää laskea molempien ryhmien luokkaluvut. Alternoivalle vitoselle tiedän, että se on 5, mutta en nyt juuri muista, mistä sen tiedän. Ehkä se pitäisi laskea erikseen, mutta se tietää työtä puhumattakaan tuosta jälkimmäisestä tapauksesta, ellei siihen löydy jotain taikakeinoa.