2014 dxdy logo

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

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




 
 Тензорное произведение
Сообщение08.11.2012, 15:47 
В книжке Атьи и Макдональда сформулирована следующая задача:
Пусть $A$ - некоторое кольцо, $\alpha$ - его идеал, $M$ - модуль над $A$. Требуется доказать изоморфизм $M/\alpha M$ и $M\otimes A/\alpha$. Это просто, но авторы дают какое-то таинственное указание - предлагают точную строку $\xymatrix{0\ar[r]&\alpha\ar[r]&A\ar[r]&A/\alpha\ar[r]&0}$ тензорно умножить на $M$. Что же это даст? Ведь модуль $M$ не предполагается плоским!

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 16:41 
Плоскость $M$ здесь не нужна: функтор тензорного произведения точен справа.

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 17:24 
fancier в сообщении #641633 писал(а):
Плоскость $M$ здесь не нужна: функтор тензорного произведения точен справа.

Плоскость, конечно, не нужна - всё легко доказывается и без тензорного умножения этой самой строки на $M$. Что значит точность справа? Ведь неважно, слева или справа "домножать" , т.к. имеет место изоморфизм $A\otimes B$ и $B\otimes A$

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 17:54 
Chernoknizhnik в сообщении #641660 писал(а):
Что значит точность справа?

То, что для точной последовательности $0\rightarrow \alpha \rightarrow A\rightarrow A/\alpha \rightarrow 0$ последовательность $\alpha \otimes M \rightarrow A\otimes M\rightarrow (A/\alpha)\otimes M\rightarrow 0$ точна (тензорные произведения над $A$). С какой стороны домножать, конечно, неважно.

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 18:28 
fancier в сообщении #641676 писал(а):
Chernoknizhnik в сообщении #641660 писал(а):
Что значит точность справа?

То, что для точной последовательности $0\rightarrow \alpha \rightarrow A\rightarrow A/\alpha \rightarrow 0$ последовательность $\alpha \otimes M \rightarrow A\otimes M\rightarrow (A/\alpha)\otimes M\rightarrow 0$ точна (тензорные произведения над $A$).

Это-то да, но как отсюда вывести нужный изоморфизм?

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 19:23 
Точность во втором члене этой последовательности в комплекте с сюръективностью второго отображения как раз и означает нужный изоморфизм.

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 19:49 
Да, спасибо.
Поясните, пожалуйста, еще одну вещь - зачем нужны эти тензорные произведения (не сами тензоры и т.п., а именно произведения модулей в контексте коммутативной алгебры)? К примеру, в книге Атьи-Макдональда их свойства обсуждаются во второй главе, а дальше вроде бы и не применяются. Ведь не ради тензорных произведений они придуманы.

 
 
 
 Re: Тензорное произведение
Сообщение08.11.2012, 21:25 
Chernoknizhnik в сообщении #641754 писал(а):
Да, спасибо.
Поясните, пожалуйста, еще одну вещь - зачем нужны эти тензорные произведения (не сами тензоры и т.п., а именно произведения модулей в контексте коммутативной алгебры)? К примеру, в книге Атьи-Макдональда их свойства обсуждаются во второй главе, а дальше вроде бы и не применяются. Ведь не ради тензорных произведений они придуманы.

Сама коммутативная алгебра служит основой для алгебраической геометрии. Тензорные произведения в двойственной геометрической картине отвечают расслоенным произведениям аффинных схем.

 
 
 
 Re: Тензорное произведение
Сообщение09.11.2012, 16:31 
Спасибо, что-то даже слышал такое

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


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