A module M is finitely generated and semisimple if and only if it is Artinian and its radical is zero.
Модуль M является конечнопорождённым и полупростым тогда и только тогда, когда он является артиновым и его радикал нулевой.