Showing 1–18 of 18 results for author: Sahandi, P

On graded Going down domains

Authors: Parviz Sahandi, Nematollah Shirmohammadi

Abstract: Let $Γ$ be a torsionless commutative cancellative monoid and $R =\bigoplus_{α\in Γ}R_α$ be a $Γ$-graded integral domain. In this paper, we introduce the notion of graded going-down domains. Among other things, we provide an equivalent condition for graded-Prüfer domains in terms of graded going-down and graded finite-conductor domains. We also characterize graded going-down domains by means of gra… ▽ More Let $Γ$ be a torsionless commutative cancellative monoid and $R =\bigoplus_{α\in Γ}R_α$ be a $Γ$-graded integral domain. In this paper, we introduce the notion of graded going-down domains. Among other things, we provide an equivalent condition for graded-Prüfer domains in terms of graded going-down and graded finite-conductor domains. We also characterize graded going-down domains by means of graded divided domains. As an application, we show that the graded going-down property is stable under factor domains. △ Less

Submitted 15 November, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 13 pages, some typos are corrected and add Proposition 2.3

MSC Class: 13A02; 13A15; 13F05

Cohen-Macaulay homological dimensions

Authors: Parviz Sahandi, Tirdad Sharif, Siamak Yassemi

Abstract: We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay in… ▽ More We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant. △ Less

Submitted 7 April, 2019; originally announced April 2019.

Comments: To appear in Mathematica Scandinavica

MSC Class: 13H10; 13C15; 13D05

Graded integral domains which are UMT-domains

Authors: Gyu Whan Chang, Parviz Sahandi

Abstract: Let $Γ$ be a torsionless commutative cancellative monoid, $R =\bigoplus_{α\in Γ}R_α$ be a $Γ$-graded integral domain, and $H$ be the set of nonzero homogeneous elements of $R$. In this paper, we show that if $Q$ is a maximal $t$-ideal of $R$ with $Q \cap H = \emptyset$, then $R_Q$ is a valuation domain. We then use this result to give simple proofs of the facts that (i) $R$ is a UMT-domain if and… ▽ More Let $Γ$ be a torsionless commutative cancellative monoid, $R =\bigoplus_{α\in Γ}R_α$ be a $Γ$-graded integral domain, and $H$ be the set of nonzero homogeneous elements of $R$. In this paper, we show that if $Q$ is a maximal $t$-ideal of $R$ with $Q \cap H = \emptyset$, then $R_Q$ is a valuation domain. We then use this result to give simple proofs of the facts that (i) $R$ is a UMT-domain if and only if $R_Q$ is a quasi-Prüfer domain for each homogeneous maximal $t$-ideal $Q$ of $R$ and (ii) $R$ is a P$v$MD if and only if every nonzero finitely generated homogeneous ideal of $R$ is $t$-invertible, if and only if $R_Q$ is a valuation domain for all homogeneous maximal $t$-ideals $Q$ of $R$. Let $D[Γ]$ be the monoid domain of $Γ$ over an integral domain $D$. We also show that $D[Γ]$ is a UMT-domain if and only if $D$ is a UMT-domain and the integral closure of $Γ_S$ is a valuation monoid for all maximal $t$-ideals $S$ of $Γ$. Hence, $D[Γ]$ is a P$v$MD if and only if $D$ is a P$v$MD and $Γ$ is a P$v$MS. △ Less

Submitted 12 November, 2017; originally announced November 2017.

Comments: To appear in Communications in Algebra

MSC Class: 13A02; 13A15; 13F05

Prüfer conditions under the amalgamated construction

Authors: Y. Azimi, P. Sahandi, N. Shirmohammadi

Abstract: In this paper we improve the recent results on the transfer of Prüfer, Gaussian and arithmetical conditions on amalgamated constructions. As an application we provide an answer to a question posed by Chhiti, Jarrar, Kabbaj and Mahdou as well as we construct various examples. In this paper we improve the recent results on the transfer of Prüfer, Gaussian and arithmetical conditions on amalgamated constructions. As an application we provide an answer to a question posed by Chhiti, Jarrar, Kabbaj and Mahdou as well as we construct various examples. △ Less

