Pure injective modules over a commutative valuation domain. (Q1411040)

From MaRDI portal
Revision as of 03:16, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Pure injective modules over a commutative valuation domain.
scientific article

    Statements

    Pure injective modules over a commutative valuation domain. (English)
    0 references
    0 references
    15 October 2003
    0 references
    This paper brings the problem of classification of pure injective modules over a commutative valuation domain (CVD) closer to its conclusion by classifying those pure injective modules over a CVD which are envelopes \(N(m)\) of one element \(m\). Geometrical invariants and methods are used. Let \(M\) be a pure injective module over a CVD and let \(\Gamma\) be the positive cone of the valuation group \(V\). Denote by \(\widehat \Gamma\) the completion of \(\Gamma\) by cuts. One can then assign a function \(f : \Gamma \rightarrow \widehat \Gamma\) to every element \(m\) in \(M\). An equivalence relation \(\sim \) is described on these functions by letting \(f \sim g\) iff the corresponding modules \(N(f)\) and \(N(g)\) are isomorphic. This yields a description of a decomposition \(N(f)=N(g) \oplus N(h)\) with \(N(g)\) and \(N(h)\) orthogonal. Several corollaries are derived from this result. For example, it is shown that for every module \(N(m)\), its endomorphism ring \(S= \text{End}(N(m))\) is Abelian regular after factorization by its Jacobson radical. If \(M\) is a pure injective module over a CVD and \(S= \text{End}(M)\), then the quotient ring of \(S\) modulo its Jacobson radical is shown to be a von Neumann regular right self-injective ring of type I and \(_{S} M\) is proved to be a Bezout module.
    0 references
    pure injective modules
    0 references
    valuation domains
    0 references
    von Neumann regular rings
    0 references
    Abelian regular rings
    0 references
    0 references

    Identifiers