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

Baer's Criterion for Injectivity is a basic tool of the theory of modules and complexes of modules. Its dual version (DBC) is known to hold for all right perfect rings, but its validity for non-right perfect rings is a complex problem…

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

Recently, the rings whose injective right modules are R-projective (respectively, max-projective) were investigated and studied in [2]. Such ring are called right almost-QF (respectively, max-QF). In this paper, our aim is to give some…

A right $R$-module $M$ is said to be {\it FI-extending} if any fully invariant submodule of $M$ is essential in a direct summand of $M$. In this short note we prove that if $R$ has ACC on the right annihilators, then $R_R$ is FI-extending…

Fix a ring $ R $ and look at the class of left $ R $-modules and naturally, we restrict ourselves to the case of rings such that this class is not too similar to the case $ R $ is a field. We shall solve Kaplansky test problems, all three…

A right $R$-module $M$ is called max-projective provided that each homomorphism $f:M \to R/I$ where $I$ is any maximal right ideal, factors through the canonical projection $\pi : R \to R/I$. We call a ring $R$ right almost-$QF$ (resp.…

The Faith-Menal conjecture says that every strongly right $Johns$ ring is $QF$. The conjecture is also equivalent to say every right noetherian left $FP$-injective ring is $QF$. In this short article, we show that the conjecture is true…

Baer's Criterion of injectivity implies that injectivity of a module is a factorization property w.r.t. a single monomorphism. Using the notion of a cotorsion pair, we study generalizations and dualizations of factorization properties in…

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…

We consider the question of certifying that a polynomial in ${\mathbb Z}[x]$ or ${\mathbb Q}[x]$ is irreducible. Knowing that a polynomial is irreducible lets us recognise that a quotient ring is actually a field extension (equiv.~that a…

It is proved that the ring $R$ with center $Z(R)$, such that the module $R_{Z(R)}$ is an essential extension of the module $Z(R)_{Z(R)}$, is not necessarily right quasi-invariant, i.e., maximal right ideals of the ring $R$ are not…

Let $R$ be a ring. $R$ is called a right countably $\Sigma$-C2 ring if every countable direct sum copies of $R_{R}$ is a C2 module. The following are equivalent for a ring $R$: (1) $R$ is a right countably $\Sigma$-C2 ring. (2) The column…

Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…

A left and right noetherian semiperfect ring R is known to be indecomposable if and only if its factor by the second power of Jacobson radical is. This characterisation is used to study simple R-modules in terms of their Ext groups. It is…

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

It is well known that a ring $R$ is right Kasch if each simple right $R$-module embeds in a projective right $R$-module. In this paper we study the dual notion and call a ring $R$ right dual Kasch if each simple right $R$-module is a…

A module is called automorphism-invariant if it is invariant under any automorphism of its injective hull. In [Algebras for which every indecomposable right module is invariant in its injective envelope, Pacific J. Math., vol. 31, no. 3…

A ring $R$ is called right $\aleph_{0}$-injective if every homomorphism from a countably generated right ideal of $R$ to $R_{R}$ can be extended to a homomorphism from $R_{R}$ to $R_{R}$. In this note, some characterizations of…

In this note, we investigate the Baer splitting problem over commutative rings. In particular, we show that if a commutative ring $R$ is $\tau_q$-semisimple, then every Baer $R$-module is projective.

We consider the decidability of the verification problem of programs \emph{modulo axioms} --- that is, verifying whether programs satisfy their assertions, when the functions and relations it uses are assumed to interpreted by arbitrary…