Algebra variaĵo

spaco, studita en algebra geometrio, difinita kiel nulejo de algebra ekvaciaro

Je algebra geometrio, algebra variaĵo[1], aŭ simple variaĵo, estas skemo, kiu estas loke izomorfa al la nulejo de prima idealo de polinomoj.

DifinoRedakti

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 kunigaĵ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  .

ReferencojRedakti

  1. Nova Plena Ilustrita Vortaro de Esperanto: vari/aĵ/o “Subaro de vektora spaco, kiu estas la nulejo de analitika bildigo”

Eksteraj ligilojRedakti