Видимо, придётся начать сначала. Я сейчас разбираю записки лекции, на которой меня не было (лекция была посвящена алгебраическим многообразиям и регулярным отображениям).
Там есть сначала определение: конечно-порождённое кольцо над
есть фактор
по идеалу. А дальше сразу идёт лемма: кольцо
над полем
является кольцом регулярных функций на алгебраическом многообразии
-- конечно-порождённое над
кольцо без нильпотентов.
Смысл моего вопроса заключался в том, почему автор может давать определение через фактор? Оно равносильно тому, про которое сказали Вы (про конечно-порождённую алгебру)? И работает ли оно не для комплексных?