关于完全可约模的充要条件

Jacobson,N:Basic Algebra.II第三章第五节给出了关于完全可约模的二个等价条件,即是定理3.10.以下关于模的条件是等价的:(1)M=ΣM_α,其中M_α是既约的。(2)M是完全可约的。(3)M≠0而M的子模格L(M)是补格。事实上,(1)和(3)就是完全可约模的两个充要条件。本文利用本质子模和内射模的概念,再给出完全可约模的一个充分条件和一个充分必要条件,从而使这类极其主要的模得到更完善的刻画。