Submitted 4 September, 2017; v1 submitted 11 March, 2017; originally announced March 2017.

Comments: We change our assumption in Theorem 3.5(2) by fewer assumptions

Cohen-Macaulayness of trivial extensions

Authors: A. Mahdikhani, P. Sahandi, N. Shirmohammadi

Abstract: Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules. Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: to appear in J. Algebra Appl

Cohen-Macaulay properties under the amalgamated construction

Authors: Y. Azimi, P. Sahandi, N. Shirmohammadi

Abstract: Let $A$ and $B$ be commutative rings with unity, $f:A\to B$ a ring homomorphism and $J$ an ideal of $B$. Then the subring $A\bowtie^fJ:=\{(a,f(a)+j)|a\in A$ and $j\in J\}$ of $A\times B$ is called the amalgamation of $A$ with $B$ along $J$ with respect to $f$. In this paper, we study the property of Cohen-Macaulay in the sense of ideals which was introduced by Asgharzadeh and Tousi, a general noti… ▽ More Let $A$ and $B$ be commutative rings with unity, $f:A\to B$ a ring homomorphism and $J$ an ideal of $B$. Then the subring $A\bowtie^fJ:=\{(a,f(a)+j)|a\in A$ and $j\in J\}$ of $A\times B$ is called the amalgamation of $A$ with $B$ along $J$ with respect to $f$. In this paper, we study the property of Cohen-Macaulay in the sense of ideals which was introduced by Asgharzadeh and Tousi, a general notion of the usual Cohen-Macaulay property (in the Noetherian case), on the ring $A\bowtie^fJ$. Among other things, we obtain a generalization of the well-known result that when the Nagata's idealization is Cohen-Macaulay. △ Less

Submitted 11 December, 2016; originally announced December 2016.

Comments: To appear in J. Commut. Algebra

MSC Class: 13A15; 13C14; 13C15

Characterizations of graded Prüfer $\star$-multiplication domains, II

Authors: Parviz Sahandi

Abstract: Let $R=\bigoplus_{α\inΓ}R_α$ be a graded integral domain and $\star$ be a semistar operation on $R$. For $a\in R$, denote by $C(a)$ the ideal of $R$ generated by homogeneous components of $a$ and for$f=f_0+f_1X+\cdots+f_nX^n\in R[X]$, let $\A_f:=\sum_{i=0}^nC(f_i)$. Let $N(\star):=\{f\in R[X]\mid f\neq0\text{and}\A_f^{\star}=R^{\star}\}$. In this paper we study relationships between ideal theoreti… ▽ More Let $R=\bigoplus_{α\inΓ}R_α$ be a graded integral domain and $\star$ be a semistar operation on $R$. For $a\in R$, denote by $C(a)$ the ideal of $R$ generated by homogeneous components of $a$ and for$f=f_0+f_1X+\cdots+f_nX^n\in R[X]$, let $\A_f:=\sum_{i=0}^nC(f_i)$. Let $N(\star):=\{f\in R[X]\mid f\neq0\text{and}\A_f^{\star}=R^{\star}\}$. In this paper we study relationships between ideal theoretic properties of $\NA(R,\star):=R[X]_{N(\star)}$ and the homogeneous ideal theoretic properties of $R$. For example we show that $R$ is a graded Prüfer-$\star$-multiplication domain if and only if $\NA(D,\star)$ is a Prüfer domain if and only if $\NA(R,\star)$ is a Bézout domain. We also determine when $\NA(R,v)$ is a PID. △ Less

Submitted 30 July, 2017; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: Bull. Iranian Math. Soc. to appear

Cohen-Macaulay and Gorenstein properties under the amalgamated construction

Authors: P. Sahandi, N. Shirmohammadi, S. Sohrabi

