Морфизм конечного типа

Морфизм конечного типа В коммутативной алгебре A-алгебра конечного типа определяется как конечно порожденная A-алгебра.  Гораздо более важно, чтобы A-алгебра была […]

Морфизм конечного типа

  • В коммутативной алгебре A-алгебра конечного типа определяется как конечно порожденная A-алгебра. 
  • Гораздо более важно, чтобы A-алгебра была конечной, что означает, что она конечно порождается как A-модуль. 
  • Кольцо многочленов A [x1, …, xn] является A-алгеброй конечного типа, но не является конечным A-модулем, если только A = 0 или n = 0. 
  • Аналогичное понятие в терминах схем: морфизм f: X → Y схем имеет конечный тип, если Y имеет покрытие аффинными открытыми подсхемами Vi, такое, что f-1 (Vi) имеет конечное покрытие аффинными открытыми подсхемами Uij с Bij Ai-алгебра конечного типа. 

Полный текст статьи:

Морфизм конечного типа — Википедия

Оставьте комментарий

Прокрутить вверх