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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 04:55, 31 January 2024

scientific article
Language Label Description Also known as
English
Isomorphism of modules under ground ring extensions
scientific article

    Statements

    Isomorphism of modules under ground ring extensions (English)
    0 references
    1982
    0 references
    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)].
    0 references
    ground ring extensions
    0 references
    orders
    0 references
    ring of algebraic integers
    0 references
    local-global principle
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references