Hyperäärellinen kunta

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
 James Ax: The elementary theory of finite fields

Kuntateoria