Related papers: Characterizing categoricity in the class $Add(M)$

Let $R$ be a commutative ring. One may ask when a general $R$-module $P$ that satisfies $P \oplus R \cong R^n$ has a free summand of a given rank. M. Raynaud translated this question into one about sections of certain maps between Stiefel…

In a sufficiently rich category, such as a category of R-modules, and a given infinite cardinal $\kappa$, we examine classes $\Cal H^\kappa_*$ of objects M, such that the following natural monomorphism is an isomorphism: $$\prod_{i\in…

We investigate when the categories of all rational $A$-modules and of finite dimensional rational modules are closed under extensions inside the category of $C^*$-modules, where $C^*$ is the cofinite topological completion of $A$. We give a…

We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the…

We provide a proof, in $ZFC$, of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). Moreover, assuming in addition the Singular Cardinal Hypothesis ($SCH$), we prove a direct generalization to the more…

We study the conditions under which a TTF class in a module category over a ring is silting. Using the correspondence between idempotent ideals over a ring and TTF classes in the module category, we focus on finding the necessary and…

We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…

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:…

Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…

For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.

We isolate here a wide class of well founded orders called tame orders and show that each such order of cardinality at most $\kappa$ can be realized as the Mitchell order on a measurable cardinal $\kappa$, from a consistency assumption…

Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules…

An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category \cite{Mit}. A tilting object in a abelian category is a natural generalization of a small projective generator. Moreover, any…

Given a finitely generated module $M$ over a local ring $A$ of characteristic $p$ with $\pd M < \infty$, we study the asymptotic intersection multiplicity $\chi_\infty(M, A/\underline{x})$, where $\underline{x} = (x_1, \ldots, x_r)$ is a…

An $R$-module $M$ is called absolutely self pure if for any finitely generated left ideal of $R$ whose kernel is in the filter generated by the set of all left ideals $L$ of $R$ with $L \supseteq$ ann $(m)$ for some $m \in M$, any map from…

Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…

We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings. $\mathbf{Theorem.}$ For a ring $R$ the following are equivalent. - $R$ is left perfect. - The class of flat left…

We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…

By using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b(A\mbox{-}{\rm mod})$ admits a categorical…

A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…