Forcing linearity numbers for finitely generated modules (Q2566530): Difference between revisions

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\).