Equivalent Presentations of Modules Over Prüfer Domains
Let \(R\) be a commutative domain with 1, \(F\) and \(F'\) be free \(R\)-modules, and let \(H\) and \(H'\) be submodules such that \(F/H \cong F'/H'\). We say that \(F/H\) and \(F'/H'\) are equivalent presentations of the \(R\)-module \(M\cong F/H\) if there is an isomorphism \(\phi:F\rightarrow F'\) that carries \(H\) onto \(H'\). In 1957, J. Erdős showed that if \(M\) is a torsion free abelian group, then two presentations of \(F/H\) and \(F'/H'\) are equivalent if and only if \(H\) and \(H'\) have the same rank. Fuchs quickly generalized this result to the mixed abelian group case. More recently, necessary and sufficient conditions for the equivalence of two presentations of various classes of modules have been established in a series of papers: for abelian groups by \textit{P. Hill} and \textit{C. Megibben} [in: Abelian group theory, Proc. 4th Conf., Perth 1987, Contemp. Math. 87, 201-219 (1989; Zbl 0688.20036)], for abelian groups over arbitrary valuation domains by \textit{L. Salce} and \textit{P. Zanardo} [J. Algebra 207, No. 1, 182-204 (1998; see the preceding review)], for finitely presented modules over Prüfer domains of finite character (each non-zero element is contained in only a finite number of maximal ideals) by \textit{L. S. Levy} [J. Algebra 106, 259-264 (1987; Zbl 0626.13005)], and for finitely presented modules over Prüfer domains of Krull dimension 1 by \textit{J. Brewer} and \textit{L. Klingler} [J. Algebra 111, 536-545 (1987; Zbl 0659.13004)]. Continuing along this line, the authors now further extend Erdős's result and show that when \(R\) is a Prüfer domain of finite character and \(F\), \(F'\) are free \(R\)-modules, then two presentations \(F/H\) and \(F'/H'\) of a flat\(R\)-module \(M\) of projective dimension \(\leq 1\) are equivalent if and only if \(H\) and \(H'\) have the same rank. The authors also establish sufficient conditions on the equivalence of presentations with the requirements of flatness and finite character dropped from the above hypothesis.
- Presentations of modules when ideals need not be principal
- Generalized equivalence of matrices over Prüfer domains
- Presentations of modules over local domains
- Presheaves associated to modules over subrings of Dedekind domains
- scientific article; zbMATH DE number 5526575 (Why is no real title available?)
- Power equivalence of presentations
This page was built for publication: Equivalent Presentations of Modules Over Prüfer Domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222208)
