Hyperäärellinen kunta

Hyperäärellinen kunta on matematiikassa tietyt ehdot täyttävät algebrallinen rakenne. Kunnan $\scriptstyle F$ sanotaan olevan hyperäärellinen, jos se on ylinumeroituva, kvasiäärellinen ja jokaisella absoluuttisesti kokonaisella E-algebralla $\scriptstyle R$, missä $\scriptstyle E$ on kunnan $\scriptstyle F$ alikunta ja $\scriptstyle |R|<|F|$, on olemassa E-algebrahomomorfismi $\scriptstyle R\to F$. James Ax käytti hyperäärellisiä kuntia todistaessaan äärellisten kuntien alkeisteorian olevan ratkeava.

Lähteet

• James Ax: The elementary theory of finite fields