English

Semistar-Krull and Valuative Dimension of Integral Domains

Commutative Algebra 2009-09-07 v3

Abstract

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

Keywords

Cite

@article{arxiv.0809.1305,
  title  = {Semistar-Krull and Valuative Dimension of Integral Domains},
  author = {Parviz Sahandi},
  journal= {arXiv preprint arXiv:0809.1305},
  year   = {2009}
}

Comments

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