2014 dxdy logo

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

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




 
 Кольцо, не содержащее собственные односторонние идеалы
Сообщение03.05.2010, 13:18 
Верно ли, что кольцо, не содержащее собственные односторонние идеалы, является телом? Если да, то как доказать наличие единицы? Дальше я и сам смогу.

 
 
 
 Re: Кольцо, не содержащее собственные односторонние идеалы
Сообщение03.05.2010, 15:34 
Аватара пользователя
поскольку для любого $a\neq 0$ идеал, порождаемый им, совпадает во всем кольцом, для любых $a\neq 0$ и $b$ существует $x$ такое, что $ax=b$ ($xa = b$).
Дальше надо доказать, что для любого $a$ из уравнения $ax = a$ получается один и тот же $x$. Для этого надо заметить, что домножив $ax = a$ слева на подходящий элемент, получим $bx = b$.

 
 
 
 Re: Кольцо, не содержащее собственные односторонние идеалы
Сообщение03.05.2010, 20:22 
Xaositect в сообщении #315145 писал(а):
поскольку для любого $a\neq 0$ идеал, порождаемый им, совпадает во всем кольцом
Как это доказать использую только то, что умножение в кольце ненулевое? Из этого условия можно доказать, что найдется хотя бы одно $a \in K$ такое, что идеал $aK=K$. А дальше как?

 
 
 
 Re: Кольцо, не содержащее собственные односторонние идеалы
Сообщение03.05.2010, 20:26 
Аватара пользователя
ellipse в сообщении #315255 писал(а):
Как это доказать использую только то, что умножение в кольце ненулевое?
Нет собственных идеалов => есть ровно 2 идеала, все кольцо и {0} => идеал, порождаемый ненулевым элементом, совпадает со всем кольцом.

 
 
 
 Re: Кольцо, не содержащее собственные односторонние идеалы
Сообщение03.05.2010, 20:32 
Пусть $a\neq0$, $aK=K$, но вдруг при этом $Ka=\{0\}$ и домножить равенство $ax=a$ слева так, чтобы получить $bx=b$ не получится.

 
 
 
 Re: Кольцо, не содержащее собственные односторонние идеалы
Сообщение03.05.2010, 20:44 
Аватара пользователя
$aK = K$, $Ka = \{0\}$ => $KK = KaK = \{0\}$

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


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