Спасибо, однако:
как я понимаю спектр кольца - это афинная схема, то есть это не результат про проективные кривые.
Вообще я имел ввиду следующее (цитата из книги "Алгеброгеометрические коды"):
Дробный идеал в поле

есть тот же дивизор

, только записываемый мультипликативно...
Группа классов идеалов

- это почти группа

-точек якобиана кривой; ее мощность соответствует произведению числа классов числового поля на его регулятор.
Очень хочеться разобраться, откуда беруться
числовые поля связанные с кривыми над конечными полями.