Isomorphism of modules under ground ring extensions (Q1165898): Difference between revisions

Let \(D\) be the ring of algebraic integers in a number field \(K\) and \(\Lambda\) a module finite \(D\)-algebra. The main result (theorem 1) is that for \(M\) and \(N\) finitely generated \(\Lambda\)-modules the following are equivalent: (a) \(M\) and \(N\) are locally isomorphic, (b) \(M^{(t)}\cong N^{(t)}\) for some positive integer \(t\), and (c) \(M\otimes_DE\cong N\otimes_DE\) as \(\Lambda\otimes E\) modules where \(E\) is the ring of integers in some finite extension \(L\) of \(K\). The equivalence of (a) and (b) is the Noether-Deuring theorem for local rings [see \textit{I. Reiner} and \textit{H. Zassenhaus}, Ill. J. Math. 5, 409--411 (1961; Zbl 0104.02804) and \textit{K. W. Roggenkamp}, Proc. Am. Math. Soc. 31, 423--426 (1972; Zbl 0258.16029)]. \textit{H. Jacobinski} [J. Reine Angew. Math. 230, 29--39 (1968; Zbl 0157.10403)] proved this for \(\Lambda\) an order in a semisimple algebra and \(M\) a projective \(D\)-module. The main tool in the proof is an old result of Skolem that primitive polynomials over the ring o of all algebraic integers represent units. Two consequences are that isomorphism of finitely presented modules over module finite \(\mathfrak o\)-algebras and that similarity of matrices over \(\mathfrak o\) satisfy the local-global principle. This has been generalized by \textit{D. R. Estes} and the author [J. Algebra 77, 138--157 (1982; Zbl 0492.13005)].