El Vikipedio, la libera enciklopedio
Kampo
estas pseŭda algebre fermita se unu el jenaj ekvivalentaj kondiĉoj veras:
- Ĉiu absolute nereduktebla diversaĵo
difinita super
havas
-racionalan punkton.
- Ĉiu absolute nereduktebla polinomo
kun
kaj por ĉiu
tie ekzistas
tia ke
kaj
.
- Ĉiu absolute nereduktebla polinoma
havas malfinie multajn
-racionalajn punktojn.
- Se
estas finie generita integrala domajno super
kun frakcikorpo kiu estas regula super
, do tie ekzistas homomorfio
tia ke
por ĉiu ![{\displaystyle a\in K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f97d838bfcfb39f7a33ffe31cd1c2a989b8ca3f6)