On indecomposable injectives over artinian rings

Abstract

For each primitive idempotent / in a left artinian ring R, let T(Rf) denote the unique simple factor of Rf and let E(T(Rf)) denote its injective hull. Then, identifying a module with its isomorphism class,