2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Артинова алгебра как копроизведение проективных модулей
Сообщение10.05.2020, 20:25 


10/05/20
3
Назовём $R$-алгебру $\Lambda$ базовой, если $\Lambda \simeq \coprod\limits_{i=1}^nP_i$, где $P_i$ - попарно неизоморфные неразложимые проективные модули.
Пусть $\Lambda$ - базовая артинова алгебра, $\Lambda'$ - её подалгебра. Требуется доказать, что $\Lambda'$ - тоже базовая.
Ход моей мысли: известно, что фактор базовой алгебры по радикалу $r$ - тоже базовая алгебра, т.е., не умаляя общности, $r \simeq \coprod\limits_{i=1}^tP_i$, $t \in [1,n]$. Следовательно, $r$ проективен, и $\Lambda$ наследственна.
$\Lambda' \simeq \coprod\limits_{j=1}^mM_j$, где $M_j$ - неразложимые модули. Нужно показать, что это попарно неизоморфные проективные модули.
С проективностью понятно: рассмотрим естественное вложение $\Lambda'$ в $\Lambda$ и по наследственности получим, что все $M_j$ проективны.
Вопрос: как показать, что они попарно неизоморфны?
Заранее признателен за помощь!

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

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



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

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


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

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