|
|
Пишет pet531 (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} pet531) |
Можно вопрос по поводу шага 3 доказательства Nullstellensatz?
Там написано, что кольцо $O_A$ конечномерно над $\mathbb{C}$, т.к. порождено координатными мономами. Но ведь мы определяем $O_A$, как ограничения рациональных функций, а не многочленов. Как доказать, что это одно и то же? (я могу это сделать только используя Nullstellensatz для многочленов в $\mathbb{C}^n$).
Спасибо.
Там написано, что кольцо $O_A$ конечномерно над $\mathbb{C}$, т.к. порождено координатными мономами. Но ведь мы определяем $O_A$, как ограничения рациональных функций, а не многочленов. Как доказать, что это одно и то же? (я могу это сделать только используя Nullstellensatz для многочленов в $\mathbb{C}^n$).
Спасибо.
Добавить комментарий:
