Hyperäärellinen kunta

Hyperäärellinen kunta on matematiikassa tietyt ehdot täyttävät algebrallinen rakenne. Kunnan $F$ sanotaan olevan hyperäärellinen, jos se on ylinumeroituva, kvasiäärellinen ja jokaisella absoluuttisesti kokonaisella E-algebralla $R$, missä $E$ on kunnan $F$ alikunta ja $|R|<|F|$, on olemassa E-algebrahomomorfismi $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