| |||
|
|
>нужно доказать, что локальное нётерово регулярное кольцо всегда UFD Шафаревич оставляет его в качестве упражнения. Я провел примерно месяц (лет в 17) пытаясь его решить, и так его книжку и бросил (с диким отвращением), и с тех пор не открывал. Но факт тем не менее элементарный, и много проще, чем какое-нибудь неравенство Соболева, см. Атью-Макдональда. Проще, но при том менее интуитивно понятно. >Я только хотел сказать, что в "подходе через >коммутативную алгебру" достаточно нетривиальных утверждений. Но они все более-менее решаются путем прорешивания Атьи-Макдональда >Без неё нельзя определить схемы Гильберта. Схем Гильберта у итальянцев не было, они определяли их ad hoc и доказывали все в каждом отдельном случае Добавить комментарий: |
||||