Separative cancellation for projective modules over exchange rings
Degree GrantorUniversity of Canterbury
Degree NameResearch report
A separative ring is one whose finitely generated projective modules satisfy the property A ⊕ A ≅ A ⊕ B ≅ B ⊕ B ⟹ A ≅ B. This condition is shown to provide a key to a number of outstanding cancellation problems for finitely generated projective modules over exchange rings. It is shown that the class of separate exchange rings is very broad, and, notably, closed under extensions of ideals by factor rings. That is, if an exchange ring ⟹ has an ideal Ι with Ι and ⟹ΙΙ both separative, then ⟹ is separative.
SubjectsField of Research::01 - Mathematical Sciences
- Engineering: Reports