Hilbertin neljästoista ongelma on neljästoista ongelmista , jotka David Hilbert esitti kuuluisassa puheessaan toisessa kansainvälisessä matemaatikoiden kongressissa Pariisissa vuonna 1900. Se on omistettu tiettyjen rakenteiden alla syntyvien renkaiden rajallisen sukupolven kysymykselle. Hilbertin alkuperäinen asetus oli motivoitunut Maurerin työstä, joka totesi, että algebrallisen ryhmän lineaarisen toiminnan invarianttien algebra vektoriavaruudessa on äärellisesti generoitu; Itse asiassa Hilbertin kysymys koski rengasta, joka saatiin rationaalisten funktioiden kentän alikentän ja polynomirenkaan leikkauspisteessä. [yksi]
Pian raportin jälkeen kuitenkin kävi ilmi, että Maurerin työ sisälsi virheen, ja Hilbertin kysymystä alettiin pitää kysymyksenä lineaaristen algebrallisten ryhmien invarianttien algebroiden äärellisestä generoinnista. Yllättäen vastaus tähän kysymykseen osoittautui kielteiseksi: vuonna 1958 Edinburghissa pidetyssä kongressissa M. Nagata esitti sille vastaesimerkin [1] [2] . Hän rakensi [3] aliryhmän GL(n):ssä, jonka invarianttia algebraa ei generoitu äärellisesti. Steinberg yksinkertaisti tätä rakennetta [1] vuoden 1997 artikkelissaan [4] .
14. Todistus jonkin täydellisen funktiojärjestelmän äärellisyydestä.
<...> Maurer onnistui äskettäin laajentamaan äärellisyyslauseet, jotka Jordan ja minä todistimme invarianttiteoriassa tapaukseen, jossa invariantteja ei määritä yleisprojektiivinen ryhmä, kuten tavallisessa invarianttiteoriassa, vaan sen mielivaltainen alaryhmä. <...>
Olkoon jokin luku m kokonaisia muuttujien rationaalisia funktioita :
Mikä tahansa koko rationaalinen yhteys välillä , jos nämä arvot tuodaan siihen, edustaa ilmeisesti myös koko rationaalista funktiota . Kuitenkin voi hyvinkin olla murto-osaisia rationaalisia funktioita , jotka substituution (S) jälkeen johtavat kokonaisiin funktioihin . Kutsun jokaista tällaista funktiota <...> suhteellisen kokonaiseksi funktioksi . <...> Ongelma ilmaistaan siis seuraavasti: selvittää, onko aina mahdollista löytää sellainen äärellinen järjestelmä kokonaisten funktioiden suhteen , jonka kautta mikä tahansa muu suhteellisen kokonainen funktio ilmaistaan integraalina ja rationaalisena tapa. <...> [5]
Toisin sanoen tässä on kysymys algebran äärellisestä generoinnista , missä on generoitu kenttä. Koska jokainen välikenttä generoidaan äärellisesti k:n jatkeena, loppujen lopuksi nykykielellä Hilbertin alkuperäinen muotoilu kuulostaa tältä:
Olkoon jokin kenttä, joka sisältää pääkentän k. Onko totta, että algebra on äärellisesti generoitu? [yksi]
Hilbertin ongelmia | |
---|---|