An ideal I of a ring R is strongly separative provided that for all finitely generated projective R-modules A, B with A = AI and B = BI, if 2A ≌ A + B, then A ≌ B. We prove in this paper that a regular ideal I of a...An ideal I of a ring R is strongly separative provided that for all finitely generated projective R-modules A, B with A = AI and B = BI, if 2A ≌ A + B, then A ≌ B. We prove in this paper that a regular ideal I of a ring R is strongly separative if and only if each a E 1 + I satisfying (1 - α)R ∝ r(a) is unit-regular, if and only if each a ∈ 1 + I satisfying (1 - a2)R ∝ r(a2) is unit-regular, if and only if each a E 1 4- I satisfying R(1 - a)R = Rr(a) is unit-regular, if and only if each a ∈ 1 + I satisfying R(1 -a^2)R = Rr(a^2) is unit-regular.展开更多
基金This research was supported by the Natural Science Foundation of Zhejiang Province (LY13A010019), China.
文摘An ideal I of a ring R is strongly separative provided that for all finitely generated projective R-modules A, B with A = AI and B = BI, if 2A ≌ A + B, then A ≌ B. We prove in this paper that a regular ideal I of a ring R is strongly separative if and only if each a E 1 + I satisfying (1 - α)R ∝ r(a) is unit-regular, if and only if each a ∈ 1 + I satisfying (1 - a2)R ∝ r(a2) is unit-regular, if and only if each a E 1 4- I satisfying R(1 - a)R = Rr(a) is unit-regular, if and only if each a ∈ 1 + I satisfying R(1 -a^2)R = Rr(a^2) is unit-regular.