2014 dxdy logo

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

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




 
 Вопрос по Мамфорду
Сообщение08.10.2014, 10:29 
Пусть $R$ - коммутативное кольцо с единицей, $f\in R$ и $\mathfrak p$ - простой идеал кольца $R.$ Обозначим через $R_f$ локализацию кольца $R$ по элементу $f,$ а через $R_{\mathfrak p}$ локализацию по идеалу $\mathfrak p.$ Утверждается, что если мультипликативная система $\{f,f^2,\ldots\}\subset R\setminus\mathfrak p,$ то имеется естественное отображение $R_f\rightarrow R_{\mathfrak p}.$ Никак не получается сообразить как оно строится. Помогите, пожалуйста.

 
 
 
 Re: Вопрос по Мамфорду
Сообщение08.10.2014, 16:26 
Тогда поставлю вопрос немного шире. Пусть $S,T$ - две мультипликативные системы кольца $R.$ Если имеет место вложение $S\subset T,$ то существует гомоморфизм $R[S^{-1}]\rightarrow R[T^{-1}].$ Как этот гомоморфизм строится? По ходу элементу $r/s$ из $R[S^{-1}]$ ставится в соответствие элемент $r/s$ из $R[T^{-1}].$

 
 
 
 Re: Вопрос по Мамфорду
Сообщение08.10.2014, 19:34 
OlgaD в сообщении #916577 писал(а):
элементу $r/s$ из $R[S^{-1}]$ ставится в соответствие элемент $r/s$ из $R[T^{-1}].$

Именно так.

Вопрос где это:
Цитата:
Пусть $R$ - коммутативное кольцо с единицей, $f\in R$ и $\mathfrak p$ - простой идеал кольца $R.$ Обозначим через $R_f$ локализацию кольца $R$ по элементу $f,$ а через $R_{\mathfrak p}$ локализацию по идеалу $\mathfrak p.$ Утверждается, что если мультипликативная система $\{f,f^2,\ldots\}\subset R\setminus\mathfrak p,$ то имеется естественное отображение $R_f\rightarrow R_{\mathfrak p}.$

Вы у Мамфорда нашли? Название книги и место.

 
 
 
 Re: Вопрос по Мамфорду
Сообщение08.10.2014, 20:17 
Evgenjy в сообщении #916687 писал(а):
Вы у Мамфорда нашли? Название книги и место.
Не совсем буквально есть у Мамфорда Красная книга о многообразиях и схемах, с. 95, но более ближе у Манина Введение в аффинные схемы и квантовые группы, с. 41.

(Оффтоп)

Первоначальная версия вопроса возникла в попытке понять определение на с. 116.

Возвращаясь к первой версии вопроса, отображение $R_f\rightarrow R_{\mathfrak p}$ строится так: $r/f^n\rightarrow r/f^n?$

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


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