Назовём

-алгебру

базовой, если

, где

- попарно неизоморфные неразложимые проективные модули.
Пусть

- базовая артинова алгебра,

- её подалгебра. Требуется доказать, что

- тоже базовая.
Ход моей мысли: известно, что фактор базовой алгебры по радикалу

- тоже базовая алгебра, т.е., не умаляя общности,

,
![$t \in [1,n]$ $t \in [1,n]$](https://dxdy-01.korotkov.co.uk/f/0/5/f/05f5ee221cd126dfdd05314c31e8fa7d82.png)
. Следовательно,

проективен, и

наследственна.

, где

- неразложимые модули. Нужно показать, что это попарно неизоморфные проективные модули.
С проективностью понятно: рассмотрим естественное вложение

в

и по наследственности получим, что все

проективны.
Вопрос: как показать, что они попарно неизоморфны?
Заранее признателен за помощь!