Abstract view
Root Extensions and Factorization in Affine Domains


Published:20091204
Printed: Jun 2010
P. Etingof
P. Malcolmson
F. Okoh
Abstract
An integral domain R is IDPF (Irreducible Divisors of Powers Finite) if, for every nonzero element a in R, the ascending chain of nonassociate irreducible divisors in R of $a^{n}$ stabilizes on a finite set as n ranges over the positive integers, while R is atomic if every nonzero element that is not a unit is a product of a finite number of irreducible elements (atoms). A ring extension S of R is a \emph{root extension} or \emph{radical extension} if for each s in S, there exists a natural number $n(s)$ with $s^{n(s)}$ in R. In this paper it is shown that the ascent and descent of the IDPF property and atomicity for the pair of integral domains $(R,S)$ is governed by the relative sizes of the unit groups $\operatorname{U}(R)$ and $\operatorname{U}(S)$ and whether S is a root extension of R. The following results are deduced from these considerations. An atomic IDPF domain containing a field of characteristic zero is completely integrally closed. An affine domain over a field of characteristic zero is IDPF if and only if it is completely integrally closed. Let R be a Noetherian domain with integral closure S. Suppose the conductor of S into R is nonzero. Then R is IDPF if and only if S is a root extension of R and $\operatorname{U}(S)/\operatorname{U}(R)$ is finite.