Recently, tilting and cotilting classes over commutative noetherian rings have been classified in arXiv:1203.0907. We proceed and, for each n-cotilting class C, construct an n-cotilting module inducing C by an iteration of injective precovers. A further refinement of the construction yields the unique minimal n-cotilting module inducing C. Finally, we consider localization: a cotilting module is called ample, if all of its localizations are cotilting. We prove that for each 1-cotilting class, there exists an ample cotilting module inducing it, but give an example of a 2-cotilting class which fails this property.
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.
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…
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.
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（查理大学数学物理学院）
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 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.
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…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a consequence, we show that pointwise Matlis duality gives a bijective correspondence between the isoclasses of indecomposable injective left modules and the isoclasses of indecomposable flat cotorsion right modules. This correspondence is an explicit realization of Herzog's homeomorphism induced from elementary duality of Ziegler spectra.
In this paper, as an analogue of the spectrum of a tensor triangulated category introduced by Balmer, we define a spectrum of a triangulated category which does not necessarily admit a tensor structure. We apply it for some triangulated categories associated to a commutative noetherian ring.
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.
