Pseŭda algebre fermita kampo
El Vikipedio
Kampo K estas pseŭda algebre fermita se unu el jenaj ekvivalentaj kondiĉoj veras:
- Ĉiu absolute nereduktebla diversaĵo V difinita super K havas K-racionalan punkton.
- Ĉiu absolute nereduktebla polinomo
kun
kaj por ĉiu
tie ekzistas
tia ke
kaj
.
- Ĉiu absolute nereduktebla polinoma
havas malfinie multajn K-racionalajn punktojn.
- Se R estas finie generita integrala domajno super K kun frakcikorpo kiu estas regula super K, do tie ekzistas homomorfio
tia ke h(a) = a por ĉiu