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