Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex.
We count the number of submodules of an arbitrary module over a countable noetherian commutative ring. We give, along the way, a structural description of meager modules, which are defined as those that do not have the square of a simple module as subquotient. We deduce in particular a characterization of uniserial modules over commutative noetherian rings.
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dimension. Finally, we give an example showing that the cosupport of a finitely generated module need not be a closed subset of $\operatorname{Spec}(R)$, providing a negative answer to a question of Sathe…
We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension.
In the derived category of modules over a commutative noetherian ring a complex $G$ is said to generate a complex $X$ if the latter can be obtained from the former by taking summands and finitely many cones. The number of cones required in this process is the generation time of $X$. In this paper we present some local to global type results for computing this invariant, and discuss applications.
We show that any homotopically smashing t-structure in the derived category of a commutative noetherian ring is compactly generated. This generalizes the validity of the telescope conjecture for commutative noetherian rings due to Neeman. As another consequence, we obtain a cofinite type result for pure-injective cosilting objects. We also give a formulation of telescope conjecture for homotopically smashing t-structures in underlying triangulated categories of certain Grothendieck derivators.
Two left noetherian rings $R$ and $S$ are said to be {\it singularly equivalent} if their singularity categories are equivalent as triangulated categories. The aim of this paper is to give a necessary condition for two commutative noetherian rings to be singularly equivalent. To do this, we develop the support theory for triangulated categories without tensor structure.
For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $σ$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally $σ$-noetherian ring, then $σ$ is of finite type, and that totally $σ$-noetherian is a local property.
We introduce in this work, the class of commutative rings whose lattice of ideals forms an MTL-algebra which is not necessary a BL-algebra. The so-called class of rings will be named MTL-rings. We prove that a local commutative ring with identity is an MTL-ring if and only if it is an arithmetical ring. It is shown that a noetherian commutative ring R with an identity is an MTL-ring if and only if ideals of the localization RM at a maximal ideal M are totally ordered by the set inclusion. Remarking that noetherian MTL-rings are again BL-rings, we work outside of the noetherian case by consider…
Cotorsion pairs and Tor-pairs over commutative noetherian rings
Universitat Autònoma de Barcelona(巴塞罗那自治大学);Centre de Recerca Matemàtica(数学研究中心);Institute of Mathematics of the Czech Academy of Sciences(捷克科学院数学研究所);Charles University, Faculty of Mathematics and Physics(查理大学数学物理学院)
Let $R$ be a commutative Noetherian ring. We introduce the notion of localization functors $λ^W$ with cosupports in arbitrary subsets $W$ of $\text{Spec}\, R$; it is a common generalization of localizations with respect to multiplicatively closed subsets and left derived functors of ideal-adic completion functors. We prove several results about the localization functors $λ^W$, including an explicit way to calculate $λ^W$ by the notion of Cech complexes. As an application, we can give a simpler proof of a classical theorem by Gruson and Raynaud, which states that the projective dimension of a f…
Let $P$ be a finitely generated ideal of a commutative ring $R$. Krull's Principal Ideal Theorem states that if $R$ is Noetherian and $P$ is minimal over a principal ideal of $R$, then $P$ has height at most one. Straightforward examples show that this assertion fails if $R$ is not Noetherian. We consider what can be asserted in the non-Noetherian case in place of Krull's theorem.
In this paper, we consider the openness of the P-locus of a finitely generated module over a commutative noetherian ring in the case where P is each of the properties FID, Gor, CM, MCM, (S_n), and (T_n). One of the main results asserts that FID-loci over an acceptable ring are open. We give a module version of the Nagata criterion, and prove that it holds for all of the aforementioned properties.
Let $Λ$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $Λ$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate totally reflexive modules and reducing Gorenstein dimension. Next, we introduce homological invariants for $Λ$-modules which we call upper reducing projective and Gorenstein dimensions. We provide an inequality of upper reducing projective dimension and complexity when $Λ$ is commutative and local. Using it, we consider how upper reducing projective dimension relates to…
Let $R$ be a $G$ graded commutative ring and $M$ be a $G$-graded $R$-module. The set of all graded second submodules of $M$ is denoted by $Spec_G^s(M)$ and it is called the graded second spectrum of $M$. In this paper, we discuss graded rings with Noetherian graded prime spectrum and obtain some conclusions. In addition, we introduce the notion of the graded Zariski socle of graded submodules and explore their properties. Using these conclusions and properties, we also investigate $Spec_G^s(M)$ with the Zariski topology from the viewpoint of being a Noetherian space and give some related outco…