Prime ideals lying over zero in polynomial rings
type: Item
instance of: scholarly article
title: Prime ideals lying over zero in polynomial rings
zbMATH Open document ID: 0833.13009
author: Chandni Shah
published in: Journal of Algebra
publication date: 1996-03-11T00:00:00Z
review text: Let \(R\) be a Noetherian domain with integral closure \(\overline R\) and polynomial ring \(R[x]\) in the indeterminate \(x\). Let \(P\) be a prime ideal of \(R\) and \(p\) a prime ideal of \(R[x]\) such that \(p\cap R= P\). Then \(p\) is called an integral upper to \(P\) (in \(R[x]\)) if \(p\neq PR[x]\) and \(p\) contains a monic polynomial. Let \({\mathcal P}= \{p_1,\dots, p_n\}\) be a set of integral uppers in \(R[x]\) such that each \(p\in {\mathcal P}\) is of height at least 2, and \(\mathcal Q\) be another finite set of prime ideals such that no prime ideal in \(\mathcal Q\) contains a prime ideal in \(\mathcal P\). The author summarizes the main results of the paper with the following equivalent statements: (a) either: (i) \(R\) is non-Henselian, or (ii) \(R\) is Henselian and in \(\overline R[x]\) there exist prime ideals \(\overline p_i\) lying over \(p_i\) such that \(\overline p_1+\cdots+ \overline p_n\neq \overline R[x]\); (b) there exists an integral upper \(K\) to (0) such that \(K\subseteq p\) for every \(p\in {\mathcal P}\); (c) there exists \(|R|\) integral uppers \(K\) to (0) such that \(K\subseteq p\) for every \(p\in {\mathcal P}\) but \(\overline K\not\subseteq q\) for any \(q\in {\mathcal Q}\).
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13B24
Mathematics Subject Classification ID: 13A15
zbMATH DE Number: 783918
zbMATH Keywords: lying over
zbMATH Keywords: going up
zbMATH Keywords: polynomial ring
zbMATH Keywords: prime ideal
zbMATH Keywords: integral upper
zbMATH Keywords: Henselian
reviewed by: Štefan Porubský
MaRDI profile type: Publication
full work available at URL: jabr.1995.1182
OpenAlex ID: W2073587208
DOI: 10.1006/JABR.1995.1182
description: scientific article; zbMATH DE number 783918