Basically full ideals in local rings. (Q1602026): Difference between revisions

Let \((R,M)\) be a (Noetherian) local ring and \(A\) be a finitely generated \(R\)-module. A nonzero proper submodule \(B\) of \(A\)\ is {basically full in }\(A\) if no minimal basis for \(B\) can be extended to a minimal basis of any submodule of \(A\)\ properly containing \(B\). It is shown that a basically full submodule of \(A\) is \(M\)-primary and that the following properties of a nonzero \(M\)-primary submodule \(B\) of \(A\)\ are equivalent: (a) \(B\) is basically full in \(A\), (b) \(B=(MB:M)\), (c) \(MB\) is an irredundant intersection of \(\mu (B)\) irreducible submodules, and (d) \(\mu (C)\leq \mu (B)\) for each cover \(C\) of \(B\). It is shown that the map \(B\rightarrow B^{\ast }=(MB:M)\) is a semiprime operation on the set of nonzero \(M\)-primary submodules of \(A\)\ such that \(B^{\ast }\) is the smallest basically full submodule of \(A\)\ containing \(B\). A number of other results and examples are given. For example, \(M^{n}\) is basically full for all large \(n\) if and only if \(M\) is a regular ideal, but every nonzero \(M\)-primary ideal of \(R\) is basically full if and only if \(R\) is a principal ideal ring.