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