Strongly divisorial ideals and complete integral closure of an integral domain
type: Item
instance of: scholarly article
title: Strongly divisorial ideals and complete integral closure of an integral domain
zbMATH Open document ID: 0596.13002
DOI: 10.1016/0021-8693(86)90059-1
author: Valentina Barucci
published in: Journal of Algebra
publication date: 1986-01-01T00:00:00Z
review text: Let D be a commutative integral domain with unity. An ideal I of D is called strongly divisorial if \(I=II^{-1}=(I^{-1})^{-1}\) [cf. \textit{J. Querré}, Bull. Sci., II. Sér. 95, 341-354 (1971; Zbl 0219.13015)]. The main results of this paper are: \((i)\quad I\quad is\) strongly divisorial if and only if \(I=D:R\) for some overring R of D and the map \(R\to D:R\) gives a one-to-one correspondence between the set of overrings of D of the form \(I^{-1}\) for some ideal I of D and the set of strongly divisorial ideals of D; \((ii)\quad D^*=\cup \{I^{-1};\quad I\quad is\quad strongly\quad divisorial\},\) where \(D^*\) is the complete integral closure of D, i.e. the set of all elements x of the quotient field of D such that there exists an element \(a\neq 0\) of D with \(a^ nx\in D\) for some positive integer n. These results can be applied to study Mori domains which are defined by the property that every increasing sequence of integral divisorial ideals is stationary [cf. \textit{N. Raillard}, C. R. Acad. Sci., Paris, Sér. A 280, 1571-1573 (1975; Zbl 0307.13010)] and ''normal'' domains which are defined by the property \((D:D^*)\neq 0\) [cf. J. Querré, op. cit.].
Mathematics Subject Classification ID: 13A05
Mathematics Subject Classification ID: 13B02
zbMATH DE Number: 3959590
zbMATH Keywords: normal domain
zbMATH Keywords: strongly divisorial ideal
zbMATH Keywords: complete integral closure
zbMATH Keywords: Mori domains
reviewed by: Trung Ngo Viet
MaRDI profile type: Publication
full work available at URL: 0021-8693(86)90059-1
OpenAlex ID: W2022012531
cites work: Q3041324
cites work: Q5563439
cites work: Conducive integral domains as pullbacks
cites work: Rings in which no fixed power of ideal classes becomes invertible
cites work: Conducive integral domains
cites work: Q5661989
cites work: Global dimension of cartesian squares
cites work: When the dual of an ideal is a ring
cites work: Q5603302
cites work: Q5623808
cites work: Q4108255
cites work: Q4152644
cites work: Q4063271
description: scientific article; zbMATH DE number 3959590