2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 максимальные идеалы кольца
Сообщение14.09.2009, 10:04 


28/02/09
32
Санкт-Петербург
в кольце R есть 2 максимальных идеала $I_1 $ и $I_2$.доказать,что если x из $I_1 $ и y из $I_2$,и a,b из R,то ax+by=1

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


21/12/05
5931
Новосибирск
Проверьте условие задачи - у Вас явная ерунда написана. Любой идеал содержит нуль - вот его и возьмите в качестве $x$ и $y$. Что тогда получите из равенства $ax+by=1$?
И кольцо, кстати, единицу содержать не обязано, если это специально не оговорено.

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


11/01/06
3824
Будем считать, что формулировка задачи следующая.
Пусть $R$ --- коммутативное ассоциативное кольцо с единицей, в котором ровно 2 максимальных идеала $I_1$ и $I_2$, $x\in I_1\setminus I_2$, $y\in I_2\setminus I_1$. Тогда найдутся $a,b\in R$, что $ax+by=1$.
Для доказательства рассмотрите идеал $(x,y)=Rx+Ry$ и воспользуйтесь тем, что любой идеал, отличный от $R$, содержится в некотором максимальном идеале (интересно, можно ли без этого факта доказать, ведь не всем его доказывают).

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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