Related papers: The Freyd-Mitchell Embedding Theorem

For a locally finitely presented Grothendieck category $\mathcal{A}$, we consider a certain subcategory of the homotopy category of FP-injective objects in $\mathcal{A}$ which we show is compactly generated. In the case where $\mathcal{A}$…

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…

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…

Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial.…

In this paper, we develop basic results of algebraic geometry over abelian symmetric monoidal categories. Let $A$ be a commutative monoid object in an abelian symmetric monoidal category $(\mathbf C,\otimes,1)$ satisfying certain conditions…

Let $R$ be a ring, $\textrm{Proj}$ be the class of all projective right $R$-modules, $\mathcal K$ be the full subcategory of the homotopy category $\mathbf K(\textrm{Proj})$ whose class of objects consists of all totally acyclic complexes,…

For an $(n-1)$-Auslander algebra $\Lambda$ with global dimension $n$, we give some necessary conditions for $\Lambda$ admitting a maximal $(n-1)$-orthogonal subcategory in terms of the properties of simple $\Lambda$-modules with projective…

Let $R$ be a commutative Noetherian ring of Krull dimension $d$ admitting a dualizing complex $D$ and let $\frak a$ be any ideal of $R$, we prove that $\Gamma_{\frak a}(G)$ is Gorenstein injective for any Gorenstein injective $R$-module…

Drinfeld recently suggested to replace projective modules by the flat Mittag--Leffler ones in the definition of an infinite dimensional vector bundle on a scheme $X$. Two questions arise: (1) What is the structure of the class $\mathcal D$…

Let $\mathcal{C}$ be a small category. In this paper, we mainly study the category of modules $\mathfrak{M}\mbox{od-}\mathfrak{R}$ on ringed sites $(\mathbf{C},\mathfrak{R})$. We firstly reprove the Theorem A of the paper (M. Wu and F. Xu.…

We prove that a right $R$-module $M$ is $\Sigma$-pure injective if and only if $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$. Consequently, if $R$ is a unital ring, the homotopy category $\mathbf{K}({\mathrm{Mod}\text{-} R})$ satisfies the…

Injective, pure-injective and fp-injective modules are well known to provide for approximations in the category Mod-R for an arbitrary ring R. We prove that this fails for many other generalizations of injectivity: the $C_1$, $C_2$, $C_3$,…

The notion of gluing of abelian categories was introduced by Kazhdan and Laumon in an attempt of another geometric construction of representations of finite Chevalley groups; the approach was later developed by Polishchuk and Braverman. We…

Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the…

Let $R$ be a commutative unital ring, $\mathfrak{ a}$ an ideal of $R$ and $M$ a fixed $R$-module. We introduce and study generalisations of $\mathfrak{a}$-reduced modules, $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{a}$-coreduced modules,…

For a fixed finite dimensional algebra $A$, we study representation embeddings of the form $mod(B)\rightarrow mod(A)$. Such an embedding is called homological, if it induces an isomorphism on all Ext-groups and weakly homological, if only…

We present a new method for combining two cotorsion pairs to obtain an abelian model structure and we apply it to construct and study a new model structure on left $R$-modules over a left coherent ring $R$. Its class of fibrant objects is…

We construct a number of different examples of non-Noetherian graded rings that are injective as modules over themselves (or have some related but weaker properties). We discuss how these are related to the theory of triangulated…

Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to…

A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the…