Strong separativity over exchange rings
An exchange ring is strongly separative provided that for all finitely generated projective right -modules and , . We prove that an exchange ring is strongly separative if and only if for any corner of , implies that there exist such that and if and only if for any corner of , implies that there exists a right invertible matrix . The dual assertions are also proved.