Related papers: Faith's problem on R-projectivity is undecidable

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

In this note, we show that a ring $R$ is $S$-coherent if and only if every finitely presented $R$-module is $S$-coherent, providing a positive answer to a question proposed in [D. Bennis, M. El Hajoui, {\it On $S$-coherence}, J. Korean…

Let $R$ be a ring. An $R$-module $M$ is said to be a weak $w$-projective module if ${\rm Ext}_R^1(M,N)=0$ for all $N \in \mathcal{P}_{w}^{\dagger_\infty}$ (see, \cite{FLQ}). In this paper, we introduce and study some properties of weak…

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…

A module $M$ is {called} stable if it has no nonzero projective direct summand. For a ring $ R $, we study conditions under which $R$-modules from certain classes decompose as a direct sum of a projective submodule and a stable submodule.…

We study full exact functors between triangulated categories. With some hypotheses on the source category we prove that it admits an orthogonal decomposition into two pieces such that the functor restricted to one of them is zero while the…

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

It is shown that a ring is left semihereditary if and only each homomorphic image of its injective hull as left module is FP-injective. It is also proven that a commutative ring R is reduced and arithmetical if and only if E/U if…

In this paper, we say a ring $R$ is Nil$_{\ast}$-Noetherian provided that any nil ideal is finitely generated. First, we show that the Hilbert basis theorem holds for Nil$_{\ast}$-Noetherian rings, that is, $R$ is Nil$_{\ast}$-Noetherian if…

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom…

This paper presents the logic QRC$_1$, which is a strictly positive fragment of quantified modal logic. The intended reading of the diamond modality is that of consistency of a formal theory. Predicate symbols are interpreted as…

Let $\Lambda$ be a $\mathbb{Z}$-graded artin algebra. Two classical results of Gordon and Green state that if $\Lambda$ has only finitely many indecomposable gradable modules, up to isomorphism, then $\Lambda$ has finite representation…

The problem of making practical, useful goodness of fit tests in the Bayesian paradigm is largely open. We introduce a class of special cases (testing for uniformity: have the cards been shuffled enough; does my random generator work) and a…

This paper investigates situations where a property of a ring can be tested on a set of "prime right ideals." Generalizing theorems of Cohen and Kaplansky, we show that every right ideal of a ring is finitely generated (resp. principal) iff…

Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…

The rings whose simple right modules are absolutely pure are called right $SAP$-rings. We give a new characterization of right $SAP$ rings, right $V$ rings, and von Neumann regular rings. We also obtain a new decomposition theory of right…

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. The corresponding notion for a ring $R$ states that every finitely generated submodule of every finitely…

Let $R$ be a commutative ring with the unit element. It is shown that an ideal $I$ in $R$ is pure if and only if Ann$(f)+I=R$ for all $f\in I$. If $J$ is the trace of a projective $R$-module $M$, we prove that $J$ is generated by the…