Назовём 

-алгебру 

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

, где 

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

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

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

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

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

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

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

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

, где 

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

 в 

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

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