Absolutely S-domains and pseudo-polynomial rings

Noomen Jarboui ¹   ; Ihsen Yengui ²

¹ Department of Mathematics Faculty of Sciences University of Sfax B.P. 802, 3018 Sfax, Tunisia
² Department of Mathematics Faculty of Sciences B.P. 802, 3018 Sfax, Tunisia University of Sfax

Colloquium Mathematicum, Tome 94 (2002) no. 1, pp. 1-19

Résumé

A domain $R$ is called an absolutely S-domain (for short, AS-domain) if each domain $T$ such that $R\subseteq T\subseteq \mathop {\rm qf}(R)$ is an S-domain. We show that $R$ is an AS-domain if and only if for each valuation overring $V$ of $R$ and each height one prime ideal $q$ of $V$, the extension $R/(q\cap R)\subseteq V/q$ is algebraic. A Noetherian domain $R$ is an AS-domain if and only if $\mathop {\rm dim}\nolimits (R)\leq 1$. In Section 2, we study a class of $R$-subalgebras of $R[X]$ which share many spectral properties with the polynomial ring $R[X]$ and which we call pseudo-polynomial rings. Section 3 is devoted to an affirmative answer to D. E. Dobbs's question of whether a survival pair must be a lying-over pair in the case of transcendental extension.

Détail

DOI : 10.4064/cm94-1-1

Keywords: domain called absolutely s domain short as domain each domain subseteq subseteq mathop s domain as domain only each valuation overring each height prime ideal extension cap subseteq algebraic noetherian domain as domain only mathop dim nolimits leq section study class r subalgebras which share many spectral properties polynomial ring which call pseudo polynomial rings section devoted affirmative answer dobbss question whether survival pair lying over pair transcendental extension