Related papers: Neat-Flat Modules

Let $R$ be a commutative Noetherian local ring and let $M$ and $N$ be nonzero finitely generated $R$-modules. In this paper, we investigate how the finiteness of the homological dimension of Ext modules between $M$ and $N$ affects that of…

In this paper we study the modules $M$ every simple subfactors of which is a homomorphic image of $M$ and call them co-Kasch modules. These modules are dual to Kasch modules $M$ every simple subfactors of which can be embedded in $M$. We…

We characterize Ding modules and complexes over Ding-Chen rings. We show that over a Ding-Chen ring R, the Ding projective (resp. Ding injective, resp. Ding flat) R-modules coincide with the Gorenstein projective (resp. Gorenstein…

A commutative ring $R$ is projective free provided that every finitely generated $R$-module is free. An element in a ring is strongly clean provided that it is the sum of an idempotent and a unit that commutates. Let $R$ be a…

Flat modules play an important role in the study of the category of modules over rings and in the characterization of some classes of rings. We study the e-flatness for semimodules introduced by the first author using his new notion of…

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…

In this study, all rings are commutative with non-zero identity and all modules are considered to be unital. Let $M$ be a left $R$-module. A proper submodule $N$ of $M$ is called an $S$-$weakly$ $prime$ submodule if $0_{M}\neq f(m)\in N$…

Let $R$ be a commutative ring. An $R$-module $M$ is said to be super finitely presented if there is an exact sequence of $R$-modules $\cdots\rightarrow P_n\rightarrow\cdots \rightarrow P_1\rightarrow P_0\rightarrow M\rightarrow 0$ where…

Over a right-noetherian algebra admitting a dualizing complex, any left-module with finite flat dimension also has finite projective dimension.

We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

Given a ring $R$, we study the bimodules $M$ for which the trivial extension $R\propto M$ is morphic. We obtain a complete characterization in the case where $R$ is left perfect, and we prove that $R\propto Q/R$ is morphic when $R$ is a…

Let $R$ be an arbitrary ring with identity and $M$ a right $R$-module with $S=$ End$_R(M)$. Let $Z_2(M)$ be the second singular submodule of $M$. In this paper, we define Goldie Rickart modules by utilizing the endomorphisms of a module.…

We introduce the concepts of generalized compatible and cocompatible bimodules in order to characterize Gorenstein projective, injective and flat modules over trivial ring extensions. Let $R\ltimes M$ be a trivial extension of a ring $R$ by…

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…

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…

In this paper, we introduce and study the notions of $\tau_q$-flat modules and $\tau_q$-coheret rings. First, by investigating the Nagata rings of $\tau_q$-torsion theory, we show that the small finitistic dimensions of T$(R[x])$ are all…

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…

In \cite{Ouarghi}, the authors discuss the rings over which all modules are strongly Gorenstein projective. In this paper, we are interesting to an extension of this idea. Thus, we discuss the rings over which every Gorenstein projective…

We prove that for a noetherian semilocal ring $R$ with exactly $k$ isomorphism classes of simple right modules the monoid $V^*(R)$ of isomorphism classes of countably generated projective right (left) modules, viewed as a submonoid of…