Forcing linearity numbers for finitely generated modules (Q2566530)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Forcing linearity numbers for finitely generated modules
scientific article

    Statements

    Forcing linearity numbers for finitely generated modules (English)
    0 references
    26 September 2005
    0 references
    Let \(R\) be a commutative noetherian ring with 1 and let \(V\) be a f.g nonzero \(R\)-module. Let \( M_{R}(V):=\{f:V \rightarrow V| f(rv) = rf(v), r \in R, v\in V\}\). A collection \(S = \left\{W_{\alpha}\right\}_{\alpha \in A}\) of proper, nonzero submodules \(W_{\alpha}\) of \(V\) is said to force linearity on \(V\) if whenever \(f\in M_{R}(V)\) and \(f \in \text{Hom}_{R}(W_{\alpha},V)\) for each \(\alpha \in A\), then \(f \in \text{End}_{R}(V)\). The forcing linearity number of \(V\), denoted by fln\((V)\), is defined as follows: (i) If \(M_{R}(V)= \text{End}_{R}(V)\), the fln\((V)= 0\). (ii) If \(M_{R}(V)\neq \text{End}_{R}(V)\) and there is some finite collection of proper submodules of \(V\) which forces linearity with \(| S| =s\) but no other such collection \(T\) with \(| T| < s\) forces linearity, then fln\((V)= s\). (iii) Otherwise fln\((V)= \infty \). The authors of this paper determine the fln for f.g modules over commutative noetherian rings. Theorem. Let \(V\) be a f.g faithful \(R\)-module. If \(R\) has at least two maximal ideals, then fln\((V)\)\(\leq 2\). Theorem. If \(V\) is an f.g module, over a local ring \(R\) and if \(Z(V)=\left\{ r \in R | \exists w \in V, w \neq 0, rw = 0 \right\} = J\), the unique maximal ideal of \(R\), then fln\((V) = 0\) if and only if \(V\) is a cyclic \(R\)-module. Theorem. Let \(R\) be a noetherian integral domain, not a local ring, and let \(V\) be an f.g faithful \(R\)-module, then fln\((V)= 0\) if and only if \(V\) is torsion free and uniform. Theorem. Let \(R\) be a noetherian integral domain, not a local ring, and let \(V\) be an f.g faithful \(R\)-module with fln\((V)\neq 0\). If \(Z(V)\subset R-U(R)\), then fln\((V)\)\(=1\). Othewise fln\((V)\)\( = 2\).
    0 references
    0 references
    0 references

    Identifiers