| |||
|
|
>А какой аргумент ты имеешь в виду, кстати? Надо доказать что (локальное) кольцо UFD <=> его пополнение UFD (аргумент более-менее в одну строчку), а пополнения регулярных колец, содержащих поле вычетов - кольца степенных рядов >Интересно, если он работает для произвольного кольца. не работает, потому что нужно, чтобы поле вычетов туда вкладывалось. В характеристике 0 ок, а в характеристике p нужно что-то унылое делать (забыл, что) Добавить комментарий: |
||||