2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Конечно порождённое кольцо над полем
Сообщение16.08.2018, 13:32 


14/08/18
11
Как выглядит определение конечно порождённого над полем кольца? Никак не могу найти...

 Профиль  
                  
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 13:57 
Заслуженный участник
Аватара пользователя


22/01/11
2641
СПб
кольцо над полем это алгебра

 Профиль  
                  
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:00 


14/08/18
11
alcoholist
Спасибо! А правда ли, что это определение (про конечно порожденную алгебру) равносильно такому: кольцо есть фактор кольца многочленов над нашим полем по идеалу? Если неправда, то почему могут использовать определение через фактор, если рассматриваются многочлены над комплексными?

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


22/01/11
2641
СПб
вы только про коммутативные кольца?

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


14/08/18
11
alcoholist
Да, про них)

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


22/01/11
2641
СПб
и я не понял: какое определение, что использовать

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

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

 Профиль  
                  
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 17:45 


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

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


22/01/11
2641
СПб
Dormidontoff в сообщении #1332946 писал(а):
почему автор может давать определение через фактор

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

 Профиль  
                  
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 18:06 


14/08/18
11
Под "может-не может" я подразумеваю мотивировку того, что дано именно такое определение: например, если оно равносильно определению через конечно-порождённую алгебру, то тогда всё понятно. Можно сказать, что меня сейчас волнует вопрос именно о равносильности определений, а) для комплексных, б) для произвольного поля.

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


22/01/11
2641
СПб
Конечно, равносильны.

 Профиль  
                  
 
 Re: Конечно порождённое кольцо над полем
Сообщение16.08.2018, 18:42 
Заслуженный участник


09/05/13
8904
∞⠀⠀⠀⠀
Dormidontoff
Неужели у Вас учебников нет, и никак не найти.
Текст страница (бумажная) 49, 55 и проч.
По-моему, этого достаточно для ответа на Ваши вопросы.

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


14/08/18
11
Otta
Спасибо большое!

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: oleg_2


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group