Pseŭda algebre fermita kampo

El testwiki
Revizio de 23:40, 25 sep. 2024 fare de imported>Taylorbot (dom-ajno | t=163 su=3 at=3 in=3 | edr=000-0010(!!!) ovr=010-1111 aft=000-0010)
(malsamoj) ← Antaŭa versio | Rigardi nunan version (malsamoj) | Sekva versio → (malsamoj)
Salti al navigilo Salti al serĉilo

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 fK[T1,T2,,Tr,X] kun fX=0 kaj por ĉiu 0=gK[T1,T2,,Tr,X] tie ekzistas (a,b)Kr+1 tia ke f(a,b)=0 kaj g(a)=0.
  • Ĉiu absolute nereduktebla polinoma fK[T,X] 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 h:RK tia ke h(a)=a por ĉiu aK

Ŝablono:Ĝermo