2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 ядро однозначно задано циклическим модулем
Сообщение13.06.2020, 17:00 
Аватара пользователя


17/04/11
658
Ukraine
Читаю книгу по теории модулей. Рассматриваются только кольца с единицей.
Цитата:
На самом деле мы докажем, как может показаться, более сильный результат, что идеал $I$ однозначно задан классом изоморфизма циклического модуля. Предположим, что $M$ и $N$ — циклические левые $R$-модули и имеется гомоморфизм $R$-модулей $$\sigma: M\to N.$$ Пусть $I$ и $J$ — левые идеалы $R$, то есть имеются изоморфизмы $$\alpha: R/I\to M \text{ и } \beta: R/J\to N.$$ Тогда существует составной изоморфизм $$\gamma = (\beta)^{-1} \sigma \alpha: R/I\to R/J.$$ Если $x\in J$, тогда в $R/J$ $$\overline{0} = x\cdot \gamma(\overline{1}) = \gamma(\overline{x}),$$ так что $\overline{x} = \overline{0}$ в $R/I$, откуда следует $x\in I$. Поэтому $J\subseteq I$, и по симметрии $I=J$.

Мне кажется, что доказательство равенства $\overline{0} = x\cdot \gamma(\overline{1})$ требует, чтобы $R$ было коммутативным. Дело в том, что в книге не написано, что мы рассматриваем только коммутативные кольца, ни в определении кольца, ни в начале главы.

Доказательство выглядит так. Если $x\in J$, для любого $y\in R$,$$x\cdot \overline{y} = \overline{xy} = \overline{yx} = \overline{0},$$ так как $yx\in J$. Доказательство использует коммутативность.

Я придумал следующий контрпример. Взять линейные операторы на $\mathbb{Z}^2$ в качестве $R$, множество всех линейных операторов, ядро которых включает $\{0\}\times \mathbb{Z}$ в качестве $J$. Тогда $x\cdot \overline{y} \neq \overline{0}$ для некоторых $x$ и $y$. Но это контрпример для равенства, а не для всей теоремы.

Так я прав, что надо добавить условие, что $R$ коммутативно?

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


06/10/08
6422
Единица же по определению коммутирует с любым $x$.

-- Сб июн 13, 2020 15:10:38 --

И вообще что-то Вы перемудрили, $x \gamma(\bar{1}) = \gamma(x \cdot \bar{1}) = \gamma(\overline{x\cdot 1}) = \gamma(\bar{x})$.

UPD: это я дурак, извините.

 Профиль  
                  
 
 Re: ядро однозначно задано циклическим модулем
Сообщение13.06.2020, 17:36 
Аватара пользователя


17/04/11
658
Ukraine
Xaositect в сообщении #1468695 писал(а):
И вообще что-то Вы перемудрили, $x \gamma(\bar{1}) = \gamma(x \cdot \bar{1}) = \gamma(\overline{x\cdot 1}) = \gamma(\bar{x})$.

Это вы доказали $x\cdot \gamma(\overline{1}) = \gamma(\overline{x})$, а мне надо $\overline{0} = x\cdot \gamma(\overline{1})$.

Xaositect в сообщении #1468695 писал(а):
Единица же по определению коммутирует с любым $x$.

Что это даёт? Дано $\overline{x} = \overline{0}$ в $R/J$, надо доказать $\overline{0} = x\cdot \gamma(\overline{1})$ в $R/J$.

Начёркивание обозначает и $R\to R/J$, и $R\to R/I$. Такое обозначение в книге.

Как доказать $\overline{0} = \gamma(\overline{x})$, я тоже не вижу, так как здесь надчёркивание означает $R\to R/I$.

 Профиль  
                  
 
 Re: ядро однозначно задано циклическим модулем
Сообщение13.06.2020, 17:55 
Заслуженный участник


18/01/15
3318
Коммутативность необходима. Да хоть Ваш же собственный пример, только над полем, а не над ${\mathbb Z}$. Рассмотрим кольцо $R$ всех $2\times2$ матриц с коэффициентами в данном поле $K$. И найдите там два различных левых идеала, факторы по которым изоморфны (и однопорождены, т.е. циклические модули).

Впрочем, для кольца матриц над ${\mathbb Z}$ этот пример тоже проходит.

 Профиль  
                  
 
 Re: ядро однозначно задано циклическим модулем
Сообщение13.06.2020, 20:27 
Аватара пользователя


17/04/11
658
Ukraine
vpb в сообщении #1468708 писал(а):
Рассмотрим кольцо $R$ всех $2\times2$ матриц с коэффициентами в данном поле $K$. И найдите там два различных левых идеала, факторы по которым изоморфны (и однопорождены, т.е. циклические модули).

Я думаю взять $I = \{T \mid \forall x, T(x, 0) = 0\}$ и $J = \{T \mid \forall y, T(0, y) = 0\}$. Тогда $f: R\to R$, заданная с помощью $f(T) = T\circ ((x, y)\mapsto (y, x))$ будет автоморфизмом модуля $R$, который отображает $I$ в $J$. Тогда $f$ превращается в изоморфизм из $R/I$ в $R/J$.

Тогда стоит написать данные книги. В целом книга мне нравится, всё расписано понятно. Видимо, одиночный глюк.
Keating, M. E. A First Course in Module Theory. Imperial College Press, 1998.
6.4 Cyclic modules. Page 95.

 Профиль  
                  
 
 Re: ядро однозначно задано циклическим модулем
Сообщение14.06.2020, 00:48 
Заслуженный участник


18/01/15
3318
Да, правильно. Только у Вас, кажется, с обозначениями что-то не то (вроде того, что правое с левым перепутано. Разбираться в деталях лень, впрочем. Поздно уже.)

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

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



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

Сейчас этот форум просматривают: Alex Krylov, B@R5uk


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

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