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 ] 

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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