in this paper, we define and study the notion of the real-valued functions on a frame $l$. we show that $f(l) $, consisting of all frame homomorphisms from the power set of $mathbb{r}$ to a frame $ l$, is an $f$-ring, as a generalization of all functions from a set $x$ into $mathbb r$. also, we show that $f(l) $ is isomorphic to a sub-$f$-ring of $mathcal{r}(l)$, the ring of real-valued continu...

for a finite field $mathbb{f}_q$, the bivariate skew polynomial ring $mathbb{f}_q[x,y;rho,theta]$ has been used to study codes cite{xh}. in this paper, we give some characterizations of the ring $r[x,y;rho,theta]$, where $r$ is a commutative ring. we investigate 2-d skew $(lambda_1,lambda_2)$-constacyclic codes in the ring $r[x,y;rho,theta]/langle x^l-lambda_1,y^s-lambda_2rangle_{mathit{l}}.$ a...

let $alpha$ be an automorphism of a ring $r$. the authors [on skewinverse laurent-serieswise armendariz rings, comm. algebra 40(1)(2012) 138-156] applied the concept of armendariz rings to inverseskew laurent series rings and introduced skew inverselaurent-serieswise armendariz rings. in this article, we study on aspecial type of these rings and introduce strongly armendariz ringsof inverse ske...

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

Let $(R,fm,k)$ be a local Gorenstein ring of dimension $n$. Let $H_{I,J}^i(R)$ be the  local cohomology with respect to a pair of ideals $I,J$ and $c$ be the $inf{i|H_{I,J}^i(R)neq0}$. A pair of ideals $I, J$ is called cohomologically complete intersection if $H_{I,J}^i(R)=0$ for all $ineq c$. It is shown that, when $H_{I,J}^i(R)=0$ for all $ineq c$, (i) a minimal injective resolution of $H_{I,...

For an arbitrary ring $R$, the zero-divisor graph of $R$, denoted by $Gamma (R)$, is an undirected simple graph that its vertices are all nonzero zero-divisors of $R$ in which any two vertices $x$ and $y$ are adjacent if and only if either $xy=0$ or $yx=0$. It is well-known that for any commutative ring $R$, $Gamma (R) cong Gamma (T(R))$ where $T(R)$ is the (total) quotient ring of $R$. In this...

By the Von Neumann regular graph of R, we mean the graph that its vertices are all elements of R such that there is an edge between vertices x,y if and only if x+y is a von Neumann regular element of R, denoted by G_Vnr (R). For a commutative ring R with unity, x in R is called Von Neumann regular if there exists x in R such that a=a2 x. We denote the set of Von Neumann regular elements by V nr...

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.