Lifting homomorphisms of modules (Q762587)

This paper is concerned with extensions, in several directions, of the following result of \textit{I. Reiner} [Can. J. Math. 31, 808-811 (1979; Zbl 0417.16002)]. Let R be a discrete valuation ring with maximal ideal P and quotient field K. Let \(\Lambda\) be an order in a finite-dimensional K-algebra, and let M and N be finitely generated \(\Lambda\)-modules which are R-free. If \(M/P^ kM\cong N/P^ kN\) for all positive integers k, then \(M\cong N\). One of the results of the paper concerns the situation where R is merely a (commutative) Noetherian local ring, with maximal ideal P, where \(\Lambda\) is a module finite R-algebra, and where M and N are finitely generated \(\Lambda\)-modules: it is shown that if \(M/P^ kM\cong N/P^ kN\) for a sufficiently large k, then \(M\cong N\). The main ingredient in the proof is a version of the Artin-Rees lemma.