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

MaRDI QIDQ1758784zbMATH OpenFDO

Authors Parviz Sahandi

Publication date 16 November 2012

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0808.1331

zbMATH Keywords

\(UMt\) domanJaffard domainKrull dimensionquasi-Prüfer domainsemistar operationstrong S-domain

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Integral domains (13G05)

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"{u}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.

Review text

An extension \(D\subseteq T\) of integral domains with two semistar operations \(*\) and \(*'\) on \(D\) and \(T\) respectively, satisfies the \((*, *')\)-dimension formula if for every quasi-\(*\)-prime ideal \(Q\) of \(T\) with \((Q\cap D)^{*}\subset D^{*}\), \(*'-\mathrm{ht}Q+\mathrm{trdeg}_{\chi(Q\cap D)}\chi(Q)=*-\mathrm{ht}(Q\cap D)+\mathrm{trdeg}_{D}T\). Similarly, the \((*,*')\)-dimension inequality formula is defined by changing the ``equality to an ``\(\leq\). A domain \(D\) satisfies the \(*\)-dimension formula (resp. \(*\)-dimension inequality formula) if \(D\subseteq T\) satisfies the \((*, d_{T})\)-dimension formula (resp.\((*, d_{T})\)-dimension inequality formula) for every finitely generated domain \(T\) over \(D\). The author studied the relation of the above semistar dimension (inequality) formulas with \(*\)-universally caternarity and \(*\)-stably strong \(S\)-domains. Among others, he proved that if \(D\) is \(\tilde{*}\)-universally catenarian, then \(D\) satisfies the \(\tilde{*}\)-dimension formula; and if \(D\) is of finite \(\tilde{*}\)-dimension which satisfies the \(\tilde{*}\)-dimension inequality formula, then it is a \(\tilde{*}\)-Jaffard domain (notice that \(\tilde{*}\) is the stable semistar operation of finite type associated to \(*\)). He also gave some characterizations of \(*\)-quasi-Prüfer domains and extended some results of Arnold on polynomial rings to the setting of semistar operations.

Recommendations

• Universally catenarian integral domains, strong \(S\)-domains and semistar operations
• Semistar Dedekind domains
• Semistar-Krull and valuative dimension of integral domains
• PRÜFER ⋆-MULTIPLICATION DOMAINS AND SEMISTAR OPERATIONS
• Uppers to zero and semistar operations in polynomial rings

Cited in

(5)

• Krull dimension, overrings and semistar operations of an integral domain
• Semistar Dedekind domains
• Semistar-Krull and valuative dimension of integral domains
• scientific article; zbMATH DE number 938515 (Why is no real title available?)
• Universally catenarian integral domains, strong \(S\)-domains and semistar operations

This page was built for publication: Semistar dimension of polynomial rings and Prüfer-like domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758784)