Algebra variaĵo

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

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

Difino[redakti | redakti fonton]

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 .

Referencoj[redakti | redakti fonton]

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

Eksteraj ligiloj[redakti | redakti fonton]