Abstract: Let $A$ and $B$ be commutative rings with unity, $f:A\to B$ a ring homomorphism and $J$ an ideal of $B$. Then the subring $A\bowtie^fJ:=\{(a,f(a)+j)|a\in A$ and $j\in J\}$ of $A\times B$ is called the amalgamation of $A$ with $B$ along with $J$ with respect to $f$. In this paper, among other things, we investigate the Cohen-Macaulay and (quasi-)Gorenstein properties on the ring $A\bowtie^fJ$. Let $A$ and $B$ be commutative rings with unity, $f:A\to B$ a ring homomorphism and $J$ an ideal of $B$. Then the subring $A\bowtie^fJ:=\{(a,f(a)+j)|a\in A$ and $j\in J\}$ of $A\times B$ is called the amalgamation of $A$ with $B$ along with $J$ with respect to $f$. In this paper, among other things, we investigate the Cohen-Macaulay and (quasi-)Gorenstein properties on the ring $A\bowtie^fJ$. △ Less

Submitted 8 December, 2014; v1 submitted 9 June, 2014; originally announced June 2014.

Comments: 13 pages, final version

MSC Class: 13A15; 13H10; 13C15

Characterizations of graded Prüfer $\star$-multiplication domains

Authors: Parviz Sahandi

Abstract: Let $R=\bigoplus_{α\inΓ}R_α$ be a graded integral domain graded by an arbitrary grading torsionless monoid $Γ$, and $\star$ be a semistar operation on $R$. In this paper we define and study the graded integral domain analogue of $\star$-Nagata and Kronecker function rings of $R$ with respect to $\star$. We say that $R$ is a graded Prüfer $\star$-multiplication domain if each nonzero finitely gener… ▽ More Let $R=\bigoplus_{α\inΓ}R_α$ be a graded integral domain graded by an arbitrary grading torsionless monoid $Γ$, and $\star$ be a semistar operation on $R$. In this paper we define and study the graded integral domain analogue of $\star$-Nagata and Kronecker function rings of $R$ with respect to $\star$. We say that $R$ is a graded Prüfer $\star$-multiplication domain if each nonzero finitely generated homogeneous ideal of $R$ is $\star_f$-invertible. Using $\star$-Nagata and Kronecker function rings, we give several different equivalent conditions for $R$ to be a graded Prüfer $\star$-multiplication domain. In particular we give new characterizations for a graded integral domain, to be a P$v$MD. △ Less

Submitted 11 December, 2014; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: 18 pages, revised version

MSC Class: 13A15; 13G05; 13A02

On graded Gorenstein injective dimension

Authors: Afsaneh Esmaeelnezhad, Parviz Sahandi

Abstract: There are nice relations between graded homological dimensions and ordinary homological dimensions. We study the Gorenstein injective dimension of a complex of graded modules denoted by $^*\Gid$, and derive its properties. In particular we prove the Chouinard's like formula for $^*\Gid$, and compare it with the usual Gorenstein injective dimension. There are nice relations between graded homological dimensions and ordinary homological dimensions. We study the Gorenstein injective dimension of a complex of graded modules denoted by $^*\Gid$, and derive its properties. In particular we prove the Chouinard's like formula for $^*\Gid$, and compare it with the usual Gorenstein injective dimension. △ Less

Submitted 16 June, 2013; v1 submitted 13 June, 2013; originally announced June 2013.

Comments: 19 pages, Change proof of Lemma 4.14, Comments are wellcome

MSC Class: 13D05; 13D02; 13A02

On quasi-Prüfer and UM$t$ domains

Authors: Parviz Sahandi

Abstract: In this note we show that an integral domain $D$ of finite $w$-dimension is a quasi-Prüfer domain if and only if each overring of $D$ is a $w$-Jaffard domain. Similar characterizations of quasi-Prüfer domains are given by replacing $w$-Jaffard domain by $w$-stably strong S-domain, and $w$-strong S-domain. We also give new characterizations of UM$t$ domains. In this note we show that an integral domain $D$ of finite $w$-dimension is a quasi-Prüfer domain if and only if each overring of $D$ is a $w$-Jaffard domain. Similar characterizations of quasi-Prüfer domains are given by replacing $w$-Jaffard domain by $w$-stably strong S-domain, and $w$-strong S-domain. We also give new characterizations of UM$t$ domains. △ Less

Submitted 25 September, 2011; originally announced September 2011.

Comments: 6 Pages

Depth formula via complete intersection flat dimension

Authors: Parviz Sahandi, Tirdad Sharif, Siamak Yassemi

