2014 dxdy logo

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

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




 
 Нетеровость
Сообщение27.11.2012, 18:04 
Добрый вечер! Возникли большие трудности со следующей задачей:

Дан $A$-модуль $M$, $A$--нетерово. Нужно доказать, что $m$ из $M$ нулевой, если его образ нулевой в $M_p$ для всех $P$ из $Ass(M)$. Еще нужно доказать, что гомоморфизм $f: M \rightarrow N$ инъективен тогда и только тогда, когда $f_p:M_p\rightarrow N_p$ (индуцированное отображение) инъективно для всех $P$ из $Ass(M)$.

Помогите, пожалуйста, разобраться.

 
 
 
 Re: Нетеровость
Сообщение27.11.2012, 18:55 
Подсказка: идеал, максимальный среди всех аннуляторов элементов $M$, является простым.

 
 
 
 Re: Нетеровость
Сообщение05.12.2012, 23:18 
Спасибо за подсказку. Пытался разобраться, но так и не понял. Не могли бы Вы пояснить? Спасибо!

 
 
 
 Re: Нетеровость
Сообщение06.12.2012, 00:23 
Ну, допустим.
klonic в сообщении #650482 писал(а):
Нужно доказать, что $m$ из $M$ нулевой, если его образ нулевой в $M_p$ для всех $P$ из $Ass(M)$.

Пусть $m\neq 0$. Рассмотрим аннуляторы всяких разных элементов, содержащие аннулятор $m$. Среди этих идеалов есть какой-то максимальный $P$. Этот идеал прост, поэтому лежит в $\mathrm{Ass}(M)$. Ну и он содержит аннулятор $m$, поэтому $m/1\neq 0$ в $M_P$.

 
 
 
 Re: Нетеровость
Сообщение06.12.2012, 23:38 
Спасибо большое! С этим я разобрался. А как быть со вторым вопросом? Что-то никак не понимаю

 
 
 
 Re: Нетеровость
Сообщение06.12.2012, 23:51 
Локализация является точным функтором; посмотрите на ядро и примените то же самое рассуждение.

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


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