Golod-Shafarevich- lause on algebran lause. Sen muotoili ja todisti E. S. Golod ja I. R. Shafarevich vuonna 1964 [1] [2] Sen tärkeitä seurauksia ovat negatiivinen vastaus Kuroshin ongelmaan (on olemassa nolla-algebra, joka ei ole paikallisesti nilpotentti) [3] , negatiivinen vastaus yleiseen Burnside-ongelmaan (on olemassa jaksollinen ryhmä , joka ei ole paikallisesti äärellinen) [4] .
Antaa olla polynomirengas noncommuting muuttujissa mielivaltaisen kentän yli . Antaa olla asteittainen algebra sen astefunktion määritelmän vuoksi.
Esitetään se aliavaruuksien summana , jossa , ja jolla on muodon elementtien kanta , jossa muuttujat valitaan joukosta .
Kutsumme avaruuden elementtejä homogeenisiksi asteelementeiksi .
Antaa olla kaksipuolinen ihanne algebran , joka syntyy homogeenisten asteiden elementeistä , vastaavasti. Järjestetään se niin . Niiden elementtien lukumäärä, joiden asteet ovat yhtä suuret , merkitään .
Osamääräalgebra perii arvosanan , koska ideaali syntyy homogeenisten elementtien avulla .
Osamääräalgebra voidaan esittää summana , jossa .
Anna .
Lauseen ehdoissa kuvatulla algebralla on seuraavat ominaisuudet:
Lauseen todistus vie kirjassa sivuja [5]