Related papers: Projective covers of flat contramodules

We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the $n$-tilting-cotilting correspondence situation, if $\mathsf A$ is a…

A classic result by Bass says that the class of all projective modules is covering, if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules $\mathcal C$, which is precovering and…

Enochs Conjecture asserts that each covering class of modules (over any ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full generality. In…

Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…

For four wide classes of topological rings $\mathfrak R$, we show that all flat left $\mathfrak R$-contramodules have projective covers if and only if all flat left $\mathfrak R$-contramodules are projective if and only if all left…

In this paper we will investigate contramodules for algebraic groups. Namely, we give contra-analogs to two 20th century results about comodules. Firstly, we show that induction of contramodules over coordinate rings of algebraic groups is…

We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically…

We consider the contraderived category of left contramodules over a right linear topological ring $\mathfrak R$ with a countable base of neighborhoods of zero. Equivalently, this is the homotopy category of unbounded complexes of projective…

This paper builds on top of arXiv:2306.02734. We consider a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of open two-sided ideals. The main result is that the homotopy category…

We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories.…

Let $R\to U$ be an associative ring epimorphism such that $U$ is a flat left $R$-module. Assume that the related Gabriel topology $\mathbb G$ of right ideals in $R$ has a countable base. Then we show that the left $R$-module $U$ has…

We verify a conjecture of Etingof and Ostrik, stating that an algebra object in a finite tensor category is exact if and only if it is a finite direct product of simple algebras. Towards that end, we introduce an analogue of the Jacobson…

We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an…

In this paper, we investigate the notions of $\mathcal{X}^\bot$-projective, $\mathcal{X}$-injective and $\mathcal{X}$-flat modules and give some characterizations of these modules, where $\mathcal{X}$ is a class of left $R$-modules. We…

In this paper we consider the class $\mathcal{P}_1(R)$ of modules of projective dimension at most one over a commutative ring $R$ and we investigate when $\mathcal{P}_1(R)$ is a covering class. More precisely, we investigate Enochs'…

We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive…

We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We…

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category…

Every projective module is flat. Conversely, every flat module is a direct limit of finitely generated free modules; this was proved independently by Govorov and Lazard in the 1960s. In this paper we prove an analogous result for complexes…

We construct Abelian model structures on the category of chain complexes over a ring $R$, from the notion homological dimensions of modules. Given an integer $n > 0$, we prove that the left modules over a ringoid $\mathfrak{R}$ with…