Hyperäärellinen kunta
Siirry navigaatioon
Siirry hakuun
Hyperäärellinen kunta on matematiikassa tietyt ehdot täyttävät algebrallinen rakenne. Kunnan sanotaan olevan hyperäärellinen, jos se on ylinumeroituva, kvasiäärellinen ja jokaisella absoluuttisesti kokonaisella E-algebralla , missä on kunnan alikunta ja , on olemassa E-algebrahomomorfismi . James Ax käytti hyperäärellisiä kuntia todistaessaan äärellisten kuntien alkeisteorian olevan ratkeava.
Lähteet
[muokkaa | muokkaa wikitekstiä]- James Ax: The elementary theory of finite fields