Algebra variaĵo

En algebra geometrio, algebra variaĵoNova Plena Ilustrita Vortaro de Esperanto: vari/aĵ/o “Subaro de vektora spaco, kiu estas la nulejo de analitika bildigo”, aŭ simple variaĵo, estas skemo, kiu estas loke izomorfa al la nulejo de prima idealo de polinomoj.

 Difino 
Supozu ke  estas komuta algebre fermita korpo. Afina algebra variaĵo estas afina skemo de la formo
,
en kiu
  estas la ringo de polinomoj je  variabloj kun koeficientoj en 
  estas prima idealo en la polinoma ringo.
Do, ĝi estas nature subskemo de la -dimensia afina spaco

difinita de la polinomoj generantaj la idealon . La postulo ke la idealo estu prima respondas al la jenaj du kondiĉoj:
 la prima idealo egalas ĝian propran radikalon; tio respondas al la fakto ke la afina algebra variaĵo estas reduktita — ekzemple,  ne estas reduktita, ĉar ĝi inkluzivas la “infiniteziman ĉirkaŭaĵon” de la punkto .
 krome, la primeco ankaŭ implicas, ke la algebra variaĵo estas nemalkomponebla: ĝi ne estas la kunaĵo de du nemalplenaj subvariaĵoj.

Algebra variaĵo estas skemo, kiu estas loke izomorfa al afina algebra variaĵo. Alivorte, ĝi estas reduktita, nemalkomponebla skemo de finia tipo super la algebre fermita korpo .

 Referencoj 

 Eksteraj ligiloj