An example of an atomic pullback without the ACCP
type: Item
instance of: scholarly article
title: An example of an atomic pullback without the ACCP
zbMATH Open document ID: 1403.13032
author: Jason G. Boynton
author: Jim Coykendall
published in: Journal of Pure and Applied Algebra
publication date: 2018-10-10T00:00:00Z
review text: An integral domain is \textit{atomic} if every nonzero nonunit is a product of irreducible elements. \textit{P. M. Cohn} [Proc. Camb. Philos. Soc. 64, 251--264 (1968; Zbl 0157.08401)] observed that a domain satisfying the ascending chain condition on principal ideals (ACCP) is atomic, but incorrectly asserted that the converse was also true. Shortly afterwards, Grams constructed the first example of an atomic domain without the ACCP [\textit{A. Grams}, Proc. Camb. Philos. Soc. 75, 321--329 (1974; Zbl 0287.13002)]. The main purpose of the paper under review is to describe a new method of creating atomic domains without the ACCP, using a novel approach with a pullback construction that is in some ways simpler than previous methods. Even now that the existence of atomic domains without the ACCP is well known, new methods of constructing such domains still hold interest as potential sources of counterexamples to assertions about the atomic property. For instance, \textit{M. Roitman} [J. Pure Appl. Algebra 87, No. 2, 187--199 (1993; Zbl 0780.13014)] produced an example of an atomic domain \(D\) with \(D[X]\) not atomic -- such a domain necessarily fails the ACCP. More recently, the reviewer [Rocky Mt. J. Math. 44, No. 1, 139--155 (2014; Zbl 1296.13003)] adapted Roitman's construction to create an example of an atomic domain that is not a comaximal factorization domain (as defined in [\textit{S. McAdam} and \textit{R. G. Swan}, J. Algebra 276, No. 1, 180--192 (2004; Zbl 1081.13008)]) -- again any such example must fail the ACCP. The following is the specific pullback construction investigated in the paper under review. Let \(D\) be a domain with quotient field \(K \neq D\) and \((v_1),\ldots,(v_r)\) be distinct maximal ideals of \(K[X]\). For \(1 \leq i \leq r\), let \(\theta_i\) be a root of \(v_i\) and \(D_i\) be a non-field overring of \(D[\theta_i]\). Then \(R := \{g(x) \in K[X] \mid \text{each } g(\theta_i) \in D_i\}\) is a domain properly between \(D[X]\) and \(K[X]…
reviewed by: J. R. Juett
Mathematics Subject Classification ID: 13F15
Mathematics Subject Classification ID: 13A05
zbMATH DE Number: 6950418
zbMATH Keywords: factorization
zbMATH Keywords: atomic domain
zbMATH Keywords: ACCP
zbMATH Keywords: pullback
MaRDI profile type: Publication
full work available at URL: j.jpaa.2018.04.010
OpenAlex ID: W2800529402
cites work: Q4370118
cites work: Pullbacks of Arithmetical Rings
cites work: Atomicity and the fixed divisor in certain pullback constructions
cites work: The \(n\)-generator property in rings of integer-valued polynomials determined by finite sets
cites work: Regular pullbacks
cites work: Integer-valued polynomials
cites work: A Tale of Two Monoids: A Friendly Introduction to Nonunique Factorizations
cites work: The strong two-generator property in rings of integer-valued polynomials determined by finite sets
cites work: Restricted elasticity and rings of integer-valued polynomials determined by finite subsets
cites work: Q5539062
cites work: Q5479982
cites work: Q4773810
cites work: Examples built with \(D+M\), \(A+XB[X]\) and other pullback constructions
cites work: Factorial modules
cites work: Q3728115
cites work: Polynomial extensions of atomic domains
cites work: Atomic rings without a.c.c. on principal ideals
Wikidata QID: Q129925008
DOI: 10.1016/J.JPAA.2018.04.010
description: scientific article; zbMATH DE number 6950418