Abstract: We prove the depth formula, for homologically bounded complexes $X, Y$ provided that the complete intersection flat dimension of $X$ is finite and $\sup(X\utp_RY)<\infty$. In particular, let $M$ and $N$ are two $R$-modules and the complete intersection flat dimension of $M$ is finite. Then $M$ and $N$ satisfies the depth formula, provided $\Tor^R_i(M,N)=0$ for all $i\ge 1$. We prove the depth formula, for homologically bounded complexes $X, Y$ provided that the complete intersection flat dimension of $X$ is finite and $\sup(X\utp_RY)<\infty$. In particular, let $M$ and $N$ are two $R$-modules and the complete intersection flat dimension of $M$ is finite. Then $M$ and $N$ satisfies the depth formula, provided $\Tor^R_i(M,N)=0$ for all $i\ge 1$. △ Less

Submitted 10 August, 2010; originally announced August 2010.

Comments: 10 pages, to appear in comm. Algebra

MSC Class: 13D05-13D09-13D25-13C15

W-Jaffard domains in pullbacks

Authors: Parviz Sahandi

Abstract: In this paper we study the class of $w$-Jaffard domains in pullback constructions, and give new examples of these domains. In particular we give examples to show that the two classes of $w$-Jaffard and Jaffard domains are incomparable. As another application, we establish that for each pair of positive integers $(n,m)$ with $n+1\leq m\leq 2n+1$, there is an (integrally closed) integral domain $R$… ▽ More In this paper we study the class of $w$-Jaffard domains in pullback constructions, and give new examples of these domains. In particular we give examples to show that the two classes of $w$-Jaffard and Jaffard domains are incomparable. As another application, we establish that for each pair of positive integers $(n,m)$ with $n+1\leq m\leq 2n+1$, there is an (integrally closed) integral domain $R$ such that $w$-$\dim(R)=n$ and $w[X]$-$\dim(R[X])=m$. △ Less

Submitted 8 January, 2011; v1 submitted 8 March, 2010; originally announced March 2010.

Comments: Added a diagram in the introduction and correct some notations in Example 3.1

MSC Class: 13G05; 13A15; 13C15

Universally catenarian integral domains, strong S-domains and semistar operations

Authors: Parviz Sahandi

Abstract: Let $D$ be an integral domain and $\star$ a semistar operation stable and of finite type on it. In this paper, we are concerned with the study of the semistar (Krull) dimension theory of polynomial rings over $D$. We introduce and investigate the notions of $\star$-universally catenarian and $\star$-stably strong S-domains and prove that, every $\star$-locally finite dimensional Prüfer $\star$-m… ▽ More Let $D$ be an integral domain and $\star$ a semistar operation stable and of finite type on it. In this paper, we are concerned with the study of the semistar (Krull) dimension theory of polynomial rings over $D$. We introduce and investigate the notions of $\star$-universally catenarian and $\star$-stably strong S-domains and prove that, every $\star$-locally finite dimensional Prüfer $\star$-multiplication domain is $\star$-universally catenarian, and this implies $\star$-stably strong S-domain. We also give new characterizations of $\star$-quasi-Prüfer domains introduced recently by Chang and Fontana, in terms of these notions. △ Less

Submitted 2 December, 2008; originally announced December 2008.

Comments: Accepted in communications in algebra

MSC Class: 13G05; 13B24; 13A15; 13C15

Minimal Prime Ideals and Semistar Operations

Authors: Parviz Sahandi

Abstract: Let $R$ be a commutative integral domain and let $\star$ be a semistar operation of finite type on $R$, and $I$ be a quasi-$\star$-ideal of $R$. We show that, if every minimal prime ideal of $I$ is the radical of a $\star$-finite ideal, then the set $\Min(I)$ of minimal prime ideals over $I$ is finite. Let $R$ be a commutative integral domain and let $\star$ be a semistar operation of finite type on $R$, and $I$ be a quasi-$\star$-ideal of $R$. We show that, if every minimal prime ideal of $I$ is the radical of a $\star$-finite ideal, then the set $\Min(I)$ of minimal prime ideals over $I$ is finite. △ Less

Submitted 8 December, 2008; v1 submitted 8 September, 2008; originally announced September 2008.

Comments: Accepted in the Rocky mountain Journal Math

