Tämän illan saldona oli parin lemman todistus rewritabilityyn liittyen - tosin toinen lemma liittyy ihan suoraan alkuperäisen aiheeni ytimeen - ja kolmannen lemman todistuksen alkua. Vähän yli sivun verran ruutupaperille, se tarkoittanee paria-kolmea sivua gradusivuiksi muutettuna, kun ottaa huomioon kaikki ylimääräiset rautalankaväännöt ja ja mahdolliset lisätulokset, joita tarvitaan. Edistystä siis, kas kummaa.

Aitojen madaltuminen

Se on varmaan taas se aika kuukaudesta, kun olen varma, ettei minusta tule kunnon matemaatikkoa, ja voin siis mennä gradunkin kanssa siitä, mistä aita on kohtuullisen matala. Keskityn seuraavaksi hieman symmetrisiin ryhmiin, ja ensin käyn etsimässä kirjastosta kirjan, jossa luetellaan partitiofunktion (?) arvoja, joilla voin luetella symmetristen ryhmien kommutaatiotodennäköisyyksiä. Sitten lasken ihan rautalangasta vääntäen alternoivan A_5:n konjugointiluokat. Sitten otan sen rewritability-artikkelin käsiini, ja sen avulla todistelen, että jos Pr(G) = 1/2, niin G/Z(G) on isomorfinen symmetrisen ryhmän S_3 kanssa (muistaakseni tulos oli tuollainen, en ole ihan varma). Pamfletin pamfletti, gradu vaan äkkiä valmiiksi, ja sitten haalimaan loppuja opintoviikkoja ja sitten valmistuminen.