Indecomposable injective modules of finite Malcev rank over local commutative rings (Q2435199)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Indecomposable injective modules of finite Malcev rank over local commutative rings
scientific article

    Statements

    Indecomposable injective modules of finite Malcev rank over local commutative rings (English)
    0 references
    4 February 2014
    0 references
    Assume, throughout this review, that \(R\) is a commutative unital ring and that \(\widehat{R}\) is the pure injective hull of \(R\). Suppose, furthermore, that \(\tilde{R}\) is the completion of \(R\) in the f.c. topology. Recall that the f.c. topology on an \(R\)-module \(M\) is the linear topology defined by taking as a basis of neighborhoods of zero all submodules \(G\) of \(M\) for which \(M/G\) is finitely cogenerated (i.e. the injective hull of \(M/G\) is a finite direct sum of injective hull of simple modules). An \(R\)-module is said to be uniserial if its set of submodules is totally ordered by inclusion and \(R\) is said to be a chain ring provided \(R\) is uniserial as \(R\)-module. An \(R\)-module \(M\) is called weakly polyserial (polyserial) if there exists a filtration \(0=M_0\subset M_1\subset \ldots \subset M_n=M\) of \(M\) such that \(M_{i+1}/M_i\) is uniserial (\(M_{i+1}/M_i\) is uniserial and \(M_i\) is a pure submodule of \(M\)) for each \(0\leq i\leq n-1\). In the paper under review, four different numerical invariants associated with each \(R\)-module is studied, in particular when \(R\) is a chain ring. We shall list three of them bellow. The Malcev rank of \(M\), denoted by \(Mr M\), is defined as, \[ \text{sup}\{n: n \text{\;is the minimal number of generators of a finitely generated submodule\;} N \text{\;of\;} M\}. \] If \(M\) is a module over a valuation domain \(R\) the Fleischer rank of \(M\), denoted by \(Fr M\), is the minimum rank of torsion free modules having \(M\) as an epimorphic image. The Goldie dimension of \(M\), denoted by \(Gd M\), is said to be the number of the indecomposable direct summands of the injective hull of \(M\). One of the main results of the paper states that for a chain ring \(R\) the following statements are equivalent: (1) the Malcev rank of \(\widehat{R}\) over \(\tilde{R}\) is finite. (2) \(Mr\;E\) is finite for each indecomposable injective module \(E\). (3) there exists a positive integer \(n\) such that for each finitely generated \(R\)-module \(M\), \(n Gd\;M\) is an upper bound for the minimal number of generators of \(M\). (4) each indecomposable injective module is weakly polyserial. Furtheremore if the chain ring \(R\) has the property that each indecomposable injective module has a pure uniserial submodule then the above equivalent conditions are equivalent with the following statement, (5) each indecomposable injective module is polyserial. In particular if \(R\) is a valuation domain all of the above five statements are equivalenet and furthermore each indecomposable injective module \(E\) satisfies the equality \(Mr\;E=Fr\;E= dG E\) where the notation dG denotes the dual Goldie dimension. Another interesting result of the paper under review states that for every Noetherian local ring of Krull dimension at most one there exists an integer \(n\) such that \(Mr E\leq n\) for each indecomposable injective \(R\)-module \(E\). In the last section of the paper for a ring \(R\) it is proved that the finiteness of Goldie dimension behaves well under localization in the following cases, (a) either \(R_{\mathfrak{p}}\) is a Krull dimension one domain for each maximal ideal \(\mathfrak{p}\) or \(R_{\mathfrak{p}}\) is Noetherian for each maximal ideal \(\mathfrak{p}\). (b) \(R\) is a chain ring, the prime ideal \(J:=\bigcap_{0\neq \mathfrak{p}\text{\;is\;a\;prime\;ideal}}\mathfrak{p}\) is non-zero and the \(R/J\)-module \(\widehat{R/J}\) has finite rank. In fact, the author proves that over a chain ring \(R\) the stability of finiteness of Goldie dimension under localization is strongly connected with the finiteness of the rank of \(R/L\)-module \(\widehat{R/L}\) for each non-zero prime ideal \(L\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    chain ring
    0 references
    valuation domain
    0 references
    polyserial module
    0 references
    indecomposable injective module
    0 references
    Goldie dimensoin
    0 references
    0 references
    0 references
    0 references