The exchange property of quasi-continuous modules with the finite exchange property (Q1917030)

A module \(M\) is said to have the exchange property if, whenever \(A=\oplus\sum_{i\in I}A_i=M\oplus N\), then there exist submodules \(A_i'\) of \(A_i\) such that \(A=(\oplus\sum A_i')\oplus M\). If the above property holds whenever the set \(I\) is finite, then \(M\) is said to have the finite exchange property. Exchange property was introduced by P. Crawley and B. Jonsson in 1964. The exchange property was established by R. B. Warfield (1969) for injective modules, by L. Fuchs (1969) for quasi-injective modules and by S. Mohamed and B. Mueller (1987) for continuous modules. It is easy to see that quasi-continuous modules do not have the exchange property, in general. In 1992, \textit{S. H. Mohamed} and \textit{B. J. Mueller} studied the question of whether a quasi-continuous module \(M\) with finite exchange property will have full exchange property and answered it in the affirmative for nonsingular modules [Ring theory, Proc. Ohio Conf., World Scientific, 242-247 (1993; Zbl 0853.16012)]. In the paper under review the authors have answered this question in general by proving that a quasi-continuous module \(M\) has exchange property whenever \(M\) has the finite exchange property. The proof depends upon several important lemmas but the presentation is quite complicated. The main result and the key lemmas should be of value to the workers in the field.