Pseudoäärellinen kunta

Kunta  on pseudoäärellinen jos  on kvasiäärellinen ja jokaista äärellisviritteistä absoluuttisesti kokonaista -algebraa  kohti on olemassa -algebrahomomorfismi .

Pseudoäärelliselle kunnalle pätee:

 on pseudoäärellinen, jos ja vain jos  on kvasiäärellinen ja jokaisella :n suhteen absoluuttisesti jaottomalla varistolla on -arvokohta :ssä.

Olkoon  kvasiäärellinen kunta, jolle jokaista äärellisviritteistä absoluuttisesti kokonaista -algebraa  kohti, missä  on äärellinen tai numeroituvasti ääretön, on olemassa -algebrahomomorfismi . Tällöin  on pseudoäärellinen.

Lähteet  

Ax, James: The elementary theory of finite fields.

Kuntateoria
en:pseudo-finite field