_13 是的 formula_21-准素部分。于是：
推广.一个环 formula_28 上的左可除模是满足 formula_29 的模 formula_30。可除群不外是可除 formula_7-模。主理想域上的可除模恰好是内射模。