Pseudoäärellinen kunta

Wikipediasta
Siirry navigaatioon Siirry hakuun

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.

Ax, James: The elementary theory of finite fields.