MSC Class: 13A15; 13G05

Semistar-Krull and Valuative Dimension of Integral Domains

Authors: Parviz Sahandi

Abstract: Given a stable semistar operation of finite type $\star$ on an integral domain $D$, we show that it is possible to define in a canonical way a stable semistar operation of finite type $\star[X]$ on the polynomial ring $D[X]$, such that, if $n:=\star$-$\dim(D)$, then $n+1\leq \star[X]\text{-}\dim(D[X])\leq 2n+1$. We also establish that if $D$ is a $\star$-Noetherian domain or is a Prüfer $\star$-… ▽ More Given a stable semistar operation of finite type $\star$ on an integral domain $D$, we show that it is possible to define in a canonical way a stable semistar operation of finite type $\star[X]$ on the polynomial ring $D[X]$, such that, if $n:=\star$-$\dim(D)$, then $n+1\leq \star[X]\text{-}\dim(D[X])\leq 2n+1$. We also establish that if $D$ is a $\star$-Noetherian domain or is a Prüfer $\star$-multiplication domain, then $\star[X]\text{-}\dim(D[X])=\star\text{-}\dim(D)+1$. Moreover we define the semistar valuative dimension of the domain $D$, denoted by $\star$-$\dim_v(D)$, to be the maximal rank of the $\star$-valuation overrings of $D$. We show that $\star$-$\dim_v(D)=n$ if and only if $\star[X_1,...,X_n]$-$\dim_v(D[X_1,...,X_n])=2n$, and that if $\star$-$\dim_v(D)<\infty$ then $\star[X]$-$\dim_v(D[X])=\star$-$\dim_v(D)+1$. In general $\star$-$\dim(D)\leq\star$-$\dim_v(D)$ and equality holds if $D$ is a $\star$-Noetherian domain or is a Prüfer $\star$-multiplication domain. We define the $\star$-Jaffard domains as domains $D$ such that $\star$-$\dim(D)<\infty$ and $\star$-$\dim(D)=\star$-$\dim_v(D)$. As an application, $\star$-quasi-Prüfer domains are characterized as domains $D$ such that each $(\star,\star')$-linked overring $T$ of $D$, is a $\star'$-Jaffard domain, where $\star'$ is a stable semistar operation of finite type on $T$. As a consequence of this result we obtain that a Krull domain $D$, must be a $w_D$-Jaffard domain. △ Less

Submitted 5 September, 2009; v1 submitted 8 September, 2008; originally announced September 2008.

Comments: Final version: Remark 2.2 change to Ptoposition 2.2 and added Example 4.4

MSC Class: 13G05; 13A15; 13C15; 13M10

Semistar dimension of polynomial rings and Prüfer-like domains

Authors: Parviz Sahandi

Abstract: Let $D$ be an integral domain and $\star$ a semistar operation stable and of finite type on it. In this paper we define the semistar dimension (inequality) formula and discover their relations with $\star$-universally catenarian domains and $\star$-stably strong S-domains. As an application we give new characterizations of $\star$-quasi-Prüfer domains and UM$t$ domains in terms of dimension ineq… ▽ More Let $D$ be an integral domain and $\star$ a semistar operation stable and of finite type on it. In this paper we define the semistar dimension (inequality) formula and discover their relations with $\star$-universally catenarian domains and $\star$-stably strong S-domains. As an application we give new characterizations of $\star$-quasi-Prüfer domains and UM$t$ domains in terms of dimension inequality formula (and the notions of universally catenarian domain, stably strong S-domain, strong S-domain, and Jaffard domains). We also extend Arnold's formula to the setting of semistar operations. △ Less

Submitted 20 February, 2010; v1 submitted 9 August, 2008; originally announced August 2008.

Comments: 12 pages

MSC Class: 13C15; 13G05; 13A15

Homological flat dimensions

Authors: Parviz Sahandi, Tirdad Sharif, Siamak Yassemi

Abstract: For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimension… ▽ More For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimensions) which for finitely generated modules, coincide with the corresponding classical ones. △ Less

Submitted 4 February, 2008; v1 submitted 26 September, 2007; originally announced September 2007.

Comments: 24pages

MSC Class: 13D05