Bounding the degrees of generators of a homogeneous dimension 2 toric ideal.
Let be a commutative Noetherian local ring. We establish some bounds for the sequence of Bass numbers and their dual for a finitely generated -module.
The Castelnuovo-Mumford regularity reg(M) is one of the most important invariants of a finitely generated graded module M over a polynomial ring R. For instance, it measures the amount of computational resources that working with M requires. In general one knows that the regularity of a module can be doubly exponential in the degrees of the minimal generators and in the number of the variables. On the other hand, in many situations one has or one conjectures a much better behavior. One may ask,...
In this paper we improve recent results dealing with cellular covers of R-modules. Cellular covers (sometimes called colocalizations) come up in the context of homotopical localization of topological spaces. They are related to idempotent cotriples, idempotent comonads or coreflectors in category theory. Recall that a homomorphism of R-modules π: G → H is called a cellular cover over H if π induces an isomorphism , where π⁎(φ) = πφ for each (where maps are acting on the left). On the one hand,...
Let be a commutative ring with unit. We give some criterions for determining when a direct sum of two CF-modules over is a CF-module. When is local, we characterize the CF-modules over whose tensor product is a CF-module.
Let be a commutative ring and a semidualizing -module. We investigate the relations between -flat modules and -FP-injective modules and use these modules and their character modules to characterize some rings, including artinian, noetherian and coherent rings.
Let R be a commutative multiplication ring and let N be a non-zero finitely generated multiplication R-module. We characterize certain prime submodules of N. Also, we show that N is Cohen-Macaulay whenever R is Noetherian.
Let be a commutative Noetherian ring, an ideal of . Let be an integer and an -module such that is minimax for all . We prove that if is (or weakly Laskerian) for all , then the -modules are -cominimax for all and is minimax for . Let be a finitely generated -module. We prove that and are -cominimax for all and whenever is minimax and is (or weakly Laskerian) for all .