Nälkä-Shafarevich-lause

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] .

Ehdot

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 .

Sanamuoto

Lauseen ehdoissa kuvatulla algebralla on seuraavat ominaisuudet:

  1. kaikille .
  2. Jos kullekin , Sitten on ääretön-ulotteinen yli .

Todiste

Lauseen todistus vie kirjassa sivuja [5]

Katso myös

Muistiinpanot

  1. Golod E.S. Nolla -algebroista ja äärellisesti approksimoitavissa olevista p-ryhmistä  // Izvestiya AN SSSR. Matemaattinen sarja. - 1964. - T. 28, numero 2 . - S. 273-276 .
  2. Golod E. S. , Shafarevich I. R. Luokkapeltojen tornissa  // Neuvostoliiton tiedeakatemian Izvestia. Matemaattinen sarja. - 1964. - T. 28, numero 2 . - S. 261-272 .
  3. Ei-kommutatiiviset renkaat, 1972 , s. 184.
  4. Ei-kommutatiiviset renkaat, 1972 , s. 185.
  5. Ei-kommutatiiviset renkaat, 1972 , s. 180-183.

Kirjallisuus