-
Relatively big projective modules and their applications to direct sum decompositions
Authors:
Román Álvarez,
Dolors Herbera,
Pavel Příhoda
Abstract:
Countably generated projective modules that are relatively big with respect to a trace ideal were introduced by P. Příhoda, as an extension of Bass' uniformly big projectives. It has already been proved that there are a number of interesting examples of rings whose countably generated projective modules are always relatively big. In this paper, we increase the list of such examples, showing that i…
▽ More
Countably generated projective modules that are relatively big with respect to a trace ideal were introduced by P. Příhoda, as an extension of Bass' uniformly big projectives. It has already been proved that there are a number of interesting examples of rings whose countably generated projective modules are always relatively big. In this paper, we increase the list of such examples, showing that it includes all right noetherian rings satisfying a polynomial identity.
We also show that countably generated projective modules over locally semiperfect torsion-free algebras over $h$-local domains are always relatively big. This last result applies to endomorphism rings of finitely generated torsion-free modules over $h$-local domains. As a consequence, we can give a complete characterization of those $h$-local domains of Krull dimension $1$ for which every direct summand of a direct sum of copies of a single finitely generated torsion-free module is again a direct sum of finitely generated modules.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Torsion-free Modules over Commutative Domains of Krull Dimension One
Authors:
Román Álvarez,
Dolors Herbera,
Pavel Příhoda
Abstract:
Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that $\mathcal{F}$ is closed under direct summands if and only if any indecomposable, finitely generated, torsion-free module has local endomorphism ring. If, in addi…
▽ More
Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that $\mathcal{F}$ is closed under direct summands if and only if any indecomposable, finitely generated, torsion-free module has local endomorphism ring. If, in addition, $R$ is noetherian this is equivalent to say that the normalization of $R$ is a local ring. If $R$ is an $h$-local domain of Krull dimension $1$ and $\mathcal{F}_R$ is closed under direct summands, then the property is inherited by the localizations of $R$ at maximal ideals. Moreover, any localizations of $R$ at a maximal ideal, except maybe one, satisfies that any finitely generated ideal is $2$-generated. The converse is true when the domain $R$ is, in addition, integrally closed, or noetherian semilocal or noetherian with module-finite normalization. Finally, over a commutative domain of finite character and with no restriction on the Krull dimension, we show that the isomorphism classes of countable generated modules in $\mathcal{F}$ are determined by their genus.
△ Less
Submitted 10 April, 2025; v1 submitted 20 June, 2024;
originally announced June 2024.
-
Iterated power intersections of ideals in rings of iterated differential polynomials II
Authors:
Pavel Příhoda
Abstract:
This paper is a continuation of a previous work by the author and G. Puninski where iterated intersections of powers of ideals were studied in rings of iterated differential polynomials. We present a method which can be used to show that for every proper ideal $I$ of a suitable ring of iterated differential polynomials almost all iterated intersections of powers of $I$ have to be zero. The setback…
▽ More
This paper is a continuation of a previous work by the author and G. Puninski where iterated intersections of powers of ideals were studied in rings of iterated differential polynomials. We present a method which can be used to show that for every proper ideal $I$ of a suitable ring of iterated differential polynomials almost all iterated intersections of powers of $I$ have to be zero. The setback of the method is that it works only if the derivations used in the construction of the ring of iterated differential polynomials satisfy additional assumptions. On the other hand, it can be applied in cases which were not covered by the aforementioned work, for example for a universal enveloping algebra of a completely solvable Lie algebra over a field of positive characteristic.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Big pure projective modules over commutative noetherian rings: comparison with the completion
Authors:
Dolors Herbera,
Pavel Příhoda,
Roger Wiegand
Abstract:
A module over a ring $R$ is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module $M$, we consider $\mathrm{Add}\, (M)$, which consists of direct summands of direct sums of copies of $M$. We…
▽ More
A module over a ring $R$ is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module $M$, we consider $\mathrm{Add}\, (M)$, which consists of direct summands of direct sums of copies of $M$. We are primarily interested in the case where $R$ is a one-dimensional, local domain, and in torsion-free (or Cohen-Macaulay) modules. We show that, even in this case, $\mathrm{Add}\, (M)$ can have an abundance of modules that are not direct sums of finitely generated ones.
Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of $M$ and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behavior of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case.
We study the structure of the monoid $V^*(M)$, of isomorphism classes of countably generated modules in $\mathrm{Add}\, (M)$ with the addition induced by the direct sum. We show that $V^*(M)$ is a submonoid of $V^*(M\otimes _R \widehat R)$, this allows us to make computations with examples and to prove some realization results.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Closure properties of $\varinjlim\mathcal C$
Authors:
Leonid Positselski,
Pavel Prihoda,
Jan Trlifaj
Abstract:
Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$. The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules: $\mathcal L$ then enjoys various closure properties. We study the closure properties of $\mathcal L$ in the general case when…
▽ More
Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$. The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules: $\mathcal L$ then enjoys various closure properties. We study the closure properties of $\mathcal L$ in the general case when $\mathcal C \subseteq \mathrm{Mod-}R$ is arbitrary. Then we concentrate on two important particular cases, when $\mathcal C = \operatorname{add} M$ and $\mathcal C = \operatorname{Add} M$, for an arbitrary module $M$.
In the first case, we prove that $\varinjlim \operatorname{add} M = \{ N \in \mathrm{Mod-} R \mid \exists F \in \mathcal F_S: N \cong F \otimes_S M \}$ where $S = \operatorname{End} M$, and $\mathcal F_S$ is the class of all flat right $S$-modules. In the second case, $\varinjlim \operatorname{Add} M = \{ \mathfrak F \odot _{\mathfrak S} M \mid \mathfrak F \in \mathcal F_{\mathfrak S} \}$ where $\mathfrak S$ is the endomorphism ring of $M$ endowed with the finite topology, $\mathcal F_{\mathfrak S}$ is the class of all right $\mathfrak S$-contramodules that are direct limits of direct systems of projective right $\mathfrak S$-contramodules, and $\odot_{\mathfrak S}$ denotes the contratensor product.
For various classes of modules $\mathcal D$, we show that if $M \in \mathcal D$ then $\varinjlim \operatorname{add} M = \varinjlim \operatorname{Add} M$ (e.g., when $\mathcal D$ consists of pure projective modules), but the equality for an arbitrary module $M$ remains open. Finally, we deal with the question of whether $\varinjlim \operatorname{Add} M = \widetilde{\operatorname{Add} M}$ where $\widetilde{\operatorname{Add} M}$ is the class of all pure epimorphic images of direct sums of copies of a module $M$. We show that the answer is positive in several particular cases, but it is negative in general.
△ Less
Submitted 20 May, 2022; v1 submitted 25 October, 2021;
originally announced October 2021.
-
Covering classes and uniserial modules
Authors:
Alberto Facchini,
Zahra Nazemian,
Pavel Prihoda
Abstract:
We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We p…
▽ More
We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We prove that if $U_R$ is either finitely generated, or artinian, or $I \subset K$, then the class Add$(U_R)$ is covering if and only if it is closed under direct limit. Moreover, we study endomorphism rings of artinian uniserial modules giving several examples.
△ Less
Submitted 9 January, 2020;
originally announced January 2020.
-
Pure Projective Tilting Modules
Authors:
Silvana Bazzoni,
Ivo Herzog,
Pavel Příhoda,
Jan Šaroch,
Jan Trlifaj
Abstract:
Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is Grothendieck. It is proved that such tilting torsion pairs are characterized in several ways: (1) the $1$-tilting module $T$ is pure projective; (2) ${\mathcal T}$ is…
▽ More
Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is Grothendieck. It is proved that such tilting torsion pairs are characterized in several ways: (1) the $1$-tilting module $T$ is pure projective; (2) ${\mathcal T}$ is a definable subcategory of ${\rm Mod} \mbox{-} R$ with enough pure projectives, and (3) both classes ${\mathcal T}$ and ${\mathcal F}$ are finitely axiomatizable.
This study addresses the question of Saorín that asks whether the heart is equivalent to a module category, i.e., whether the pure projective $1$-tilting module is tilting equivalent to a finitely presented module. The answer is positive for a Krull-Schmidt ring and for a commutative ring, every pure projective $1$-tilting module is projective. A criterion is found that yields a negative answer to Saorín's Question for a left and right noetherian ring. A negative answer is also obtained for a Dubrovin-Puninski ring, whose theory is covered in the Appendix. Dubrovin-Puninski rings also provide examples of (1) a pure projective $2$-tilting module that is not classical; (2) a finendo quasi-tilting module that is not silting; and (3) a noninjective module $A$ for which there exists a left almost split morphism $m: A \to B,$ but no almost split sequence beginning with $A.$
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Reconstructing projective modules from its trace ideal
Authors:
Dolors Herbera,
Pavel Prihoda
Abstract:
We make a detailed study of idempotent ideals that are traces of countably generated projective right modules. We associate to such ideals an ascending chain of finitely generated left ideals and, dually, a descending chain of cofinitely generated right ideals.
The study of the first sequence allows us to characterize trace ideals of projective modules and to show that projective modules can alw…
▽ More
We make a detailed study of idempotent ideals that are traces of countably generated projective right modules. We associate to such ideals an ascending chain of finitely generated left ideals and, dually, a descending chain of cofinitely generated right ideals.
The study of the first sequence allows us to characterize trace ideals of projective modules and to show that projective modules can always be lifted modulo the trace ideal of a projective module. As a consequence we give some new classification results of (countably generated) projective modules over particular classes of semilocal rings. The study of the second sequence leads us to consider projective modules over noetherian FCR-algebras; we make some constructions of non-trivial projective modules showing that over such rings the behavior of countably generated projective modules that are not direct sum of finitely generated ones is, in general, quite complex.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
-
Infinitely generated projective modules over pullbacks of rings
Authors:
Dolors Herbera,
Pavel Prihoda
Abstract:
We use pullbacks of rings to realize the submonoids $M$ of $(\N_0\cup\{\infty\})^k$ which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective right $R$-modules over a suitable semilocal ring. For these rings, the behavior of countably generated projective left $R$-modules is determined by the monoid…
▽ More
We use pullbacks of rings to realize the submonoids $M$ of $(\N_0\cup\{\infty\})^k$ which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective right $R$-modules over a suitable semilocal ring. For these rings, the behavior of countably generated projective left $R$-modules is determined by the monoid $D(M)$ defined by reversing the inequalities determining the monoid $M$. These two monoids are not isomorphic in general. As a consequence of our results we show that there are semilocal rings such that all its projective right modules are free but this fails for projective left modules. This answers in the negative a question posed by Fuller and Shutters \cite{FS}. We also provide a rich variety of examples of semilocal rings having non finitely generated projective modules that are finitely generated modulo the Jacobson radical.
△ Less
Submitted 18 May, 2011;
originally announced May 2011.
-
Big projective modules over noetherian semilocal rings
Authors:
Dolors Herbera,
Pavel Prihoda
Abstract:
We prove that for a noetherian semilocal ring $R$ with exactly $k$ isomorphism classes of simple right modules the monoid $V^*(R)$ of isomorphism classes of countably generated projective right (left) modules, viewed as a submonoid of $V^*(R/J(R))$, is isomorphic to the monoid of solutions in $(\No \cup\{\infty\})^k$ of a system consisting of congruences and diophantine linear equations. The con…
▽ More
We prove that for a noetherian semilocal ring $R$ with exactly $k$ isomorphism classes of simple right modules the monoid $V^*(R)$ of isomorphism classes of countably generated projective right (left) modules, viewed as a submonoid of $V^*(R/J(R))$, is isomorphic to the monoid of solutions in $(\No \cup\{\infty\})^k$ of a system consisting of congruences and diophantine linear equations. The converse also holds, that is, if $M$ is a submonoid of $(\No \cup\{\infty\})^k$ containing an order unit $(n_1,..., n_k)$ of $\No^k$ which is the set of solutions of a system of congruences and linear diophantine equations then it can be realized as $V^*(R)$ for a noetherian semilocal ring such that $R/J(R)\cong M_{n_1}(D_1)\times ... \times M_{n_k}(D_k)$ for suitable division rings $D_1,..., D_k$.
△ Less
Submitted 17 March, 2009;
originally announced March 2009.
