2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Конечно порождённое кольцо над полем
Сообщение16.08.2018, 13:32 
Как выглядит определение конечно порождённого над полем кольца? Никак не могу найти...

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 13:57 
Аватара пользователя
кольцо над полем это алгебра

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:00 
alcoholist
Спасибо! А правда ли, что это определение (про конечно порожденную алгебру) равносильно такому: кольцо есть фактор кольца многочленов над нашим полем по идеалу? Если неправда, то почему могут использовать определение через фактор, если рассматриваются многочлены над комплексными?

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:25 
Аватара пользователя
вы только про коммутативные кольца?

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:27 
alcoholist
Да, про них)

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:27 
Аватара пользователя
и я не понял: какое определение, что использовать

-- Чт авг 16, 2018 17:31:56 --

кольцо многочленов является свободным коммутативным кольцом, поэтому любое коммутативное кольцо является его фактором

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:45 
Видимо, придётся начать сначала. Я сейчас разбираю записки лекции, на которой меня не было (лекция была посвящена алгебраическим многообразиям и регулярным отображениям).
Там есть сначала определение: конечно-порождённое кольцо над $\mathbb C$ есть фактор $\mathbb C[x_1, x_2, \ldots, x_n]$ по идеалу. А дальше сразу идёт лемма: кольцо $A$ над полем $\mathbf k$ является кольцом регулярных функций на алгебраическом многообразии $\Leftrightarrow$ $A$ -- конечно-порождённое над $\mathbf k$ кольцо без нильпотентов.
Смысл моего вопроса заключался в том, почему автор может давать определение через фактор? Оно равносильно тому, про которое сказали Вы (про конечно-порождённую алгебру)? И работает ли оно не для комплексных?

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 18:00 
Аватара пользователя
Dormidontoff в сообщении #1332946 писал(а):
почему автор может давать определение через фактор

Автор так определяет. Что значит "может-не может"?

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 18:06 
Под "может-не может" я подразумеваю мотивировку того, что дано именно такое определение: например, если оно равносильно определению через конечно-порождённую алгебру, то тогда всё понятно. Можно сказать, что меня сейчас волнует вопрос именно о равносильности определений, а) для комплексных, б) для произвольного поля.

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 18:39 
Аватара пользователя
Конечно, равносильны.

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 18:42 
Dormidontoff
Неужели у Вас учебников нет, и никак не найти.
Текст страница (бумажная) 49, 55 и проч.
По-моему, этого достаточно для ответа на Ваши вопросы.

 
 
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 19:08 
Otta
Спасибо большое!

 
 
 [ Сообщений: 12 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group