let ( r,m ) be a noetherian local ring, a an ideal of r and m a finitely generated r- module. we investigate some properties of formal local cohomology modules with respect to a serre subcategory. we provide a common language to indicate some properties of formal local cohomology modules. let ( r,m ) be a noetherian local ring, a an ideal of r and m a finitely generated r- module. we investigat...

Let R be a commutative Noetherian ring, I an ideal of R and M a non-zero R-module. In this paper we calculate the extension of annihilator of local cohomology modules H^t_I(M), t≥0, under the ring extension R⊂R[X] (resp. R⊂R[[X]]). By using this extension we will present some of the faithfulness conditions of local cohomology modules, and show that if the Lynch's conjecture, i...

A module $M$ is said to be coretractable if there exists a nonzero homomorphism of every nonzero factor of $M$ into $M$. We prove that all right (left) modules over a ring are coretractable if and only if the ring is Morita equivalent to a finite product of local right and left perfect rings.

The first part of the paper is concerned to relationship between the sets of associated primes of the generalized $d$-local cohomology modules and the ordinary  generalized local cohomology  modules.  Assume that $R$ is a commutative Noetherian local ring, $M$ and $N$  are  finitely generated  $R$-modules and $d, t$ are two integers. We prove that $Ass H^t_d(M,N)=bigcup_{Iin Phi} Ass H^t_I(M,N)...

in this article, we study the artin-rees property in  c(x), in the  rings of fractions of  c(x) and in the factor rings of c(x) . we show that c(x)/(f) is an artin-rees ring if and only if  z(f)  is an open p-space. a necessary and sufficient condition for the local rings of  c(x)   to be artin-rees rings is that each prime ideal in  c(x)  becomes minimal and it turns out that every local ring ...

Let $R$ be a commutative Noetherian ring. We prove that  over a local ring $R$ every finitely generated $R$-module $M$ of finite Gorenstein projective dimension has a Gorenstein projective cover$varphi:C rightarrow M$ such that $C$ is finitely generated and the projective dimension of $Kervarphi$ is finite and $varphi$ is surjective.

A ring $R$ is a strongly clean ring if every element in $R$ is the sum of an idempotent and a unit that commutate. We construct some classes of strongly clean rings which have stable range one. It is shown that such cleanness of $2 imes 2$ matrices over commutative local rings is completely determined in terms of solvability of quadratic equations.