Pseŭda algebre fermita kampo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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