Semistar-Krull and valuative dimension of integral domains (Q2655542)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semistar-Krull and valuative dimension of integral domains |
scientific article |
Statements
Semistar-Krull and valuative dimension of integral domains (English)
0 references
25 January 2010
0 references
Given an integral domain \(D\) and \(\star\) a semistar operation on \(D\), \textit{G. W. Chang} and \textit{M. Fontana} [J. Algebra 318, No. 1, 484--493 (2007; Zbl 1136.13011)] introduced a new technique on how to define, in a canonical way, a semistar operation \(\star[X]\) on the polynomial ring \(D[X]\). The author of the paper under review used this technique to define a semistar operation \(\star[X]\) satisfying many semistar (Krull) dimension theoretic properties. Namely, he proved that if \(\star\) is a stable semistar operation of finite type on \(D\), then it is possible to define a stable semistar operation \(\star[X]\) on \(D[X]\) such that \(\star-\dim(D)+1\leq \star[X]-\dim(D[X])\leq 2(\star-\dim(D))+1\), and if \(D\) is a \(\star\)-Noetherian or a Prüfer \(\star\)-multiplication domain, then \(\star[X]-\dim(D[X])=1+\star-\dim(D)\). He also defined the notion of semistar valuative dimension \(\star-\dim_{v}(D)\) to be the maximal rank of the \(\star\)-valuation overring of \(D\). The semistar valuative dimension satisfies the properties that \(\star-\dim_{v}(D)=n\) if and only if \(\star[X_{1}, \dots,X_{n}]-\dim(D[X_{1}, \dots, X_{n}])=2n\) and if \(\star-\dim_{v}(D)\) is finite, then \(\star[X]-\dim_{v}(D[X])=1+\star-\dim_{v}(D)\). Moreover, \(\star-\dim(D)\leq \star-\dim_{v}(D)\) and the equality holds if \(D\) is a \(\star\)-Noetherian or a Prüfer \(\star\)-multiplication domain. As a consequence, the author introduced and studied the notion of \(\star\)-Jaffard domains. Many other applications were given.
0 references
semistar operation
0 references
star operation
0 references
Krull dimension
0 references
valuative dimension
0 references
Prüfer domain
0 references
quasi-Prüfer domain
0 references
Prüfer \(\star \)-multiplication domain
0 references
Noetherian domain
0 references
Jaffard domain
0 references
0 references