内射模内部的消去定理

当内射左R—模M的自同态环End_RM为一Dekind有限环时、M的任何两个相互同构的左子模P_1,P_2的左相关补子模N_1与N_2也相互同构。